www

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

test-graph-low1.rkt (476B)

      1 #lang dotlambda/unhygienic type-expander/lang
      2 
      3 (require (for-syntax (lib "phc-graph/main-draft.hl.rkt")))
      4 (require phc-adt)
      5 (adt-init)
      6 
      7 (define-syntax low-graph low-graph-impl)
      8 
      9 (low-graph
     10  g
     11  #:∀ (A)
     12  (node City [streets : (Listof Street)])
     13  (node Street [name : String] [a : A])
     14  (mapping (make-city [names : (Listof (Pairof String A))])
     15    : City
     16    (City (map make-street names)))
     17  (mapping (make-street [p : (Pairof String A)])
     18    : Street
     19    (Street (car p) (cdr p))))