Typle.Inference.Expr (Typle v0.1.0)

Walks AST expressions and infers their types.

Each infer/2 call takes an AST node and a type environment, returning {type, updated_env}.

Summary

Infers the type of an AST expression and records it in the environment.

@spec infer(Macro.t(), Typle.Inference.Env.t()) ::
  {Typle.Type.t(), Typle.Inference.Env.t()}

Infers the type of an AST expression and records it in the environment.

Returns {inferred_type, updated_env}.