www

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

not-implemented-yet.rkt (527B)

      1 #lang typed/racket
      2 (require "typed-untyped.rkt")
      3 (define-typed/untyped-modules #:no-test
      4   (provide ? ?*)
      5   
      6   (define-syntax (?* stx)
      7     (syntax-case stx ()
      8       [(q . rest)
      9        (quasisyntax/loc stx
     10          ((λ () : (U) #,(syntax/loc #'q (error "Not implemented yet"))
     11             . rest)))]))
     12   
     13   (define-syntax (? stx)
     14     (syntax-case stx ()
     15       [(q t . rest)
     16        (quasisyntax/loc stx
     17          ((ann (λ () #,(syntax/loc #'q (error "Not implemented yet"))
     18                  . rest)
     19                (→ t))))])))