www

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

declarations.rkt (409B)

      1 #lang racket
      2 
      3 (require (prefix-in tr: typed/racket)
      4          remember
      5          (submod "tagged-structure-low-level.hl.rkt" pre-declare)
      6          "ctx.hl.rkt")
      7 (provide remembered!
      8          (rename-out [new-#%module-begin #%module-begin]))
      9 
     10 (define-syntax-rule (new-#%module-begin . body)
     11   (tr:#%module-begin
     12    (tr:begin . body)
     13    (set-adt-context-macro here)
     14    (pre-declare-all-tagged-structure-structs)))