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

svn: r14329

Browse Source
This commit is contained in:
Matthias Felleisen 2009-03-28 16:18:30 +00:00
parent 33b0384675
commit 9c90204ca4
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/redex/examples/beginner.ss
View File

@ -10,10 +10,11 @@ reflects the (broken) spec).
|# |#
#lang scheme #lang scheme
(require redex) (require redex/reduction-semantics)
(provide run-tests (provide run-tests
run-big-test) run-big-test
reductions)
#| #|
@ -53,7 +54,7 @@ reflects the (broken) spec).
boolean boolean
string) 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 ...)) (p-ctxt (d/e-v ... d/e-ctxt d/e ...))
(d/e-ctxt (define x e-ctxt) (d/e-ctxt (define x e-ctxt)
@ -213,6 +214,7 @@ reflects the (broken) spec).
"procedure symbol=?: expects 2 arguments") "procedure symbol=?: expects 2 arguments")
((+ number_1 ...) . ==> . ,(apply + (term (number_1 ...)))) ((+ number_1 ...) . ==> . ,(apply + (term (number_1 ...))))
((* number_1 ...) . ==> . ,(apply * (term (number_1 ...))))
((side-condition (+ v_arg ...) ((side-condition (+ v_arg ...)
(ormap (lambda (v_arg) (not (number? v_arg))) (term (v_arg ...)))) (ormap (lambda (v_arg) (not (number? v_arg))) (term (v_arg ...))))
. e==> . . e==> .