Casey Klein
bbc654c69e
Typesetting now recognizes carets (^) in the underscore component of a
...
non-terminal reference, applying the non-terminal-superscript-style to
the text following the caret.
svn: r17801
2010-01-24 11:36:29 +00:00
Casey Klein
c8b8775805
Further clarified documentation
...
svn: r17636
2010-01-13 18:35:27 +00:00
Casey Klein
a47d38e15d
Improved docs and error messages for define-metafunction/extension
...
svn: r17635
2010-01-13 18:21:27 +00:00
Eli Barzilay
01536ba44e
switch to "#lang setup/infotab"
...
svn: r17598
2010-01-11 02:24:24 +00:00
Robby Findler
0eb5178ca8
svn: r17543
2010-01-07 20:06:18 +00:00
Robby Findler
52eee4547b
fixed PR 10684 and fixed up some old, broken tests and fiddled with the test suite infrastructure
...
svn: r17536
2010-01-07 18:10:28 +00:00
Casey Klein
16fd573e7b
Fixed violation of the invariant introduced in r16504.
...
svn: r17371
2009-12-20 19:36:38 +00:00
Casey Klein
97c2278a6b
PR 10663
...
svn: r17332
2009-12-16 21:02:08 +00:00
Casey Klein
eb4403f1c7
PR 10650
...
svn: r17331
2009-12-16 20:46:58 +00:00
Robby Findler
d278ad3c86
added a clarification to the redex docs ala Carl's next post on icfp-test
...
svn: r17308
2009-12-15 16:57:37 +00:00
Robby Findler
dd18cc837f
added a clarification to the redex docs ala Carl's post on icfp-test
...
svn: r17307
2009-12-15 16:41:55 +00:00
Casey Klein
4f140eed03
Metafunctions now respect caching-enabled? and set-cache-size!.
...
svn: r17271
2009-12-11 20:54:32 +00:00
Casey Klein
4b7b51b8de
PR 10550
...
svn: r17230
2009-12-06 17:26:53 +00:00
Casey Klein
8c5089c37f
PR 10027
...
svn: r17179
2009-12-03 21:45:57 +00:00
Casey Klein
bf64d93c64
Fixed a case where `term' raised an exception without a source location.
...
svn: r17172
2009-12-03 03:51:41 +00:00
Sam Tobin-Hochstadt
960bf4caab
print success on current-output-port
...
svn: r16787
2009-11-15 14:35:29 +00:00
Sam Tobin-Hochstadt
a29172bc51
Add command line flags to disable things that are problematic for DrDr.
...
svn: r16751
2009-11-13 18:16:07 +00:00
Eli Barzilay
44d88cee6b
newlines at EOFs
...
svn: r16630
2009-11-09 03:49:50 +00:00
Ryan Culpepper
7483b7ed20
unstable:
...
added struct and syntax libraries
svn: r16621
2009-11-08 19:20:53 +00:00
Casey Klein
2011272c06
Fixed source locations for term' and term-let' errors.
...
svn: r16592
2009-11-07 02:07:16 +00:00
Casey Klein
a021b75a67
Fixed PR 8765
...
svn: r16564
2009-11-05 19:33:19 +00:00
John Clements
829c6d783f
added pi-calculus example
...
svn: r16527
2009-11-03 19:20:37 +00:00
Robby Findler
da743d4a49
changed test printout so that the summary is to stdout, not stderr
...
svn: r16524
2009-11-03 18:27:00 +00:00
Casey Klein
4be6482bf9
Fixed bug with repeated binders inside ellipses.
...
svn: r16504
2009-11-02 21:33:42 +00:00
Robby Findler
727e540b6e
added support for rendering terms
...
svn: r16441
2009-10-27 21:24:31 +00:00
Jay McCarthy
d557687494
DrDr related changes
...
svn: r16403
2009-10-21 20:32:19 +00:00
Jay McCarthy
ba99cb4dbf
More fixes for DrDr
...
svn: r16345
2009-10-16 22:30:04 +00:00
Robby Findler
e78faf0669
fixed a bug that prevented uses of redex-match in the right-hand sides of reduction-relation definitions
...
svn: r16344
2009-10-16 21:33:57 +00:00
Robby Findler
9545330d53
fixed the #:scheme-colors? argument to traces
...
svn: r16328
2009-10-15 19:24:46 +00:00
Casey Klein
0520a50f3e
Fix to allow metafunction definition at the top-level.
...
svn: r16218
2009-10-02 16:54:44 +00:00
Casey Klein
f58882b4d1
Added support for collecting test coverage of metafunctions
...
svn: r16193
2009-09-30 21:32:20 +00:00
Casey Klein
50ce45e621
Updated expected results to reflect new trace's new output style.
...
svn: r16188
2009-09-30 16:35:11 +00:00
Casey Klein
38ed68b397
Fixed bug in extending extended metafunctions.
...
svn: r16187
2009-09-30 16:29:34 +00:00
Eli Barzilay
6cea680b62
* Reorganize macro code.
...
* Change `trace-apply' to accept keyword arguments by being a keyworded
function itself
* Renamed `trace-apply' to `trace-call' -- since it's not following the
calling convention of `apply'.
svn: r16161
2009-09-29 07:33:07 +00:00
Casey Klein
29a3ed2a20
Improved error reporting for side-conditions Redex can't satisfy
...
svn: r16128
2009-09-25 15:16:29 +00:00
Robby Findler
8b290c8ad2
svn: r16019
2009-09-16 00:35:09 +00:00
Ryan Culpepper
9ca3192a60
redex, macro-debugger: stxclass -> syntax/parse, syntax/private/util
...
svn: r15986
2009-09-11 23:16:22 +00:00
Robby Findler
72d6f85c47
PR 10416
...
svn: r15886
2009-09-05 10:29:00 +00:00
Casey Klein
1d4da3df4c
Term generator now less aggressive about producing weird variables and
...
strings.
svn: r15860
2009-09-02 19:51:30 +00:00
Jay McCarthy
829c8416b6
Fix a bug suggested by Robby and add a test case
...
svn: r15718
2009-08-12 20:43:10 +00:00
Jay McCarthy
1dba4edcb9
A fix for my example hide hole based models
...
svn: r15715
2009-08-12 20:08:36 +00:00
Robby Findler
5adb4eb004
changed the meaning of one of the pretty-print parameters slightly and used that to fix redex's stepper
...
svn: r15419
2009-07-09 15:55:11 +00:00
Matthew Flatt
2c973452d4
refine compact-vertical rule rendering to allow overlap between the labels and side conditions, and also use label-space
...
svn: r15397
2009-07-06 17:19:25 +00:00
Matthew Flatt
ebb45abee5
fix rendering of atomic transformers that produce strings, notably for hole
...
svn: r15394
2009-07-06 15:11:29 +00:00
Eli Barzilay
a70bf64fd9
Newlines at EOFs
...
svn: r15380
2009-07-04 02:28:31 +00:00
Matthew Flatt
482816bf34
restore use of atomic rewriters for literals
...
svn: r15363
2009-07-02 14:49:59 +00:00
Matthew Flatt
e0e8c86688
fix up-down/compact-side-conditions
...
svn: r15360
2009-07-02 02:23:29 +00:00
Robby Findler
890882a6fd
added x-spacing and y-spacing parameters to traces and traces/ps
...
svn: r15356
2009-07-01 18:24:47 +00:00
Robby Findler
62bc659ec8
fixed bug in rendering of reduction relations; they now preserve the relative ordering of side-conditions and where clauses
...
svn: r15354
2009-07-01 16:29:57 +00:00
Robby Findler
158b6de824
fixed bug the ordering of metafunction side-conditions during rendering
...
svn: r15353
2009-07-01 16:10:23 +00:00
Robby Findler
ba5aea8cdd
added 'left-right/beside-side-conditions
...
svn: r15350
2009-07-01 04:45:02 +00:00
Matthew Flatt
5ae06f1d2c
try to fix metafunction typesetting to make it independent of the order of metafunction definitions
...
svn: r15338
2009-06-30 15:41:58 +00:00
Robby Findler
fa0f182e80
fixed the way atomic rewriters work so that non-terminals with underscores render properly
...
svn: r15332
2009-06-30 04:18:34 +00:00
Robby Findler
32b91c9e93
svn: r15324
2009-06-28 19:28:41 +00:00
Robby Findler
ee365bb698
svn: r15323
2009-06-28 16:34:55 +00:00
Matthew Flatt
52acc7cbfb
Redex rendering adjustments, including new metafunction styles
...
svn: r15322
2009-06-28 16:15:23 +00:00
Robby Findler
ea6c99c69f
accidentally committed some changes on the branch, now moving back to trunk (w/ some conflicts, argh!): fixed a bug in the way redex expanded metafunctions (it had old code left in there) and improved error messages for domain failures in reduction relations
...
svn: r15317
2009-06-27 13:47:02 +00:00
Robby Findler
9b4f4d5be9
PR 10124
...
svn: r15311
2009-06-26 20:43:53 +00:00
Robby Findler
a895b5ef10
PR 10062
...
svn: r15310
2009-06-26 20:34:28 +00:00
Robby Findler
d007777e2a
fixed a bug in the way quote was handled
...
svn: r15308
2009-06-26 19:22:03 +00:00
Robby Findler
e81b1822a6
added metafunction-cases and fixed a layout bug
...
svn: r15299
2009-06-26 16:30:41 +00:00
Robby Findler
7804143400
merge from branch branches/robby/redex-pat2; improved where patterns and a few bug fixes
...
svn: r15294
2009-06-26 01:19:45 +00:00
Robby Findler
f9ba83cc1c
brought back syntax locations (for better error messages) in redex main forms and improved define-relation
...
svn: r15214
2009-06-19 14:58:40 +00:00
Robby Findler
ddc5d91e24
added a first attempt at define-relation
...
svn: r15171
2009-06-14 17:22:17 +00:00
Robby Findler
48f9e89978
prunes out the identifier bindings and source locations from the output of the top-level macros
...
svn: r15144
2009-06-11 14:04:48 +00:00
Robby Findler
1450b89b75
improved handling of source locations
...
svn: r15132
2009-06-10 19:30:36 +00:00
Eli Barzilay
4288c6c2c7
The Scribble reader was improved to make it pull out the syntax
...
punctuations outside of the form, as it does with quote punctuations.
So things like this
#, @foo{...}
that required the space to make the @foo read as a scribble form are
now better written as
@#,foo{...}
This changes all such occurrences. (In case you see this change in
your files and are worried that there might be changes: I mechanically
verified that the result of `read'ing the modified files is identical
to the previous version.)
svn: r15111
2009-06-07 10:12:32 +00:00
Robby Findler
90a0a6e524
PR 10275
...
svn: r15108
2009-06-07 01:18:56 +00:00
Robby Findler
74cb273fb7
PR 10278
...
svn: r15097
2009-06-05 19:51:06 +00:00
Robby Findler
cf5b14f626
svn: r14960
2009-05-23 15:10:55 +00:00
Robby Findler
b087ce2765
fixed a bug in metafunctions
...
svn: r14932
2009-05-22 19:19:40 +00:00
Robby Findler
0500571383
PR 10244
...
svn: r14874
2009-05-19 20:58:46 +00:00
Matthew Flatt
0f1fc2d664
redex doc corrections
...
svn: r14789
2009-05-12 21:30:28 +00:00
Robby Findler
0c0aa26e6f
PR 10231
...
svn: r14769
2009-05-10 21:59:13 +00:00
Casey Klein
039d24fc17
`where' clauses now properly bind in metafunctions
...
svn: r14712
2009-05-04 13:59:42 +00:00
Robby Findler
7315ff502b
fixed label ordering for reductions when extracted via reduction-relation->rule names
...
svn: r14690
2009-05-02 16:18:12 +00:00
Robby Findler
ea1ace6022
added horizontal-left-align style
...
svn: r14687
2009-05-02 12:32:04 +00:00
Robby Findler
55a98bf037
fixed a bug with holes used in certain places in patterns
...
svn: r14684
2009-05-02 00:57:18 +00:00
Eli Barzilay
ff73a5395e
removed lots of "the the"s
...
svn: r14679
2009-05-01 21:02:51 +00:00
Robby Findler
a3768d00eb
none of the various render-* worked under linux, due to a platform-specific default in the way ps-setup works.
...
svn: r14678
2009-05-01 20:38:26 +00:00
Robby Findler
a42ba6075b
added better linking for the 'lw' struct
...
svn: r14641
2009-04-28 15:22:32 +00:00
Robby Findler
7d881a32bf
svn: r14588
2009-04-23 14:57:51 +00:00
John Clements
7334a89d6b
undid accidental change to church.ss
...
svn: r14557
2009-04-19 01:33:29 +00:00
John Clements
ea861e346f
fixed typo in docs of fresh form
...
svn: r14556
2009-04-19 00:45:02 +00:00
Casey Klein
2c8c8638ac
Barebones interface for overriding default generators.
...
svn: r14519
2009-04-15 14:09:35 +00:00
Eli Barzilay
c0a8a01222
Changed @itemize{...} to @itemize[...] (done after comparing the doc
...
tree and verifying that there are no changes).
(Also fixed a few bugs that were in the code)
svn: r14427
2009-04-05 17:46:20 +00:00
Casey Klein
e9cf5787c1
Fixed bugs related to `cross' patterns.
...
svn: r14414
2009-04-03 10:47:42 +00:00
Eli Barzilay
23a26f320c
disable set-flip-labels?
...
svn: r14387
2009-03-31 14:55:12 +00:00
Matthias Felleisen
9c90204ca4
svn: r14329
2009-03-28 16:18:30 +00:00
Casey Klein
72c3ed943e
Removed support for the #:binds annotation.
...
svn: r14319
2009-03-27 17:38:16 +00:00
Casey Klein
c39e5dfa38
Changed the output of Redex's check forms.
...
svn: r14307
2009-03-27 00:26:11 +00:00
Eli Barzilay
2e66794799
removed unused binding
...
svn: r14209
2009-03-22 02:50:25 +00:00
Casey Klein
289b200057
Fixed bug in parse-language.
...
svn: r14155
2009-03-17 18:21:11 +00:00
Robby Findler
46277c7fd3
svn: r14045
2009-03-11 01:50:14 +00:00
Robby Findler
fe618071dc
added a test--> that only does a single step of the reduction relation
...
svn: r14014
2009-03-08 21:07:01 +00:00
Robby Findler
338a171a6a
renamed test--> to test-->>
...
svn: r14012
2009-03-08 20:29:31 +00:00
Robby Findler
d07a335324
svn: r14003
2009-03-07 13:53:54 +00:00
Robby Findler
37cde560a9
fixed bug in the cycle detection code in test-->
...
svn: r14002
2009-03-07 13:38:41 +00:00
Matthew Flatt
1c58224202
redex doc typesetting repairs
...
svn: r13970
2009-03-05 17:33:34 +00:00
Robby Findler
c063b4305c
PR 10115
...
svn: r13969
2009-03-05 13:29:25 +00:00
