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

Fix two buguettes in the DMdA language grammar.

Browse Source 
svn: r16366
This commit is contained in:
Mike Sperber 2009-10-19 14:49:47 +00:00
parent a71b5697ad
commit 800a2302a8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/deinprogramm/scribblings/std-grammar.ss
View File

@ -48,7 +48,7 @@
@#,scheme[(letrec ((id expr) (... ...)) expr)]
@#,scheme[(let* ((id expr) (... ...)) expr) ]
@#,scheme[(begin expr expr (... ...))]
@#,scheme[(contract id contr)]
@#,scheme[(contract contr)]
@#,scheme[(for-all ((id contr) (... ...)) expr)]
@#,scheme[(==> expr expr)]
expr-rule ...]
@ -73,7 +73,7 @@
@#,scheme[(require module-id)]
@#,scheme[(require (lib string string ...))]
@#,scheme[(require (planet string package))]])
(...
#;(...
[package @#,scheme[(string string number number)]])))
(define prim-nonterms