Up – Package index » asli » Library asli.libASL » LibASL » Asl_utils » resugarClass

Class `Asl_utils.resugarClass`Source

Resugaring transform

The typechecker desugars infix syntax to make it absolutely explicit what it means. This is good for tools but bad for humans.

This transformation re-introduces the infix syntax - the intention being that you might use this in error messages. It also deletes type parameters - so this is (more or less) the reverse of typechecking.

inherit LibASL.Asl_visitor.nopAslVisitor

method vexpr : LibASL.Asl_ast.expr ->
  LibASL.Asl_ast.expr LibASL.Visitor.visitAction