www

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

meta.rkt (707B)

      1 #lang afl repltest typed/racket
      2 
      3 ;; There is a problem if there is a comment before a prompt, as comments aren't
      4 ;; gobbled-up by the preceeding read.
      5 (define x 0)
      6 (define y #λ(list 3 %))
      7 (define-syntax (module->namespace stx) #'error)
      8 (provide module->namespace)
      9 'displayed
     10 (displayln "displayed too")
     11 
     12 > (+ 1 1)
     13 - : Integer [more precisely: Positive-Index]
     14 2
     15 > x
     16 - : Integer [more precisely: Zero]
     17 0
     18 > (values x (y 2))
     19 - : (values Integer (Listof Any)) [more precisely: (Values Zero (List Positive-Byte Any))]
     20 0
     21 '(3 2)
     22 > (+ 2 0)
     23 - : Integer [more precisely: Positive-Byte]
     24 2
     25 > (map add1 '(1 2 3 4))
     26 - : (Listof Positive-Index) [more precisely: (Pairof Positive-Index (Listof Positive-Index))]
     27 '(2 3 4 5)