tmpl.rkt (330B)
1 #lang typed/racket 2 (require "typed-untyped.rkt") 3 (define-typed/untyped-modules #:no-test 4 (provide !each) 5 6 (module m-!each racket 7 (provide !each) 8 (require syntax/parse/experimental/template) 9 10 (define-template-metafunction (!each stx) 11 (syntax-case stx () 12 [(_ a b) #'b]))) 13 14 (require 'm-!each))