Skip to content

Conversation

@AlexKnauth
Copy link
Contributor

This adds a predicate color? for the Color type, and uses that predicate to distinguish Color from Bitmap-Pattern, instead of using the bitmap-pattern? opaque-type predicate imported by unsafe-require/typed/provide in unsafe/source.rkt.

This change is related to the Typed Racket pull request racket/typed-racket#882, which fixes an unsoundness in opaque-type predicates. This change allows this code to typecheck after the unsoundness is fixed.

@wargrey wargrey merged commit 3d2f9a0 into wargrey:master Jul 11, 2020
@AlexKnauth AlexKnauth deleted the opaque-positive-predicate branch July 11, 2020 03:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants