Changes between Version 11 and Version 12 of RecordsArcfide


Ignore:
Timestamp:
06/15/11 16:26:40 (6 years ago)
Author:
arcfide
Comment:

Remove brackets from code

Legend:

Unmodified
Added
Removed
Modified
  • RecordsArcfide

    v11 v12  
    8888(define-syntax define-record-type 
    8989  (syntax-rules (%) 
    90     [(_ % (name constructor predicate) (cargs ...) ((fn m rest ...) ...) ()) 
     90    ((_ % (name constructor predicate) (cargs ...) ((fn m rest ...) ...) ()) 
    9191     (begin 
    9292       (define-disjoint-type (name %constructor predicate) 
     
    9696           (define-syntax in-field 
    9797               (syntax-rules (fn ...) 
    98                [(_ fn) #t] ... 
    99                [(_ else) #f])) 
     98               ((_ fn) #t) ... 
     99               ((_ else) #f))) 
    100100           (unless (in-field cargs)  
    101101             (error 'define-record-type "no such field" 'cargs)) 
     
    104104             (define-syntax get-val 
    105105               (syntax-rules (cargs ...) 
    106                  [(_ cargs) cargs] ... 
    107                  [(_ filtered) (if #f #f)])) 
    108              (%constructor (get-val fn) ...)))))] 
    109     [(_ % bindings cargs (fcs ...) ((fn fa) rest ...)) 
     106                 ((_ cargs) cargs) ... 
     107                 ((_ filtered) (if #f #f)))) 
     108             (%constructor (get-val fn) ...)))))) 
     109    ((_ % bindings cargs (fcs ...) ((fn fa) rest ...)) 
    110110     (define-record-type % bindings cargs  
    111        (fcs ... (fn immutable fa)) (rest ...))] 
    112     [(_ % bindings cargs (fcs ...) ((fn fa fm) rest ...)) 
     111       (fcs ... (fn immutable fa)) (rest ...))) 
     112    ((_ % bindings cargs (fcs ...) ((fn fa fm) rest ...)) 
    113113     (define-record-type % bindings cargs  
    114        (fcs ... (fn mutable fa fm)) (rest ...))] 
    115     [(_ name (constructor cargs ...) predicate fields ...) 
     114       (fcs ... (fn mutable fa fm)) (rest ...))) 
     115    ((_ name (constructor cargs ...) predicate fields ...) 
    116116     (define-record-type % (name constructor predicate)  
    117        (cargs ...) () (fields ...))])) 
     117       (cargs ...) () (fields ...))))) 
    118118}}} 
    119119 
     
    128128(define-syntax define-disjoint-type 
    129129  (syntax-rules (fields) 
    130     [(_ (name constructor predicate) (fields (fn m rest ...) ...)) 
     130    ((_ (name constructor predicate) (fields (fn m rest ...) ...)) 
    131131     (define-record-type name (constructor fn ...) predicate 
    132        (fn rest ...) ...)])) 
     132       (fn rest ...) ...)))) 
    133133}}} 
    134134 
     
    289289(define-syntax define-disjoint-type 
    290290  (syntax-rules (fields) 
    291     [(_ (name constructor predicate) 
     291    ((_ (name constructor predicate) 
    292292        (fields (fn m rest ...) ...)) 
    293293     (begin 
     
    299299              (eq? name (vector-ref val 0)))) 
    300300       (define (constructor fn ...) (vector name fn ...)) 
    301        (define-field-procs* 0 predicate (fn m rest ...) ...))])) 
     301       (define-field-procs* 0 predicate (fn m rest ...) ...))))) 
    302302(define-syntax define-field-procs* 
    303303  (syntax-rules () 
    304     [(_ counter predicate field-spec)  
    305      (define-field-procs counter predicate field-spec)] 
    306     [(_ counter predicate field-spec rest ...) 
     304    ((_ counter predicate field-spec)  
     305     (define-field-procs counter predicate field-spec)) 
     306    ((_ counter predicate field-spec rest ...) 
    307307     (begin 
    308308       (define-field-procs counter predicate field-spec) 
    309        (define-field-procs* (+ 1 counter) predicate rest ...))])) 
     309       (define-field-procs* (+ 1 counter) predicate rest ...))))) 
    310310(define-syntax define-field-procs 
    311311  (syntax-rules (immutable mutable) 
    312     [(_ counter predicate (name immutable accessor)) 
     312    ((_ counter predicate (name immutable accessor)) 
    313313     (define (accessor val) 
    314314       (unless (predicate val) 
    315315         (error 'accessor "invalid record" val)) 
    316        (vector-ref val (+ 1 counter)))] 
    317     [(_ counter predicate (name mutable accessor mutator)) 
     316       (vector-ref val (+ 1 counter)))) 
     317    ((_ counter predicate (name mutable accessor mutator)) 
    318318     (begin 
    319319       (define (accessor val) 
     
    324324         (unless (predicate rec) 
    325325           (error 'mutator "invalid record" rec)) 
    326          (vector-set! rec (+ 1 counter) val)))])) 
     326         (vector-set! rec (+ 1 counter) val)))))) 
    327327}}} 
    328328 
     
    336336       (list (make 3 4) (test? (make 3 4))  
    337337             (get-a (make 3 4)) (get-b (make 3 4))  
    338              (let ([v (make 3 4)]) (set-b! v 7) (get-b v))))) 
    339 (letrec* ([test.35 (#2%cons 'test '())] 
    340           [test?.36 (lambda (val.37) 
     338             (let ((v (make 3 4))) (set-b! v 7) (get-b v))))) 
     339(letrec* ((test.35 (#2%cons 'test '())) 
     340          (test?.36 (lambda (val.37) 
    341341                      (if (#2%vector? val.37) 
    342342                          (if (#2%= 
     
    345345                              (#2%eq? test.35 (#2%vector-ref val.37 0)) 
    346346                              #f) 
    347                           #f))] 
    348           [make.38 (lambda (a.39 b.40) (#2%vector test.35 a.39 b.40))] 
    349           [get-a.41 (lambda (val.42) 
     347                          #f))) 
     348          (make.38 (lambda (a.39 b.40) (#2%vector test.35 a.39 b.40))) 
     349          (get-a.41 (lambda (val.42) 
    350350                      (if (#2%not (test?.36 val.42)) 
    351351                          (#2%error 'get-a "invalid record" val.42) 
    352352                          (#2%void)) 
    353                       (#2%vector-ref val.42 (#2%+ 1 0)))] 
    354           [get-b.43 (lambda (val.44) 
     353                      (#2%vector-ref val.42 (#2%+ 1 0)))) 
     354          (get-b.43 (lambda (val.44) 
    355355                      (if (#2%not (test?.36 val.44)) 
    356356                          (#2%error 'get-b "invalid record" val.44) 
    357357                          (#2%void)) 
    358                       (#2%vector-ref val.44 (#2%+ 1 (#2%+ 1 0))))] 
    359           [set-b!.45 (lambda (rec.46 val.47) 
     358                      (#2%vector-ref val.44 (#2%+ 1 (#2%+ 1 0))))) 
     359          (set-b!.45 (lambda (rec.46 val.47) 
    360360                       (if (#2%not (test?.36 rec.46)) 
    361361                           (#2%error 'set-b! "invalid record" rec.46) 
     
    364364                         rec.46 
    365365                         (#2%+ 1 (#2%+ 1 0)) 
    366                          val.47))]) 
     366                         val.47)))) 
    367367  (#2%list (make.38 3 4) (test?.36 (make.38 3 4)) 
    368368    (get-a.41 (make.38 3 4)) (get-b.43 (make.38 3 4)) 
    369     (let ([v.48 (make.38 3 4)]) 
     369    (let ((v.48 (make.38 3 4))) 
    370370      (set-b!.45 v.48 7) 
    371371      (get-b.43 v.48)))) 
     
    376376       (list (make 3 4) (test? (make 3 4))  
    377377             (get-a (make 3 4)) (get-b (make 3 4))  
    378              (let ([v (make 3 4)]) (set-b! v 7) (get-b v))))) 
    379 (let ([test.49 (#2%cons 'test '())]) 
    380   (let ([val.50 (#2%vector test.49 3 4)]) 
    381     (let ([val.51 (#2%vector test.49 3 4)]) 
    382       (let ([val.52 (#2%vector test.49 3 4)]) 
    383         (let ([v.53 (#2%vector test.49 3 4)]) 
     378             (let ((v (make 3 4))) (set-b! v 7) (get-b v))))) 
     379(let ((test.49 (#2%cons 'test '()))) 
     380  (let ((val.50 (#2%vector test.49 3 4))) 
     381    (let ((val.51 (#2%vector test.49 3 4))) 
     382      (let ((val.52 (#2%vector test.49 3 4))) 
     383        (let ((v.53 (#2%vector test.49 3 4))) 
    384384          (#2%list (#2%vector test.49 3 4) 
    385385            (if (#2%vector? val.50) 
     
    432432    (list (make 3 4) (test? (make 3 4))  
    433433          (get-a (make 3 4)) (get-b (make 3 4))  
    434           (let ([v (make 3 4)]) (set-b! v 7) (get-b v)))) 
     434          (let ((v (make 3 4))) (set-b! v 7) (get-b v)))) 
    435435(#((test) 3 4) #t 3 4 7) 
    436436}}}