A long overdue scan to eliminate files without terminating newlines.
(DrRacket should really do that.) original commit: 40124a0619da5e187d95aeb1dde237f05d6f9c6b
This commit is contained in:
parent
56e83287e8
commit
52bad5959a
|
@ -11,4 +11,4 @@
|
|||
(+ a b))
|
||||
|
||||
(f 1 2)
|
||||
(g 1 2)
|
||||
(g 1 2)
|
||||
|
|
|
@ -10,7 +10,7 @@
|
|||
(: thunk (-> Integer))
|
||||
(define thunk
|
||||
(hash-ref table n (lambda () 0)))
|
||||
|
||||
|
||||
(thunk))
|
||||
|
||||
(lookup 1)
|
||||
(lookup 1)
|
||||
|
|
|
@ -15,4 +15,4 @@
|
|||
[(struct x (f)) (f #f)]))
|
||||
|
||||
|
||||
(require 'n2)
|
||||
(require 'n2)
|
||||
|
|
|
@ -15,4 +15,4 @@
|
|||
|
||||
|
||||
(: baz Number)
|
||||
(define: baz : Number 7)
|
||||
(define: baz : Number 7)
|
||||
|
|
|
@ -16,4 +16,4 @@
|
|||
(square 10) ;; 100
|
||||
(integer? 10.1) ;; #f
|
||||
(square 10.1) ;; 102.009999...
|
||||
)
|
||||
)
|
||||
|
|
|
@ -9,4 +9,4 @@ scheme/base
|
|||
|
||||
(: f (Number -> String))
|
||||
(define f
|
||||
(if (number->string? +) + number->string))
|
||||
(if (number->string? +) + number->string))
|
||||
|
|
|
@ -18,4 +18,4 @@
|
|||
|
||||
(thing->string (make-thing 5)))
|
||||
|
||||
(require 'U)
|
||||
(require 'U)
|
||||
|
|
|
@ -13,4 +13,4 @@
|
|||
(Any -> Edge)
|
||||
(Edge -> Graph)
|
||||
->
|
||||
(Boolean -> Graph))))
|
||||
(Boolean -> Graph))))
|
||||
|
|
|
@ -19,4 +19,4 @@
|
|||
|
||||
(: gen-lambda-n (Integer Any -> (Any -> (Any Any Any Any * -> Any))))
|
||||
(define (gen-lambda-n nb-vars body)
|
||||
(error 'fail))
|
||||
(error 'fail))
|
||||
|
|
|
@ -19,4 +19,4 @@
|
|||
|
||||
(void)))
|
||||
|
||||
(require 'B)
|
||||
(require 'B)
|
||||
|
|
|
@ -8,4 +8,4 @@
|
|||
(with-type
|
||||
#:result String
|
||||
#:freevars ([x String])
|
||||
(string-append x ", world")))
|
||||
(string-append x ", world")))
|
||||
|
|
|
@ -9,4 +9,4 @@
|
|||
#:result (values String (Number -> Number))
|
||||
(values "foo" (lambda (x) x))))
|
||||
|
||||
(b a)
|
||||
(b a)
|
||||
|
|
|
@ -1,4 +1,3 @@
|
|||
|
||||
#lang at-exp typed/racket
|
||||
|
||||
(define contents
|
||||
|
@ -6,4 +5,4 @@
|
|||
|
||||
(define doc @contents{x y})
|
||||
|
||||
@contents{x y}
|
||||
@contents{x y}
|
||||
|
|
|
@ -18,4 +18,4 @@
|
|||
(define (create-node2 x y)
|
||||
(if (and (sn? x) (sn? y))
|
||||
(node x y)
|
||||
(error 'bad "")))
|
||||
(error 'bad "")))
|
||||
|
|
|
@ -14,4 +14,4 @@
|
|||
(define (circle-area c)
|
||||
(* pi (circle-radius c) (circle-radius c)))
|
||||
|
||||
(test)
|
||||
(test)
|
||||
|
|
|
@ -39,4 +39,4 @@
|
|||
(define-type W (U Var (lamC K)))
|
||||
|
||||
(: f* (P -> Λ2))
|
||||
(define (f* x) x)
|
||||
(define (f* x) x)
|
||||
|
|
|
@ -2,4 +2,4 @@
|
|||
|
||||
(define-predicate int-or-bool? (U Integer Boolean))
|
||||
|
||||
(int-or-bool? 7)
|
||||
(int-or-bool? 7)
|
||||
|
|
|
@ -22,4 +22,4 @@
|
|||
[else
|
||||
(cons (+ (car l) (car k)) (mrg (rest l) (rest k)))]))
|
||||
|
||||
(test)
|
||||
(test)
|
||||
|
|
|
@ -9,4 +9,4 @@
|
|||
(define (tfo-align) 0.0
|
||||
|
||||
(let* ((x (FLOAT* 0.0 (FLOATsin 0.))))
|
||||
0))
|
||||
0))
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
#lang typed/racket
|
||||
|
||||
(ann (for ([#{i : Integer} '(1 2 3)]) (display i)) Void)
|
||||
(ann (for ([#{i : Integer} '(1 2 3)]) (display i)) Void)
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
#lang typed/racket
|
||||
|
||||
(for: ([i : Integer (in-range 10 0 -1)]) i)
|
||||
(for: ([i : Integer (in-range 10 0 -1)]) i)
|
||||
|
|
|
@ -17,4 +17,4 @@
|
|||
(if (Base? block)
|
||||
(make-Base (Base-prevbase block)
|
||||
(Base-elems block))
|
||||
(error "" 'get-base)))
|
||||
(error "" 'get-base)))
|
||||
|
|
|
@ -11,4 +11,4 @@
|
|||
|
||||
(: bool-to-0-or-1 (Boolean -> Number))
|
||||
(define (bool-to-0-or-1 b)
|
||||
(if b 1 0))
|
||||
(if b 1 0))
|
||||
|
|
|
@ -3,4 +3,4 @@
|
|||
(: x (Pair Integer (Listof Integer)))
|
||||
(define x (cons 1 (list 1 2 3 4)))
|
||||
|
||||
(apply max (ann (map add1 x) : (Pair Integer (Listof Integer))))
|
||||
(apply max (ann (map add1 x) : (Pair Integer (Listof Integer))))
|
||||
|
|
|
@ -3,4 +3,4 @@
|
|||
(define: x : (MPairof Integer Integer) (mcons 1 2))
|
||||
(set-mcar! x -7)
|
||||
(mcar x)
|
||||
(mcdr x)
|
||||
(mcdr x)
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang typed/scheme
|
||||
|
||||
(: f ((Pair Any Any) -> Boolean : Number @ car))
|
||||
(define f (lambda: ([x : (Pair Any Any)]) (number? (car x))))
|
||||
(define f (lambda: ([x : (Pair Any Any)]) (number? (car x))))
|
||||
|
|
|
@ -28,4 +28,4 @@
|
|||
(require 'test)
|
||||
(a:list-helper (list 1 2)))
|
||||
|
||||
(require 'test2)
|
||||
(require 'test2)
|
||||
|
|
|
@ -2,4 +2,4 @@
|
|||
(require scheme/match)
|
||||
(ann (match '(a b c)
|
||||
[(list sym more ...) 1]
|
||||
[else 1]) Integer)
|
||||
[else 1]) Integer)
|
||||
|
|
|
@ -32,4 +32,4 @@
|
|||
(: rect-area (rect -> Number))
|
||||
;; the area of this rectangle r
|
||||
(define (rect-area s)
|
||||
(* (rect-width s) (rect-height s)))
|
||||
(* (rect-width s) (rect-height s)))
|
||||
|
|
|
@ -11,4 +11,4 @@
|
|||
[(number? (car lsn)) (+ (car lsn) (sum (cdr lsn)))]
|
||||
[else (sum (cdr lsn))]))
|
||||
|
||||
(sum '(a b 2 3))
|
||||
(sum '(a b 2 3))
|
||||
|
|
|
@ -2,4 +2,4 @@
|
|||
(require/typed
|
||||
scheme/base
|
||||
[opaque WeakBox weak-box?]
|
||||
[make-weak-box (Any -> WeakBox)])
|
||||
[make-weak-box (Any -> WeakBox)])
|
||||
|
|
|
@ -12,4 +12,4 @@
|
|||
(let ([result (proc-or-num)])
|
||||
(set-table-val! tab result)
|
||||
result)]
|
||||
[else proc-or-num]))))
|
||||
[else proc-or-num]))))
|
||||
|
|
|
@ -12,4 +12,4 @@
|
|||
(define (source? x)
|
||||
(if (false? x)
|
||||
#t
|
||||
(symbol? x)))
|
||||
(symbol? x)))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang typed/scheme
|
||||
(: lon? (Any -> Boolean : (Listof Number)))
|
||||
(define (lon? x)
|
||||
(and (list? x) (andmap number? x)))
|
||||
(and (list? x) (andmap number? x)))
|
||||
|
|
|
@ -13,4 +13,4 @@
|
|||
[(struct x (f)) (f 7)]))
|
||||
|
||||
|
||||
(require 'n2)
|
||||
(require 'n2)
|
||||
|
|
|
@ -6,4 +6,4 @@
|
|||
(define (get-set-root s) (error 'fail))
|
||||
|
||||
(: set-size (All (X) ((Set X) -> X)))
|
||||
(define (set-size x) (get-set-root x))
|
||||
(define (set-size x) (get-set-root x))
|
||||
|
|
|
@ -9,4 +9,4 @@
|
|||
(require 'm)
|
||||
(for ([i s]) (add1 i)))
|
||||
|
||||
(require 'n)
|
||||
(require 'n)
|
||||
|
|
|
@ -7,4 +7,4 @@
|
|||
(ann (for ([z (open-input-string "foobar")]) (add1 z)) Void)
|
||||
|
||||
(ann (for ([z (in-list (list 1 2 3))]) (add1 z)) Void)
|
||||
(ann (for ([z (in-vector (vector 1 2 3))]) (add1 z)) Void)
|
||||
(ann (for ([z (in-vector (vector 1 2 3))]) (add1 z)) Void)
|
||||
|
|
|
@ -4,4 +4,4 @@
|
|||
|
||||
(string-set? (set 1 2 3))
|
||||
|
||||
(string-set? (set "1" "2" "3"))
|
||||
(string-set? (set "1" "2" "3"))
|
||||
|
|
|
@ -11,4 +11,4 @@
|
|||
|
||||
(: strnum? (Any -> Boolean : (U String Number)))
|
||||
(define (strnum? x)
|
||||
(or (string? x) (number? x)))
|
||||
(or (string? x) (number? x)))
|
||||
|
|
|
@ -63,4 +63,4 @@
|
|||
((inst rotate A)
|
||||
(stream-cdr frnt)
|
||||
(cdr rer)
|
||||
(box (lambda () (cons carrer accum))))))))
|
||||
(box (lambda () (cons carrer accum))))))))
|
||||
|
|
|
@ -3,4 +3,4 @@
|
|||
(struct: foo ([x : Integer]) #:mutable)
|
||||
|
||||
(: f (Integer -> foo))
|
||||
(define (f x) (foo x))
|
||||
(define (f x) (foo x))
|
||||
|
|
|
@ -6,4 +6,4 @@
|
|||
(define (f x)
|
||||
(if (zero? (foo-bar x))
|
||||
(error 'f "Nooooooo!")
|
||||
(foo-bar x)))
|
||||
(foo-bar x)))
|
||||
|
|
|
@ -7,4 +7,4 @@
|
|||
(define (f v)
|
||||
(if (string? (y-b v))
|
||||
(y-b v)
|
||||
"foo"))
|
||||
"foo"))
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
#lang typed-scheme/no-check
|
||||
(: foo : Void -> Void)
|
||||
(define (foo x) x)
|
||||
(define (foo x) x)
|
||||
|
|
|
@ -4,4 +4,4 @@
|
|||
(: f : -> Syntax)
|
||||
(define (f)
|
||||
(with-syntax* ([(x ...) (list 1 2 3)])
|
||||
#`(#,(syntax +) x ...)))
|
||||
#`(#,(syntax +) x ...)))
|
||||
|
|
|
@ -5,4 +5,4 @@
|
|||
(define add
|
||||
(case-lambda
|
||||
[(x) (add x 0)]
|
||||
[(x y) (+ x y)]))
|
||||
[(x y) (+ x y)]))
|
||||
|
|
|
@ -10,4 +10,4 @@
|
|||
(if (pred val) val (error "Assertion failed"))))))
|
||||
|
||||
(define (defined? v)
|
||||
(not (equal? v (letrec ([x x]) x))))
|
||||
(not (equal? v (letrec ([x x]) x))))
|
||||
|
|
2
collects/typed-scheme/env/index-env.rkt
vendored
2
collects/typed-scheme/env/index-env.rkt
vendored
|
@ -28,4 +28,4 @@
|
|||
(tc-error/stx stx "No type variable bound with ... in scope for ... type"))
|
||||
(unless (null? (cdr bounds))
|
||||
(tc-error/stx stx "Cannot infer bound for ... type"))
|
||||
(car bounds))
|
||||
(car bounds))
|
||||
|
|
2
collects/typed-scheme/env/tvar-env.rkt
vendored
2
collects/typed-scheme/env/tvar-env.rkt
vendored
|
@ -21,4 +21,4 @@
|
|||
(define-syntax-rule (extend-tvars vars . body)
|
||||
(parameterize ([current-tvars (foldr (λ (v s) (set-add s v)) (current-tvars) vars)]) . body))
|
||||
|
||||
(define (bound-tvar? v) (set-member? (current-tvars) v))
|
||||
(define (bound-tvar? v) (set-member? (current-tvars) v))
|
||||
|
|
|
@ -64,4 +64,4 @@
|
|||
(def-filter NoFilter () [#:fold-rhs #:base])
|
||||
|
||||
(define (filter-equal? a b) (= (Rep-seq a) (Rep-seq b)))
|
||||
(provide filter-equal?)
|
||||
(provide filter-equal?)
|
||||
|
|
|
@ -30,4 +30,4 @@
|
|||
(dlo LPath ([p (listof PathElem?)] [idx index/c])
|
||||
[#:frees (combine-frees (map free-vars* p)) (combine-frees (map free-idxs* p))]
|
||||
[#:fold-rhs (*LPath (map pathelem-rec-id p) idx)])
|
||||
|#
|
||||
|#
|
||||
|
|
|
@ -129,4 +129,4 @@ Typed Racket also attempts to detect more than one error in the module.
|
|||
@examples[#:eval the-eval
|
||||
(string-append "a string" (add1 "not a number"))
|
||||
]
|
||||
}
|
||||
}
|
||||
|
|
|
@ -18,4 +18,4 @@
|
|||
(begin
|
||||
(add-alias #'export-id #'id)
|
||||
(renamer #'id #:alt #'cnt-id))
|
||||
(renamer #'cnt-id)))]))
|
||||
(renamer #'cnt-id)))]))
|
||||
|
|
|
@ -6,4 +6,4 @@
|
|||
(define (renamer id #:alt [alt #f])
|
||||
(if alt
|
||||
(make-typed-renaming (syntax-property id 'not-free-identifier=? #t) alt)
|
||||
(make-rename-transformer (syntax-property id 'not-free-identifier=? #t))))
|
||||
(make-rename-transformer (syntax-property id 'not-free-identifier=? #t))))
|
||||
|
|
|
@ -155,4 +155,4 @@
|
|||
[(i-subst/dotted imgs dty dbound)
|
||||
(int-err "i-subst/dotted nyi")
|
||||
#;
|
||||
(substitute-dotted imgs rest v t)])))
|
||||
(substitute-dotted imgs rest v t)])))
|
||||
|
|
|
@ -37,4 +37,4 @@
|
|||
#:name 'Any
|
||||
#:projection (compose traverse blame-original?)))
|
||||
|
||||
(provide any-wrap/c)
|
||||
(provide any-wrap/c)
|
||||
|
|
|
@ -7,4 +7,4 @@
|
|||
(require id)
|
||||
(provide (all-from-out id)))]))
|
||||
|
||||
(provide (rename-out [mb #%module-begin]))
|
||||
(provide (rename-out [mb #%module-begin]))
|
||||
|
|
|
@ -3,4 +3,4 @@
|
|||
(require typed/racket/base racket/require (subtract-in racket typed/racket/base racket/contract)
|
||||
(for-syntax racket/base))
|
||||
(provide (all-from-out typed/racket/base racket)
|
||||
(for-syntax (all-from-out racket/base)))
|
||||
(for-syntax (all-from-out racket/base)))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang racket/base
|
||||
|
||||
(require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check))
|
||||
(provide (all-from-out typed/racket/base typed-scheme/no-check))
|
||||
(provide (all-from-out typed/racket/base typed-scheme/no-check))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang racket/base
|
||||
|
||||
(require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check))
|
||||
(provide (all-from-out typed/racket typed-scheme/no-check))
|
||||
(provide (all-from-out typed/racket typed-scheme/no-check))
|
||||
|
|
|
@ -1 +1 @@
|
|||
#lang s-exp typed/private/wrap racket/system
|
||||
#lang s-exp typed/private/wrap racket/system
|
||||
|
|
|
@ -3,4 +3,4 @@
|
|||
(require typed/scheme/base scheme/require (subtract-in scheme typed/scheme/base scheme/contract)
|
||||
(for-syntax scheme/base))
|
||||
(provide (all-from-out typed/scheme/base scheme)
|
||||
(for-syntax (all-from-out scheme/base)))
|
||||
(for-syntax (all-from-out scheme/base)))
|
||||
|
|
|
@ -1 +1 @@
|
|||
#lang s-exp typed/private/wrap scheme/system
|
||||
#lang s-exp typed/private/wrap scheme/system
|
||||
|
|
Loading…
Reference in New Issue
Block a user