From 9c90204ca46c20a0fb4db7dc24fd643103f2491c Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Sat, 28 Mar 2009 16:18:30 +0000 Subject: [PATCH] svn: r14329 --- collects/redex/examples/beginner.ss | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/collects/redex/examples/beginner.ss b/collects/redex/examples/beginner.ss index 1c1ddff67d..8606635734 100644 --- a/collects/redex/examples/beginner.ss +++ b/collects/redex/examples/beginner.ss @@ -10,10 +10,11 @@ reflects the (broken) spec). |# #lang scheme -(require redex) +(require redex/reduction-semantics) (provide run-tests - run-big-test) + run-big-test + reductions) #| @@ -53,7 +54,7 @@ reflects the (broken) spec). boolean string) - (prim-op + / cons first rest empty? struct? symbol=?) + (prim-op + * / cons first rest empty? struct? symbol=?) (p-ctxt (d/e-v ... d/e-ctxt d/e ...)) (d/e-ctxt (define x e-ctxt) @@ -213,6 +214,7 @@ reflects the (broken) spec). "procedure symbol=?: expects 2 arguments") ((+ number_1 ...) . ==> . ,(apply + (term (number_1 ...)))) + ((* number_1 ...) . ==> . ,(apply * (term (number_1 ...)))) ((side-condition (+ v_arg ...) (ormap (lambda (v_arg) (not (number? v_arg))) (term (v_arg ...)))) . e==> .