package asli

  1. Overview
  2. Docs

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.