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

Be more picky about Opaque type parsing

Browse Source 
Closes PR 14122
This commit is contained in:
Asumu Takikawa 2013-11-04 20:10:17 -05:00
parent e0855dacb1
commit 05fced3a68
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt
View File

@ -285,7 +285,7 @@
(-val (syntax->datum #'t))] (-val (syntax->datum #'t))]
[((~and kw t:All) . rest) [((~and kw t:All) . rest)
(parse-all-type stx)] (parse-all-type stx)]
[((~and kw t:Opaque) p?) [((~and kw t:Opaque) p?:id)
(add-disappeared-use #'kw) (add-disappeared-use #'kw)
(make-Opaque #'p?)] (make-Opaque #'p?)]
[((~and kw t:Parameter) t) [((~and kw t:Parameter) t)

3
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt
View File

@ -137,6 +137,9 @@
[(Integer -> (All (X) (X -> X))) [(Integer -> (All (X) (X -> X)))
(t:-> -Integer (-poly (x) (t:-> x x)))] (t:-> -Integer (-poly (x) (t:-> x x)))]
[(Opaque foo?) (make-Opaque #'foo?)]
;; PR 14122
[FAIL (Opaque 3)]
)) ))
;; FIXME - add tests for parse-values-type, parse-tc-results ;; FIXME - add tests for parse-values-type, parse-tc-results