I don't know why this wasn't caught before, but with recent changes, it's now
caught correctly.
This commit is contained in:
parent
449a784c1d
commit
f1211df156
|
@ -2,7 +2,7 @@
|
|||
|
||||
(define-type-alias Int Integer)
|
||||
|
||||
(: foo (Int -> Int))
|
||||
(: foo ( -> Int))
|
||||
(define (foo)
|
||||
(: loop (Int -> Int))
|
||||
(define (loop x)
|
||||
|
|
Loading…
Reference in New Issue
Block a user