www

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

test-flexible-with2b.rkt (289B)

      1 #lang type-expander
      2 
      3 (require (lib "phc-graph/flexible-with2.hl.rkt")
      4          phc-toolkit/typed-rackunit-extensions)
      5 
      6 (with-ρ (Row)
      7   (define-type test
      8     (∀ρ (A #:ρ Row)
      9         (→ Any Any))))
     10 
     11 (with-ρ (Row)
     12   (define-type test2
     13     (∀ρ (A #:ρ Row)
     14         (→ Any Any))))