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

revert back to regular parse type

Browse Source 
svn: r13619

original commit: 204806a13acc831a2c6954c4b9ef00e3239c2e86
This commit is contained in:
Sam Tobin-Hochstadt 2009-02-15 21:57:30 +00:00
parent 219a395c6e
commit 5312746af4
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/tests/typed-scheme/unit-tests/parse-type-tests.ss
View File

@ -3,13 +3,14 @@
(require (utils tc-utils)
(env type-alias-env type-environments type-name-env init-envs)
(rep type-rep)
(private type-comparison parse-type subtype
union type-utils)
(rename-in (private type-comparison parse-type subtype
union type-utils)
[Un t:Un])
(schemeunit))
(require (rename-in (private type-effect-convenience) [-> t:->])
(private base-types)
(for-template (private base-types)))
(private base-types base-types-extra)
(for-template (private base-types base-types-extra)))
(provide parse-type-tests)
@ -72,9 +73,9 @@
[(Number Number Number Boolean -> Number) (N N N B . t:-> . N)]
[(Number Number Number * -> Boolean) ((list N N) N . ->* . B)]
;[((. Number) -> Number) (->* (list) N N)] ;; not legal syntax
[(U Number Boolean) (Un N B)]
[(U Number Boolean Number) (Un N B)]
[(U Number Boolean 1) (Un N B)]
[(U Number Boolean) (t:Un N B)]
[(U Number Boolean Number) (t:Un N B)]
[(U Number Boolean 1) (t:Un N B)]
[(All (a) (Listof a)) (-poly (a) (make-Listof a))]
[(All (a ...) (a ... a -> Integer)) (-polydots (a) ( (list) (a a) . ->... . -Integer))]
[(∀ (a) (Listof a)) (-poly (a) (make-Listof a))]