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

Changed dderiv to be closer to the untyped version.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-23 14:50:33 -04:00
parent b345d5f0f0
commit a14c31a1de
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/racket/benchmarks/common/typed/dderiv.rktl
View File

@ -42,10 +42,9 @@
(: put (Symbol Symbol ((Listof Deriv) -> Deriv) -> Void)) (: put (Symbol Symbol ((Listof Deriv) -> Deriv) -> Void))
(define (put sym d what) (define (put sym d what)
(set! pg-alist (cons (cons sym what) pg-alist))) (set! pg-alist (cons (cons sym what) pg-alist)))
(: get (Symbol Symbol -> (U ((Listof Deriv) -> Deriv) #f))) (: get (Symbol Symbol -> ((Listof Deriv) -> Deriv)))
(define (get sym d) (define (get sym d)
(cond ((assq sym pg-alist) => cdr) (cdr (assert (assq sym pg-alist))))
(else #f)))
(define-type Deriv (Rec Deriv (U Number (define-type Deriv (Rec Deriv (U Number
Symbol Symbol