Delay type parsing error.
svn: r9912
This commit is contained in:
parent
b5ee687d05
commit
6d87dbc016
|
@ -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)
|
||||
|
|
Loading…
Reference in New Issue
Block a user