Make enums and singletons be (flat) contracts by default

jackfirth / rebellion

A collection of core libraries for Racket

https://pkgs.racket-lang.org/package/rebellion

Apache License 2.0

80 stars 16 forks source link

Make enums and singletons be (flat) contracts by default #514

Open eutro opened 2 years ago

eutro commented 2 years ago

This PR adds default prop:flat-contract implementations to singleton and enum types, allowing singleton instances and enum constants to be used as contracts.

Implements #426.

zyrolasting commented 2 years ago

This seem easier to test. Are tests expected with PRs, or are they introduced in some other process?