misc things
svn: r8866
This commit is contained in:
Eli Barzilay
parent
f1a68778d2
commit
5ff5d6c580
|
|
@ -26,4 +26,3 @@
|
|||
(provide (rename-out [b* b] ...))
|
||||
(provide (all-from-out ts))
|
||||
(provide (all-from-out lb) ...))))))]))
|
||||
|
||||
|
|
@ -12,4 +12,3 @@
|
|||
(r:read-syntax src in))))
|
||||
|
||||
(provide (rename-out [*read read] [*read-syntax read-syntax])))
|
||||
|
||||
|
|
|
|||
|
|
@ -107,4 +107,4 @@
|
|||
[(a . b)
|
||||
(loop #'a)
|
||||
(loop #'b)]
|
||||
[_ (void)])))
|
||||
[_ (void)])))
|
||||
|
|
|
|||
|
|
@ -7,4 +7,4 @@
|
|||
|
||||
(define-struct binding (name) #:inspector #f)
|
||||
(define-struct (def-binding binding) (ty) #:inspector #f)
|
||||
(define-struct (def-stx-binding binding) () #:inspector #f)
|
||||
(define-struct (def-stx-binding binding) () #:inspector #f)
|
||||
|
|
|
|||
|
|
@ -19,4 +19,4 @@
|
|||
(define-struct/properties nm1 (flds1 ...) props #f)
|
||||
(define-struct (nm par) (flds ...) #f) ...))]))
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -6,4 +6,4 @@
|
|||
(error "Assertion failed - value was #f"))
|
||||
v)
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -95,4 +95,4 @@
|
|||
(syntax-case stx ()
|
||||
[(_ table val . body)
|
||||
(quasisyntax/loc stx
|
||||
(hash-table-get table val #,(syntax/loc #'body (lambda () . body))))]))
|
||||
(hash-table-get table val #,(syntax/loc #'body (lambda () . body))))]))
|
||||
|
|
|
|||
|
|
@ -404,7 +404,3 @@
|
|||
(define infer/list (mk-infer infer/int/list))
|
||||
|
||||
;(trace infer infer/int/list infer/int infer/list)
|
||||
|
||||
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -73,6 +73,4 @@
|
|||
|
||||
|
||||
|
||||
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -12,4 +12,4 @@
|
|||
define-typed-struct/exec-internal
|
||||
assert-predicate-internal
|
||||
:-internal)
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -47,4 +47,4 @@
|
|||
id
|
||||
(lambda () (let ([c (id-count!)])
|
||||
(module-identifier-mapping-put! identifier-table id c)
|
||||
c))))
|
||||
c))))
|
||||
|
|
|
|||
|
|
@ -48,4 +48,4 @@
|
|||
[(_ f i . b)
|
||||
(with-lexical-env (update-type/lexical f i) . b)]))
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -49,4 +49,4 @@
|
|||
|
||||
(provide find-mutated-vars is-var-mutated?)
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -207,4 +207,3 @@
|
|||
(string? (syntax-e #'t)))
|
||||
(-val (syntax-e #'t))]
|
||||
[_ (tc-error "not a valid type: ~a" (syntax->datum stx))])))
|
||||
|
||||
|
|
|
|||
|
|
@ -46,4 +46,4 @@
|
|||
"util.ss")
|
||||
(planet/multiple ("cce" "fasttest.plt" 1 2)
|
||||
"random.ss"
|
||||
"schemeunit.ss"))
|
||||
"schemeunit.ss"))
|
||||
|
|
|
|||
|
|
@ -331,5 +331,3 @@ This file defines two sorts of primitives. All of them are provided into any mod
|
|||
(begin e1 e2 ...)
|
||||
(begin c ... (doloop step ...)))))]))]))
|
||||
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -106,4 +106,4 @@
|
|||
(tc-error "provide: protect not supported by Typed Scheme")]
|
||||
[_ (int-err "unknown provide form")])))
|
||||
(syntax->list #'(form ...)))]
|
||||
[_ (int-err "non-provide form! ~a" (syntax->datum form))]))
|
||||
[_ (int-err "non-provide form! ~a" (syntax->datum form))]))
|
||||
|
|
|
|||
|
|
@ -92,5 +92,3 @@
|
|||
|
||||
;(trace *remove)
|
||||
;(trace restrict)
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -158,7 +158,3 @@
|
|||
frees)))])))
|
||||
(values (mk #'Type #'type-name-ht) (mk #'Effect #'effect-name-ht))))
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -76,4 +76,4 @@
|
|||
|
||||
;(trace resolve-type)
|
||||
|
||||
|#
|
||||
|#
|
||||
|
|
|
|||
|
|
@ -39,4 +39,4 @@
|
|||
(define-signature tc-let^
|
||||
(tc/let-values tc/letrec-values tc/let-values/check tc/letrec-values/check))
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -268,5 +268,3 @@
|
|||
|
||||
;(subtype (-> Univ B) (-> Univ Univ))
|
||||
;(subtype (make-poly '(a) (make-tvar 'a)) (make-lst N))
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -38,5 +38,3 @@
|
|||
|
||||
(define (insert k v t)
|
||||
(cons (cons k v) t))
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -311,4 +311,4 @@
|
|||
(cond [(null? exprs) (check-below (ret -Void) expected)]
|
||||
[(null? (cdr exprs)) (tc-expr/check (car exprs) expected)]
|
||||
[else (tc-expr/check (car exprs) Univ)
|
||||
(tc-exprs/check (cdr exprs) expected)]))
|
||||
(tc-exprs/check (cdr exprs) expected)]))
|
||||
|
|
|
|||
|
|
@ -221,5 +221,4 @@
|
|||
(ret t))])))
|
||||
|
||||
|
||||
|
||||
;)
|
||||
;)
|
||||
|
|
|
|||
|
|
@ -249,4 +249,4 @@
|
|||
|
||||
|
||||
|
||||
|#
|
||||
|#
|
||||
|
|
|
|||
|
|
@ -241,5 +241,3 @@
|
|||
(tc-toplevel/pass1 form)
|
||||
(tc-toplevel/pass2 form))
|
||||
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -85,4 +85,4 @@
|
|||
(define (add-type-name-reference t)
|
||||
(type-name-references (cons t (type-name-references))))
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -47,8 +47,3 @@
|
|||
((drscheme:language:get-default-mixin)
|
||||
mbl%)))))))
|
||||
)
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -5,4 +5,4 @@
|
|||
|
||||
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -228,4 +228,4 @@
|
|||
[_ (exit t)]))))
|
||||
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -142,4 +142,4 @@
|
|||
(set-box! print-type* print-type)
|
||||
(set-box! print-effect* print-effect)
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -57,4 +57,4 @@
|
|||
[else (extend-env (list ks) (list vs) env)]))
|
||||
env kss vss))
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -40,5 +40,3 @@
|
|||
;; (id type -> T) -> listof[T]
|
||||
(define (type-name-env-map f)
|
||||
(module-identifier-mapping-map the-mapping f))
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -430,5 +430,4 @@
|
|||
[Poly-body* Poly-body]))
|
||||
|
||||
;(trace unfold)
|
||||
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -75,4 +75,4 @@
|
|||
(define (fv t) (hash-table-map (free-vars* t) (lambda (k v) k)))
|
||||
|
||||
;; fv/list : Listof[Type] -> Listof[Name]
|
||||
(define (fv/list ts) (hash-table-map (combine-frees (map free-vars* ts)) (lambda (k v) k)))
|
||||
(define (fv/list ts) (hash-table-map (combine-frees (map free-vars* ts)) (lambda (k v) k)))
|
||||
|
|
|
|||
|
|
@ -59,4 +59,4 @@
|
|||
;(trace u-maker)
|
||||
(set-union-maker! u-maker)
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -90,4 +90,4 @@
|
|||
|
||||
(define-values/link-units/infer (export x^) x@ y@)
|
||||
|
||||
)
|
||||
)
|
||||
|
|
|
|||
|
|
@ -117,5 +117,3 @@
|
|||
[(symbol? v) (symbol->string v)]
|
||||
[(identifier? v) (symbol->string (syntax-e v))]))
|
||||
(datum->syntax kw (string->symbol (apply string-append (map f args)))))
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -23,8 +23,7 @@
|
|||
"private/type-contract.ss"
|
||||
"private/nest.ss"
|
||||
syntax/kerncase
|
||||
mzlib/list
|
||||
mzlib/plt-match))
|
||||
scheme/match))
|
||||
|
||||
|
||||
(provide
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user