(in-package #:coalton-user) (named-readtables:in-readtable coalton:coalton) (coalton-toplevel ;; Define Coalton `Symbol`s as Lisp `cl:keyword`s. (repr :native cl:keyword) (define-type Symbol) ;; Bind a Lisp function into Coalton. (declare sym (String -> Symbol)) (define (sym s) "Create a new symbol named `s`." (lisp Symbol (s) (cl:intern s "KEYWORD"))) ;; Define equality of `Symbol` types using CL