package asli

  1. Overview
  2. Docs

Class Asl_utils.resugarClassSource

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.

OCaml

Innovation. Community. Security.