www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

test-structure-other.rkt (317B)

      1 #lang typed/racket
      2 
      3 (require phc-adt phc-toolkit type-expander typed/rackunit)
      4 (adt-init)
      5 
      6 (provide i-other t-other c-other)
      7 
      8 (define i-other (structure [test-fa "a"] [test-fb (ann 'b 'b)]))
      9 (define-type t-other (structure [test-fa Number] [test-fc 'c]))
     10 (define c-other (structure [test-fa : Number] [test-fd : 'd]))