Module eval 

Functions

deep_force

Recursively force a value — forces all thunks inside constructors, producing a fully-evaluated tree with no ThunkRef values.

env_from_datacon_table

Create an environment pre-populated with data constructor functions. Each constructor with arity N becomes a ConFun(tag, N, []) value bound to its worker VarId, so that Var references to constructors in the expression tree resolve correctly.

eval

Evaluate a CoreExpr to a Value.

force

Force a thunk to a value.