Fixed a couple of tests.

2016-03-31 00:27:04 +02:00 · 2016-03-31 00:27:04 +02:00 · 3049c1867b
commit 3049c1867b
parent 5488f1da5b
2 changed files with 4 additions and 1 deletions
--- a/test/meta.rkt
+++ b/test/meta.rkt
@ -21,3 +21,6 @@
 > (+ 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)
--- a/test/test.rkt
+++ b/test/test.rkt
@ -1,4 +1,4 @@
-#lang repltest typed/racket
+#lang repltest racket
 ;; This file has the name "test", but it shouldn't cause any conflicts in module
 ;; names
 (define x 0)