coalton-codegen-types

coalton-codegen-types is the typed variant of coalton-codegen.

Syntax

(coalton-codegen-types
  ⟨toplevel-form⟩ ...)

Semantics

• It compiles Coalton forms and returns the generated Lisp code.
• Unlike coalton-codegen, it includes emitted Lisp type declarations.
• This is useful when debugging host-compiler interop and generated declarations.

Example

(coalton-codegen-types
  (define (double x)
    (+ x x)))