suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix mlish tests to use ->/test -- all tests passing

Browse Source
This commit is contained in:
Stephen Chang 2016-03-10 16:23:00 -05:00
parent b8e3ad1602
commit f4979c9e58
2 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
tapl/tests/mlish-tests.rkt
View File

@ -18,7 +18,7 @@
(typecheck-fail (f (λ ([x : Int]) x)))
(define (g [x : X] → X) x)
(check-type g : (→ X X))
(check-type g : (→/test X X))
;; (inferred) polymorpic instantiation
(check-type (g 1) : Int ⇒ 1)
@ -41,7 +41,7 @@
#:with-msg "match: clauses not exhaustive; missing: Nil")
(define (g2 [lst : (List Y)] → (List Y)) lst)
(check-type g2 : (→ (List Y) (List Y)))
(check-type g2 : (→/test (List Y) (List Y)))
(typecheck-fail (g2 1)
#:with-msg
(expected "(List Y)" #:given "Int"
@ -85,11 +85,11 @@
(match lst with
[Nil -> Nil]
[Cons x xs -> (Cons (f x) (map f xs))]))
(check-type map : (→ (→ X Y) (List X) (List Y)))
(check-type map : (→ (→ Y X) (List Y) (List X)))
(check-type map : (→ (→ A B) (List A) (List B)))
(check-not-type map : (→ (→ A B) (List B) (List A)))
(check-not-type map : (→ (→ X X) (List X) (List X))) ; only 1 bound tyvar
(check-type map : (→/test (→ X Y) (List X) (List Y)))
(check-type map : (→/test (→ Y X) (List Y) (List X)))
(check-type map : (→/test (→ A B) (List A) (List B)))
(check-not-type map : (→/test (→ A B) (List B) (List A)))
(check-not-type map : (→/test (→ X X) (List X) (List X))) ; only 1 bound tyvar
; nil without annotation; tests fn-first, left-to-right arg inference
; does work yet, need to add left-to-right inference in #%app

10
tapl/tests/mlish/queens.mlish
View File

@ -22,11 +22,11 @@
(match lst with
[Nil -> Nil]
[Cons x xs -> (Cons (f x) (map f xs))]))
(check-type map : (→ (→ X Y) (List X) (List Y)))
(check-type map : (→ (→ Y X) (List Y) (List X)))
(check-type map : (→ (→ A B) (List A) (List B)))
(check-not-type map : (→ (→ A B) (List B) (List A)))
(check-not-type map : (→ (→ X X) (List X) (List X))) ; only 1 bound tyvar
(check-type map : (→/test (→ X Y) (List X) (List Y)))
(check-type map : (→/test (→ Y X) (List Y) (List X)))
(check-type map : (→/test (→ A B) (List A) (List B)))
(check-not-type map : (→/test (→ A B) (List B) (List A)))
(check-not-type map : (→/test (→ X X) (List X) (List X))) ; only 1 bound tyvar
; nil without annotation; tests fn-first, left-to-right arg inference
; does work yet, need to add left-to-right inference in #%app