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

remove useless code

Browse Source 
svn: r17496
This commit is contained in:
Sam Tobin-Hochstadt 2010-01-06 16:52:07 +00:00
parent ac9d2d8d9e
commit a45c788749
2 changed files with 0 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/scheme/match/compiler.ss
View File

@ -117,21 +117,6 @@
[accs (Struct-accessors s)] [accs (Struct-accessors s)]
[pred (Struct-pred s)]) [pred (Struct-pred s)])
(compile-con-pat accs pred Struct-ps))] (compile-con-pat accs pred Struct-ps))]
;; it's a prefab struct
[(list? k)
(let* ([s (Row-first-pat (car rows))]
[key (PrefabStruct-key s)]
[pats (PrefabStruct-ps s)])
(with-syntax*
([struct-type-id (syntax-local-lift-expression #`(prefab-key->struct-type '#,key #,(length pats)))]
[(_ _ _ acc-proc _ _ _ _) (syntax-local-lift-values-expression 8 #`(struct-type-info struct-type-id))])
(compile-con-pat
(for/list ([p pats]
[i (in-naturals)])
#`(make-struct-field-accessor acc-proc #,i)
#;#`(lambda (val) (acc-proc val #,i)))
#`(struct-type-make-predicate struct-type-id)
PrefabStruct-ps)))]
[else (error 'match-compile "bad key: ~a" k)])) [else (error 'match-compile "bad key: ~a" k)]))

7
collects/scheme/match/patterns.ss
View File

@ -59,10 +59,6 @@
;; ps is a listof patterns ;; ps is a listof patterns
(define-struct (Struct CPat) (id pred super accessors ps) #:transparent) (define-struct (Struct CPat) (id pred super accessors ps) #:transparent)
;; ps is a listof patterns
;; key is a prefab struct key
(define-struct (PrefabStruct CPat) (key pred accessors ps) #:transparent)
;; both fields are lists of pats ;; both fields are lists of pats
(define-struct (HashTable CPat) (key-pats val-pats) #:transparent) (define-struct (HashTable CPat) (key-pats val-pats) #:transparent)
@ -109,7 +105,6 @@
;; the result is #f if p is not a constructor pattern ;; the result is #f if p is not a constructor pattern
(define (pat-key p) (define (pat-key p)
(cond [(Struct? p) (get-key (Struct-id p))] (cond [(Struct? p) (get-key (Struct-id p))]
[(PrefabStruct? p) (list (PrefabStruct-key p))]
[(Box? p) 'box] [(Box? p) 'box]
[(Vector? p) 'vector] [(Vector? p) 'vector]
[(Pair? p) 'pair] [(Pair? p) 'pair]
@ -172,8 +167,6 @@
(merge (map bound-vars (Vector-ps p)))] (merge (map bound-vars (Vector-ps p)))]
[(Struct? p) [(Struct? p)
(merge (map bound-vars (Struct-ps p)))] (merge (map bound-vars (Struct-ps p)))]
[(PrefabStruct? p)
(merge (map bound-vars (PrefabStruct-ps p)))]
[(App? p) [(App? p)
(bound-vars (App-p p))] (bound-vars (App-p p))]
[(Not? p) null] [(Not? p) null]