suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove debug lines and commented cases

Browse Source 
This helps for editing in paredit

original commit: 65368108e10fdf35c6140060a3cec5fe56649f7d
This commit is contained in:
Asumu Takikawa 2014-07-07 15:30:30 -04:00
parent 5dcc64bb83
commit 0c19e550eb
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt
View File

@ -95,7 +95,6 @@
;; (Syntax -> Type) -> Syntax Any -> Syntax
;; See `parse-type/id`. This is a curried generalization.
(define ((parse/id p) loc datum)
#;(printf "parse-type/id id : ~a\n ty: ~a\n" (syntax-object->datum loc) (syntax-object->datum stx))
(let* ([stx* (datum->syntax loc datum loc loc)])
(p stx*)))
@ -113,7 +112,6 @@
;; Syntax -> Type
;; Parse a Forall type
(define (parse-all-type stx)
;(printf "parse-all-type: ~a \n" (syntax->datum stx))
(syntax-parse stx
[(:All^ (vars:id ... v:id dd:ddd) . t:omit-parens)
(define maybe-dup (check-duplicate-identifier (syntax->list #'(vars ... v))))
@ -360,8 +358,6 @@
#:stx ty
"expected a function type for component of case-> type"
"given" t)]))))]
#;[(:Vectorof^ t)
(make-Vector (parse-type #'t))]
[(:Rec^ x:id t)
(let* ([var (syntax-e #'x)]
[tvar (make-F var)])
@ -497,7 +493,6 @@
[(lookup-type-alias #'id parse-type (lambda () #f))
=>
(lambda (t)
;(printf "found a type alias ~a\n" #'id)
(when (current-referenced-aliases)
(define alias-box (current-referenced-aliases))
(set-box! alias-box (cons #'id (unbox alias-box))))
@ -510,8 +505,6 @@
(parse-error "bad syntax in Opaque")]
[(:U^ . rest)
(parse-error "bad syntax in Union")]
#;[(:Vectorof^ . rest)
(tc-error "bad syntax in Vectorof")]
[(:Rec^ . rest)
(parse-error "bad syntax in Rec")]
[(t ... :->^ . rest)