www

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

test2.hl.rkt (534B)

      1 #lang hyper-literate typed/racket/base
      2 
      3 @(require (for-label typed/racket/base
      4                      rackunit))
      5 
      6 @title{Title}
      7 
      8 Hello world.
      9 
     10 @chunk[<*>
     11        (begin
     12          ; Wrapped with (begin …) to avoid the implicit require for-label.
     13          (require typed/rackunit))
     14 
     15        ;; Would give an error as typed/racket/base is used on the #lang line:
     16        ;curry
     17 
     18        (check-equal? ((make-predicate One) 1) #t)
     19        
     20        (define (f [x : 'e123]) x)
     21        
     22        (define ee (ann (f 'e123) 'e123))
     23        (provide ee)]