Newlines at EOFs
svn: r15380 original commit: a70bf64fd9d68487c128282ca85a8964e1592711
This commit is contained in:
parent
6d02292d53
commit
40fa4f26b2
|
@ -6,4 +6,4 @@
|
|||
(define (f x) #t)
|
||||
|
||||
(: x Number)
|
||||
(define x (f 3))
|
||||
(define x (f 3))
|
||||
|
|
|
@ -22,4 +22,4 @@
|
|||
msg expected actual)))))))
|
||||
|
||||
(apply check-all tests) ; Works in untyped, but not in typed
|
||||
(check-all (car tests) (cadr tests)) ; Works in typed or untyped
|
||||
(check-all (car tests) (cadr tests)) ; Works in typed or untyped
|
||||
|
|
|
@ -35,4 +35,4 @@
|
|||
|
||||
#:args (#{filename : String}) ; expect one command-line argument: <filename>
|
||||
; return the argument as a filename to compile
|
||||
filename))
|
||||
filename))
|
||||
|
|
|
@ -22,4 +22,4 @@
|
|||
(sum2 (Cons-rest alon)))]))
|
||||
|
||||
(sum (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty)))))
|
||||
(sum2 (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty)))))
|
||||
(sum2 (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty)))))
|
||||
|
|
|
@ -8,4 +8,4 @@
|
|||
|
||||
(require 'm)
|
||||
|
||||
f
|
||||
f
|
||||
|
|
|
@ -12,4 +12,4 @@
|
|||
(: f (Even -> String))
|
||||
(define (f e) (format "~a" e))
|
||||
|
||||
(f y)
|
||||
(f y)
|
||||
|
|
|
@ -5,4 +5,4 @@
|
|||
(define (add-lists lst . lsts)
|
||||
(apply map #{+ :: (Number Number * -> Number)} lst lsts))
|
||||
|
||||
(add-lists '(1 2 3) '(4 5 6) '(7 8 9))
|
||||
(add-lists '(1 2 3) '(4 5 6) '(7 8 9))
|
||||
|
|
2
collects/typed-scheme/env/type-name-env.ss
vendored
2
collects/typed-scheme/env/type-name-env.ss
vendored
|
@ -48,4 +48,4 @@
|
|||
|
||||
(define (add-alias from to)
|
||||
(when (lookup-type-name to (lambda () #f))
|
||||
(register-resolved-type-alias from (make-Name to))))
|
||||
(register-resolved-type-alias from (make-Name to))))
|
||||
|
|
|
@ -685,4 +685,4 @@
|
|||
[conjugate (N . -> . N)]
|
||||
[sinh (N . -> . N)]
|
||||
[cosh (N . -> . N)]
|
||||
[tanh (N . -> . N)]
|
||||
[tanh (N . -> . N)]
|
||||
|
|
|
@ -583,4 +583,4 @@
|
|||
|
||||
(define parse-tc-results/id (parse/id parse-tc-results))
|
||||
|
||||
(define parse-type/id (parse/id parse-type))
|
||||
(define parse-type/id (parse/id parse-type))
|
||||
|
|
|
@ -319,4 +319,4 @@ Examples:
|
|||
|
||||
@schememod[typed-scheme/no-check
|
||||
(: x Number)
|
||||
(define x "not-a-number")]
|
||||
(define x "not-a-number")]
|
||||
|
|
|
@ -62,4 +62,4 @@
|
|||
(or (ormap match? (syntax->list #'cls))
|
||||
(find #'body))]
|
||||
[e:core-expr
|
||||
(ormap find (syntax->list #'(e.expr ...)))]))
|
||||
(ormap find (syntax->list #'(e.expr ...)))]))
|
||||
|
|
|
@ -65,4 +65,4 @@
|
|||
(domain-mismatches t msg-doms msg-rests msg-drests msg-rngs argtypes #f #f #:expected expected)
|
||||
(if (not (for/and ([t (apply append (map fv/list msg-doms))]) (memq t msg-vars)))
|
||||
(string-append "Type Variables: " (stringify msg-vars) "\n")
|
||||
"")))))]))
|
||||
"")))))]))
|
||||
|
|
|
@ -204,4 +204,4 @@
|
|||
|
||||
(define (tc-results->values tc)
|
||||
(match tc
|
||||
[(tc-results: ts) (-values ts)]))
|
||||
[(tc-results: ts) (-values ts)]))
|
||||
|
|
|
@ -253,4 +253,4 @@
|
|||
(make-Function (list (make-arr* (append args (take opt-args i)) result))))))
|
||||
|
||||
(define-syntax-rule (->opt args ... [opt ...] res)
|
||||
(opt-fn (list args ...) (list opt ...) res))
|
||||
(opt-fn (list args ...) (list opt ...) res))
|
||||
|
|
|
@ -306,4 +306,4 @@
|
|||
;(subtype (make-poly '(a) (make-tvar 'a)) (make-lst N))
|
||||
|
||||
;;problem:
|
||||
;; (subtype (make-Mu 'x (make-Syntax (make-Union (list (make-Base 'Number #'number?) (make-F 'x))))) (make-Syntax (make-Univ)))
|
||||
;; (subtype (make-Mu 'x (make-Syntax (make-Union (list (make-Base 'Number #'number?) (make-F 'x))))) (make-Syntax (make-Univ)))
|
||||
|
|
|
@ -30,4 +30,4 @@
|
|||
(define-pred-stxclass byte-pregexp byte-pregexp?)
|
||||
(define-pred-stxclass byte-regexp byte-regexp?)
|
||||
(define-pred-stxclass regexp regexp?)
|
||||
(define-pred-stxclass bytes bytes?)
|
||||
(define-pred-stxclass bytes bytes?)
|
||||
|
|
|
@ -181,4 +181,4 @@ don't depend on any other portion of the system
|
|||
|
||||
(define-syntax-class (id-from sym mod)
|
||||
(pattern i:id
|
||||
#:when (id-from? #'i sym mod)))
|
||||
#:when (id-from? #'i sym mod)))
|
||||
|
|
|
@ -333,4 +333,4 @@ at least theoretically.
|
|||
(and (hash? h)
|
||||
(for/and ([(k v) h])
|
||||
(and (k/c? k)
|
||||
(v/c? v)))))))
|
||||
(v/c? v)))))))
|
||||
|
|
|
@ -19,4 +19,4 @@
|
|||
[tar-gzip (Path-String Path-String * -> Void)]
|
||||
)
|
||||
|
||||
(provide tar tar->output tar-gzip)
|
||||
(provide tar tar->output tar-gzip)
|
||||
|
|
Loading…
Reference in New Issue
Block a user