PasteRack.org
Paste # 8285
2015-01-29 14:33:20

Fork as a new paste.

Paste viewed 64 times.


Embed:

  1. #lang racket/base
  2.  
  3. (module typed typed/racket/base
  4.   (provide (struct-out Foo))
  5.   (struct [A] Foo ([x : A] [y : A]) #:transparent))
  6.  
  7. (require 'typed)
  8. (Foo "a" 'b) ; oh whoops!

=>

(Foo "a" 'b)