Per.Desugar (per v5.3.21)

Copy Markdown

Desugaring pass for the Per AST. Simplifies surface language constructs into core language terms.

Summary

Functions

Desugars all declarations in a module.

Desugars a single declaration.

Recursively desugars an expression.

Functions

desugar(m, env \\ %Per.Typechecker.Env{})

Desugars all declarations in a module.

desugar_decl(decl, env \\ %Per.Typechecker.Env{})

Desugars a single declaration.

desugar_expression(expr, env \\ %{}, func_name \\ nil)

Recursively desugars an expression.