#lang debug repltest typed/racket

;; There is a problem if there is a comment before a prompt, as comments aren't
;; gobbled-up by the preceeding read.
(define x 0)
(define (y) #R(- 3 2))
(define-syntax (module->namespace stx) #'error)
(provide module->namespace)
'displayed
(displayln "displayed too")

> (+ 1 1)
- : Integer [more precisely: Positive-Index]
2
> x
- : Integer [more precisely: Zero]
0
> (values x (y))
(- 3 2) = 1
- : (values Integer Integer) [more precisely: (Values Zero Fixnum)]
0
1
> (+ 2 0)
- : Integer [more precisely: Positive-Byte]
2
> (map add1 '(1 2 3 4))
- : (Listof Positive-Index) [more precisely: (Pairof Positive-Index (Listof Positive-Index))]
'(2 3 4 5)