typed-racket/pr241-variation-4.rkt at fix-define-typed-untyped-identifier-issue-315 - typed-racket - Gitea: Git with a cup of tea

suzanne.soy/typed-racket

Sam Tobin-Hochstadt d3fac7c24a Revise handling of #:opaque types, and Any.

Guard opaque predicates with an (-> Any Any) contract. This uses the
contract generation infrastructure to avoid wrapping struct predicates.

Also, relax `any-wrap/c` (the contract used for `Any` in positive
position) to allow opaque structures. This also requires an enumeration
of all the other kinds of values that TR understands, so that they are
not confused with opaque structures.

Joint work with @bennn.

Closes #202.
Closes #203.
Closes #241.

2015-12-30 12:33:15 -05:00

11 lines

216 B

Racket

Raw Permalink Blame History

 #lang racket
 ;; Wrapping opaque structs should succeed
 ;; From Issue #203
 ;;   https://github.com/racket/typed-racket/issues/203
 (require typed-racket/utils/any-wrap)
 (struct s ())
 (contract any-wrap/c (s) 'a 'b)