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

fix explanation of stlc bug #2

Browse Source
This commit is contained in:
Robby Findler 2014-03-25 06:46:56 -05:00
parent c67f5f753c
commit 41e0156d8b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff
View File

@ -1,7 +1,7 @@
3c3 3c3
< (define the-error "no error") < (define the-error "no error")
--- ---
> (define the-error "the ((cons number) v) value has been omitted") > (define the-error "the ((cons v) v) value has been omitted")
33d32 33d32
< ((cons v) v) < ((cons v) v)
270a270,273 270a270,273

2
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
View File

@ -1,6 +1,6 @@
#lang racket/base #lang racket/base
(define the-error "the ((cons number) v) value has been omitted") (define the-error "the ((cons v) v) value has been omitted")
(require redex/reduction-semantics (require redex/reduction-semantics
(only-in redex/private/generate-term pick-an-index) (only-in redex/private/generate-term pick-an-index)