jackfirth / rebellion

A collection of core libraries for Racket
https://pkgs.racket-lang.org/package/rebellion
Apache License 2.0
83 stars 16 forks source link

Implement singleton type bindings #447

Closed jackfirth closed 4 years ago

jackfirth commented 4 years ago

Part of #179. Needs docs, and the existing singleton type docs already need some work as-is. Technically backwards-incompatible as it removes the #:type-representation-name option from define-singleton-type. That feature is nearly useless anyway and it doesn't make sense when the type is constructed in both the runtime phase and the compile-time phase.