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

Delay type parsing error.

Browse Source 
svn: r9912

original commit: 6d87dbc01683f794eb803117c4cc8a367915c600
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-20 20:43:43 +00:00
parent 526b3e3e98
commit 13a8c13f74
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/private/parse-type.ss
View File

@ -195,7 +195,8 @@
(tc-error "Wrong number of arguments to type ~a, expected ~a but got ~a" rator (length ns) (length args)))
(instantiate-poly rator args)]
[(Mu: _ _) (loop (unfold rator) args)]
[_ (tc-error "Type ~a cannot be applied, arguments were: ~a" rator args)]))
[_ (tc-error/delayed "Type ~a cannot be applied, arguments were: ~a" rator args)
Univ]))
#;
(let ([ty (parse-type #'id)])
#;(printf "ty is ~a" ty)