From a14c31a1de85d4699de04232588405ac28f6deb7 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 23 Jun 2010 14:50:33 -0400 Subject: [PATCH] Changed dderiv to be closer to the untyped version. --- collects/tests/racket/benchmarks/common/typed/dderiv.rktl | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/tests/racket/benchmarks/common/typed/dderiv.rktl b/collects/tests/racket/benchmarks/common/typed/dderiv.rktl index 2460a6731d..0ab72099b1 100644 --- a/collects/tests/racket/benchmarks/common/typed/dderiv.rktl +++ b/collects/tests/racket/benchmarks/common/typed/dderiv.rktl @@ -42,10 +42,9 @@ (: put (Symbol Symbol ((Listof Deriv) -> Deriv) -> Void)) (define (put sym d what) (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) - (cond ((assq sym pg-alist) => cdr) - (else #f))) + (cdr (assert (assq sym pg-alist)))) (define-type Deriv (Rec Deriv (U Number Symbol