Int is not a type
This commit is contained in:
parent
41c9a2eaf1
commit
f2699abe65
|
@ -1,5 +1,5 @@
|
||||||
#lang typed-scheme
|
#lang typed-scheme
|
||||||
|
|
||||||
(: f (All (A ...) (All (B ...) (A ... A -> Int))))
|
(: f (All (A ...) (All (B ...) (A ... A -> Integer))))
|
||||||
|
|
||||||
(define (f . xs) 5)
|
(define (f . xs) 5)
|
Loading…
Reference in New Issue
Block a user