Documentation
¶
Index ¶
Constants ¶
View Source
const ( ExecutionPolicyFailFast = effectusv1.ExecutionPolicy_EXECUTION_POLICY_DURABLE_FAIL_FAST ExecutionPolicyCompensating = effectusv1.ExecutionPolicy_EXECUTION_POLICY_DURABLE_COMPENSATING )
Variables ¶
This section is empty.
Functions ¶
func CompileChecked ¶
func CompileChecked(ctx context.Context, sourceBundle *bundle.SourceBundle, options CompileOptions) (*ir.Checked, error)
CompileChecked is the production compiler boundary. It parses .eff and .effx sources, lowers their source ASTs without creating executable legacy specs, and returns only an opaque value that has passed ir.Check.
Types ¶
type CompileOptions ¶
type CompileOptions struct {
ExecutionPolicy effectusv1.ExecutionPolicy
Limits ir.Limits
}
CompileOptions controls properties that must be frozen into checked IR.
Source Files
Click to show internal directories.
Click to hide internal directories.