Big newline at EOF scan.
original commit: f7c67b49a49a723534454ce561cd060e63889480
This commit is contained in:
parent
e9c224d095
commit
4d7c5295ff
|
@ -11,4 +11,4 @@
|
|||
(define (f x)
|
||||
(cond* x
|
||||
[(string? x) #t]
|
||||
[(exact-nonnegative-integer? x) #f]))
|
||||
[(exact-nonnegative-integer? x) #f]))
|
||||
|
|
|
@ -13,4 +13,4 @@
|
|||
(ann (match pi
|
||||
[(list n) 'success]
|
||||
[other 'failure])
|
||||
(U #;'success 'failure)))
|
||||
(U #;'success 'failure)))
|
||||
|
|
|
@ -15,4 +15,4 @@
|
|||
|
||||
|
||||
(add1 (f 0))
|
||||
(add1 (f))
|
||||
(add1 (f))
|
||||
|
|
|
@ -4,4 +4,4 @@
|
|||
|
||||
(unless (equal? (parameter? current-directory)
|
||||
(if (parameter? current-directory) #t #f))
|
||||
(error 'unsound!))
|
||||
(error 'unsound!))
|
||||
|
|
|
@ -123,4 +123,4 @@
|
|||
|
||||
|
||||
(define-go typecheck-special-tests)
|
||||
(provide typecheck-special-tests)
|
||||
(provide typecheck-special-tests)
|
||||
|
|
|
@ -12,4 +12,4 @@
|
|||
[find-seconds (case-> (Integer Integer Integer Integer Integer Integer -> Integer)
|
||||
(Integer Integer Integer Integer Integer Integer Any -> Integer))]
|
||||
[date->julian/scalinger (date -> Integer)]
|
||||
[julian/scalinger->string (Integer -> String)])
|
||||
[julian/scalinger->string (Integer -> String)])
|
||||
|
|
Loading…
Reference in New Issue
Block a user