Ryan Culpepper
8baedfcf1d
macro-debugger:
...
fixed PR 10000 (case of eval during expansion in module/pass1)
fixed display of multiple terms in stepper
svn: r12993
original commit: 056e8a6bb145cf5f3bf5022012fffb35ff117d95
2009-01-03 19:07:32 +00:00
Ryan Culpepper
4707441bc0
macro debugger:
...
underline definite binders
add rename/shift mapping so module final term retains binding info
svn: r12843
original commit: 6fdba44edc54a7eb6d375a3c084262400eac0e96
2008-12-14 07:56:37 +00:00
Ryan Culpepper
c715df4d97
macro debugger: reorg, minor bug fixes
...
svn: r12825
original commit: 12216b15aaabdc69615ec38a5886c90579af6718
2008-12-13 07:49:52 +00:00
Ryan Culpepper
fdd704dd9e
macro stepper: reorg. lifting error checking
...
svn: r12703
original commit: c47cbb564afd840c9f3525edc24ac2669c4a043e
2008-12-04 21:35:42 +00:00
Ryan Culpepper
a194e955ef
macro stepper: improved 'provide' handling
...
svn: r12685
original commit: 7fd78779e4e16c9366723b9348761c3b8adb0462
2008-12-03 05:59:18 +00:00
Ryan Culpepper
e08317f6c8
macro stepper: fixed disappearing term bug
...
svn: r12684
original commit: 8cad79c2bf87dddba74eb850f7a3d3a228528736
2008-12-03 05:27:54 +00:00
Ryan Culpepper
5fee1897e5
macro stepper: simplified prefs/params, fixed menu bugs
...
svn: r12681
original commit: 2648a3b03f01c04755469c5341fb380c6838e853
2008-12-02 19:54:36 +00:00
Ryan Culpepper
cb3e3770a9
macro stepper: added index-based extra navigation
...
svn: r12595
original commit: fc31124115aeef1049e69b7c30150e3ce4db5cd4
2008-11-26 04:13:45 +00:00
Ryan Culpepper
c4bf0cb2aa
macro stepper: changed hiding policy impl
...
svn: r12332
original commit: f78ce2c9f33c0d035092ba8085f6b6e4f8812683
2008-11-06 17:10:44 +00:00
Ryan Culpepper
81e6d8cb67
macro stepper: added duplicate-frame command (menu items)
...
svn: r12219
original commit: e12fde12600534527ac2b382295e2a4ef1da131d
2008-11-02 23:18:03 +00:00
Ryan Culpepper
6ccfbba3bb
stxclass cleanup, improved error messages
...
svn: r12149
original commit: 05df5e36e0897fefd1b7049de225153a83195de3
2008-10-27 22:56:52 +00:00
Ryan Culpepper
18c15185bc
macro stepper: tidied up menus
...
svn: r12133
original commit: c8dbc9b7987d7b2466f32afa31503a736b375af8
2008-10-26 23:03:53 +00:00
Ryan Culpepper
c5579d0bab
macro-debugger/expand: added new expand function with docs
...
svn: r11578
original commit: 402697e2d48356c0c35264cfa3c473bdd44312e2
2008-09-08 20:40:46 +00:00
Ryan Culpepper
6fcdf2701d
restored macro-debugger/expand module (expand-only, expand/hide)
...
svn: r11561
original commit: bac74a3759819c08f109dd7cdff262a9c1288a88
2008-09-05 20:57:59 +00:00
Matthew Flatt
dbc5517dad
assign authors to manuals
...
svn: r11287
original commit: 9453aaaccf2f0007bae450c291e1cd29a7a14696
2008-08-15 20:16:06 +00:00
Robby Findler
de3e111402
improved searching (docs not yet quite done, but I want to test on other platforms ... another commit to follow)
...
svn: r10921
original commit: a3c0e933249d3b46ad78c25d509f91955c08fe5b
2008-07-26 20:06:23 +00:00
Eli Barzilay
e089499d05
* Newlines at EOFs
...
* Another big chunk of v4-require-isms
* Allow `#lang framework/keybinding-lang' for keybinding files
* Move hierlist sources into "mrlib/hierlist", leave stub behind
svn: r10689
original commit: 7d50e61c7f6831936e13e6af5140db65db18fe1c
2008-07-09 07:18:06 +00:00
Ryan Culpepper
c627003c4b
macro stepper: workaround for occasional out-of-sync rename
...
svn: r9945
original commit: 1fcfc8a8e4f0bd26cc22e02642fe3ca08de0b173
2008-05-23 16:56:41 +00:00
Ryan Culpepper
254f98d602
updated macro stepper for change in Module language
...
svn: r9940
original commit: 268e1c858eb4c8f30e41cfc9f076ceb89ff871d6
2008-05-23 05:11:26 +00:00
Ryan Culpepper
063619c7e2
made narrow version of macro stepper icon
...
moved icons to standard place
svn: r9822
original commit: 42e2611ca10e646f70145f20e1789eb225316378
2008-05-13 04:55:12 +00:00
Ryan Culpepper
6d18708cd8
changed macro stepper icon
...
svn: r9804
original commit: a65a5a0d9edaa8118d8ea92f07b650391b10f8b6
2008-05-11 04:46:21 +00:00
Matthew Flatt
77a121e1fd
Ryan's macro-stepper patches
...
svn: r9794
original commit: 24739359e443feabd0dd7b66960ebf3a636b5ddd
2008-05-10 11:02:47 +00:00
Matthew Flatt
3f73a508ad
proprocessor doc, merge scribblings and doc-categories fields
...
svn: r9414
original commit: a26b334c67a2d77b56c8a83e0856a8f538b94e79
2008-04-23 00:20:25 +00:00
Matthew Flatt
28bef1d6c4
new hash function names and ops (3.99.0.23)
...
svn: r9209
original commit: 021d4d7527f39cc01b6b8952f4a90e61e55e8956
2008-04-08 21:42:38 +00:00
Matthew Flatt
b5e5c83b91
sync Ryan's macro-debugger changes
...
svn: r9166
original commit: 5165d9e8559eda1245acee8296c81613c3770c7a
2008-04-04 17:38:23 +00:00
Eli Barzilay
d81ac1a5e9
use new require specs in many places
...
svn: r8774
original commit: b1a08edd5a8c0db0bae4a9e052d9a93d1faabb4f
2008-02-23 09:42:03 +00:00
Eli Barzilay
4201bb50e9
* Changed setup-plt to compile collections if they have an "info.ss"
...
file. (That is, it does not require the file to have a `name'
entry.)
* The name shown when setup works is the directory name, followed by
the `name' field from the info file when specified.
* This means that many `name's are no longer needed, so I'm removing
them. To see if you need a `name' entry, consider that the name
will be shown like this:
... foo (<your name here>)
This means that if the name is the same as the directory name, then
there is no point in having it. I also removed cases where the name
differed only in its capitalization for collections where the case
is obvious.
* Also, for subcollections, the name should clarify the name of the
subcollection in context. For example "Acknowledgments" explains
what scribbling/acks is, but there's no need to add the context name
as in "Scribblings: Acknowledgments".
* There may also be a point in keeping names for other uses. One such
example was in games, where the name field was used in the PLT Games
application. (This was changed to default on the directory name, so
it is no longer needed in most games.) Another example is in planet
packages.
svn: r8629
original commit: 699c40643d538e54164bf68f5eddf43ae30c5b5e
2008-02-12 10:33:01 +00:00
Ryan Culpepper
dae9aa6eee
changed macro-debugger to use v4 syntax (mostly)
...
svn: r8544
original commit: 13a3c31ad5f63115427cfd34df285c0e981a8107
2008-02-05 21:56:49 +00:00
Ryan Culpepper
e56b4cdb71
scribbled macro-debugger docs
...
svn: r8542
original commit: 6fa6ea3bb327755509b3d9de8f3e219c28f323d0
2008-02-05 17:38:58 +00:00
Eli Barzilay
affb8f2d3f
switched info.ss files to #lang
...
svn: r8532
original commit: 3c72e71e24202366d4be41532cba0a89f69d7ebd
2008-02-04 23:00:35 +00:00
Eli Barzilay
2894e21c9b
removed unused doc.txt entries from info.ss files
...
svn: r8529
original commit: 59b5f3a72758c7d6eaec0a04f243e76afbb43762
2008-02-04 20:31:04 +00:00
Ryan Culpepper
6f59b261fd
macro stepper: improved error reporting
...
svn: r8012
original commit: 58ffe9133ef9db1f68a5f86e9087691692248988
2007-12-14 21:48:47 +00:00
Ryan Culpepper
dde5fe4ce5
macro stepper: enabled for "Module", improved debugging setup
...
svn: r7981
original commit: 75b2415a967ae31ca774e4ece3f8c596616087b9
2007-12-12 22:56:05 +00:00
Ryan Culpepper
5dda594bbe
Macro stepper: made error printing more uniform
...
svn: r7892
original commit: f0567df7514e3d90822d8c72d37763c311c42f4d
2007-12-03 13:45:44 +00:00
Ryan Culpepper
6167d3b5a7
Macro stepper: show error message for interrupted expansion
...
svn: r7891
original commit: 1608a90ab031b590a4e5b9432d511efcf9e1898f
2007-12-03 13:43:31 +00:00
Ryan Culpepper
5f02ff4a7d
Macro stepper: better error handling
...
svn: r7890
original commit: c68035079f05d893e2a44663f58ad3058f0a557a
2007-12-03 13:38:20 +00:00
Ryan Culpepper
f9c94375e9
merged changes from branches/ryanc/ms-v4
...
svn: r7741
original commit: 60fe499e4ee6a8a064de4ace1c2f6bfffe16e742
2007-11-15 18:37:40 +00:00
Ryan Culpepper
b70053ae2a
fixed macro stepper cursors (no mpairs)
...
svn: r7713
original commit: d3fe81cb16aacc5484cbd21fac83f8fd86ac578d
2007-11-13 21:21:37 +00:00
Matthew Flatt
5640b966de
v3.99.0.2
...
svn: r7706
original commit: 39cedb62edf9258b051a22a29a90be9c6841956f
2007-11-13 12:40:00 +00:00
Ryan Culpepper
bcacd7b7de
Macro stepper: navigation preserves visible line range
...
svn: r7596
original commit: 2d59128e5984963aed15fa58934976894e150db0
2007-10-30 22:02:17 +00:00
Ryan Culpepper
f07ce280c6
Macro stepper: moved warnings from separate frame to panel/term
...
svn: r7483
original commit: 05b37c3ed706fcd1b27e327234a519fbb1a31c7b
2007-10-11 01:38:28 +00:00
Ryan Culpepper
593c71ecd4
fixed syntax browser bug (mailing list 10/10/2007)
...
svn: r7481
original commit: 324ccee027a6be09a3ad56ed922699eeaa7fbf01
2007-10-10 23:29:56 +00:00
Ryan Culpepper
b6e46fabb6
Macro stepper: fixed bugs and added new binding info (#%app, #%top, #%datum)
...
svn: r7395
original commit: 3f7ef884163ab94b86b34b571486d6646538f0b4
2007-09-21 21:03:50 +00:00
Ryan Culpepper
00f0692e48
Macro stepper: added navigation methods
...
svn: r7335
original commit: d4e96a80cb7be97f5216a3482d1e49cea59c4d91
2007-09-14 18:45:14 +00:00
Matthew Flatt
417ce18ff4
371.2
...
svn: r7263
original commit: e4cbc4e6a938fd5bd90aab305ca39d61e7eae151
2007-09-02 17:39:32 +00:00
Ryan Culpepper
78a294d8ee
Macro stepper: fail gracefully on frontier-computation errors
...
svn: r7231
original commit: da4c99f2318ee34b4ac9b764d05a605ba02e1698
2007-08-30 21:44:10 +00:00
Ryan Culpepper
0f119f61a4
Macro Stepper: merged new ui from branches/ryanc/ms-new-ui
...
svn: r7215
original commit: 2be282a0be517b1a5e8b1156c6dc8bd58e66726b
2007-08-29 20:42:01 +00:00
Ryan Culpepper
0b5b000078
Macro stepper:
...
- removed dead seek-syntax code
- fixed bug related to hiding + errors
- fixed bug finding bindings in interrrupted expansion
svn: r6182
original commit: e4e5ec407498cbe36faa26ff37c55c445a236748
2007-05-08 20:56:37 +00:00
Ryan Culpepper
c9d748d3f8
Macro stepper: fixed bug in frontier tracking
...
svn: r6113
original commit: 28ce091fb27635533718f718616dbe26ab085798
2007-05-01 19:17:01 +00:00
Ryan Culpepper
898d3d554b
Macro stepper: fixed quasisyntax pretty-print bug
...
svn: r6010
original commit: e36f77a7489383efebfffb6f31db793a8a9718ac
2007-04-21 17:23:38 +00:00
Ryan Culpepper
df335db310
Macro stepper: added new options, new command (show in new frame)
...
svn: r5933
original commit: b49fbe27659883fbc96cc2a7eaed8a5d5842003c
2007-04-13 21:33:34 +00:00
Ryan Culpepper
b75eab9467
Macro stepper: reductions preserve properties etc
...
svn: r5931
original commit: bdd53d5f3ca5354abf865db63b7b6be4b134b1a7
2007-04-13 21:25:34 +00:00
Ryan Culpepper
cd359e9c9a
Macro stepper: tackable arrows
...
svn: r5930
original commit: ebb27d0d0f482ebaf946fff2fb63bd38ba7f1ff6
2007-04-13 16:56:32 +00:00
Ryan Culpepper
d0781e4e82
Macro stepper: abbreviate quote etc when appropriate
...
svn: r5929
original commit: 80af3f491cf8d2fb619e1482d8f8890b1e0df390
2007-04-13 16:54:59 +00:00
Ryan Culpepper
ce40ab8672
Macro stepper: changed rep/parsing of local-expand etc
...
svn: r5849
original commit: ea00e7a68b09700e09b53753db9c475eb192f3ac
2007-03-30 20:09:44 +00:00
Ryan Culpepper
d5f3866188
Macro stepper: fixed handling of #%expression
...
svn: r5848
original commit: a056844d337d60ede84e531f5c763601c4a44d89
2007-03-30 18:15:17 +00:00
Ryan Culpepper
f923ad7f6d
Macro stepper: refactored display code
...
svn: r5775
original commit: ac983b32a64be9cf57638f3fe32796539115923d
2007-03-14 21:33:59 +00:00
Ryan Culpepper
b272f333d6
Macro stepper:
...
improved interaction of hiding and lifting (outside of modules, mostly)
only mzscheme's top-interaction is stripped off automatically now
svn: r5754
original commit: 64f062f5a5292333b79669b4e2dfcc4928e98b0e
2007-03-08 03:20:15 +00:00
Ryan Culpepper
63ee789eb9
Macro stepper: added final definite reference result
...
svn: r5746
original commit: 3facbd99abbd666d5b4a6c21c421a9aea870dd32
2007-03-07 05:22:42 +00:00
Ryan Culpepper
be8ce288fa
Macro stepper: improved frontier tracking and macro hiding
...
svn: r5724
original commit: bb937c80a1437dc598772414491dc886f13b02d8
2007-03-03 09:08:23 +00:00
Ryan Culpepper
a4731a40e8
Macro stepper: added basic expansion-frontier tracking and display
...
svn: r5715
original commit: c340b211108b421360e9521247fe8566a70fcabb
2007-03-01 23:45:55 +00:00
Ryan Culpepper
8985123577
Macro stepper:
...
fixed bug in reductions wrt letrec-syntaxes+values
added more binding arrows
svn: r5702
original commit: e675ebf32308d4657b0d0e81d2496f6f92ff4297
2007-02-27 23:44:25 +00:00
Ryan Culpepper
bdbee3601c
Macro stepper: started tracking definite uses, added definite arrows
...
svn: r5700
original commit: 75a0a02355816860e9e1ed4e8cf064d5d3c9299d
2007-02-27 22:42:07 +00:00
Ryan Culpepper
a7a568ad42
Macro stepper: fixed bug in reductions wrt internal define-syntax
...
svn: r5698
original commit: a1bc72225989eb0caba4de63246a1e6c4537ea35
2007-02-27 21:14:37 +00:00
Ryan Culpepper
a7a18146d8
Macro stepper: fixed display of same-module identifer binding
...
svn: r5680
original commit: 1198412bae3b81b5d0e954c1ae167e5d98b6f2b7
2007-02-23 22:03:11 +00:00
Ryan Culpepper
8cb207118a
Macro stepper: changed apparent binding arrow color to match syncheck
...
svn: r5679
original commit: 469e6f65ccfa7e753a97ce98568f011903cb6d15
2007-02-23 22:02:40 +00:00
Ryan Culpepper
a2bd880bbb
Macro stepper: fixed bugs re: binding arrows
...
svn: r5676
original commit: 3652cbee39b42cb4f7cca21b5a9127496f276e3c
2007-02-23 11:45:00 +00:00
Ryan Culpepper
8dbd130698
Macro Stepper: added "apparent binding" arrows based on macro expansion
...
svn: r5675
original commit: 9aa54a095c6735f70575e0bd542e4c4b18996180
2007-02-23 11:06:38 +00:00
Ryan Culpepper
a169d49e04
Macro stepper: added env/renaming tracking
...
svn: r5669
original commit: 0a194c3eae0582026112b294e05fe32565af0b71
2007-02-23 08:01:33 +00:00
Ryan Culpepper
41538c81f5
Macro stepper: added properties display code (but disabled)
...
svn: r5668
original commit: 516257199464ee7cc7e811afc5fa26befe38ce1f
2007-02-22 22:52:29 +00:00
Ryan Culpepper
fc798ea166
Macro stepper: factored derivation synthesis code into separate module
...
svn: r5585
original commit: 204516bad91acb472c33eb872fa1c496a10a2c14
2007-02-10 03:46:12 +00:00
Ryan Culpepper
3b5732fb6e
Macro stepper: fixed internal error
...
svn: r5583
original commit: 94ee28f1d50be46f7e0e759c3758af3781bcc54a
2007-02-09 18:21:10 +00:00
Ryan Culpepper
ea26c3f5ef
Macro stepper:
...
fixed bugs re: internal define-syntax
de-unitized hiding again, disabled extra navigation for now
fixed bug in letrec-syntaxes w/o var bindings
fixed bugs in block splicing
distinguished booleans and keywords in syntax browser
svn: r5578
original commit: ca3c367aab7ba9aadc2d1a7f006655eff4911cff
2007-02-09 08:27:02 +00:00
Ryan Culpepper
c5ab275cee
Macro stepper: eliminated (unneeded) synchronization from tracing
...
svn: r5544
original commit: c4c5d6cd13715cbef58ca03cb3bacf4af9e53526
2007-02-02 19:56:03 +00:00
Ryan Culpepper
d4b7882999
Macro stepper: fixed syntax-snip read-special
...
svn: r5543
original commit: d426019579731e329d13d2c8e773544c22e1838e
2007-02-02 19:30:19 +00:00
Ryan Culpepper
3f810108ff
Macro stepper: cosmetic changes, new interface (stub)
...
svn: r5536
original commit: 679bd4e30cb1ad602a6e7c77af5ee6f9e332af22
2007-02-01 23:19:44 +00:00
Ryan Culpepper
90758ff4e5
Macro stepper: nicer looking syntax snip props view
...
svn: r5535
original commit: 2f4e4df213fe496778dd9c041d25b250a5c2effe
2007-02-01 23:18:19 +00:00
Ryan Culpepper
ca576ca485
Macro stepper:
...
syntax snips display properties inline
changed read-special to use procedures instead of promises
svn: r5534
original commit: 8ac1fe54e1ec645b50f31f05c6400435924cbd8b
2007-02-01 23:10:38 +00:00
Ryan Culpepper
6a2575ac34
Macro stepper: fixed prefix refresh on hiding policy change
...
svn: r5512
original commit: 25740b3224be4a91e673633a60d2b4c02e693fb9
2007-01-30 22:37:20 +00:00
Ryan Culpepper
dd90b92c3d
Macro stepper: internal debugging improvements
...
svn: r5511
original commit: d76d947d9396347d8c0029b3235950a772986511
2007-01-30 22:32:21 +00:00
Ryan Culpepper
6641e1fe7a
Macro stepper: moved buttons out from under grow-box (thx Robby)
...
svn: r5510
original commit: 3b3954c1f8979dfb53f57186f96a5d89ca727a39
2007-01-30 21:38:01 +00:00
Ryan Culpepper
2b70c4eb6f
Macro stepper: fixed another foci type bug
...
svn: r5477
original commit: 043c5e3d8cfd15ad62fd33342b1aeb24141cfb5f
2007-01-27 19:18:28 +00:00
Ryan Culpepper
ee080b92eb
Macro stepper:
...
cleaned up representation of big (localaction) contexts
unitized hiding impl
added (broken/experimental) navigation tools (jump, zoom)
svn: r5468
original commit: ef1f77c33fc8082c80b6beea80f6f149ac7f8031
2007-01-26 19:53:55 +00:00
Ryan Culpepper
df346e3044
Macro stepper: fixed old error message for clarity
...
svn: r5467
original commit: c7b622c537c78f2519e1919558f379b82f45f492
2007-01-26 19:52:05 +00:00
Ryan Culpepper
93cc4c0ea7
Macro stepper: fixed bug in error steps (foci)
...
svn: r5466
original commit: 8c8e0d36e7e2980b13de6b2739f4791c89a6f79f
2007-01-26 18:23:57 +00:00
Ryan Culpepper
56e01595c4
Macro stepper: added support for extra nav tools (zoom, jump) but disabled
...
svn: r5461
original commit: f9dfebefa311ee1881255f21ae4ff8967f5d958c
2007-01-25 19:20:44 +00:00
Ryan Culpepper
a6da39cc8f
Macro stepper: minor bug fix
...
svn: r5460
original commit: 3fe785014a6de4fa178cb8cddaf2eebd7ddf004a
2007-01-25 19:16:14 +00:00
Ryan Culpepper
67a7b38e94
Macro stepper: show/hide props reflows syntax display
...
svn: r5451
original commit: cf3da5cf7dd09898315e702537c378ba77992d34
2007-01-25 05:11:05 +00:00
Ryan Culpepper
64cef9c489
Changes to macro stepper (internal):
...
refactored context rep in steps to retain frame structure
fixed bug in syntax-restamp (bogus template, broke colors)
needs revisiting
svn: r5450
original commit: 9774e0926db4f657d6ef66d422de0ab10182903e
2007-01-25 00:32:29 +00:00
Ryan Culpepper
413119739d
Macro stepper preserves position when hiding policy changed, etc
...
svn: r5338
original commit: 0b35093018ef4666fde7b74b4a343456d7e38636
2007-01-12 22:56:21 +00:00
Ryan Culpepper
7e0f3cbdca
Macro stepper:
...
simplified match patterns, eliminated old dollar-sign patterns
added derivs to reductions; prep for jump-to and zoom-in
changed step-note to step-type
svn: r5316
original commit: 9330d96ad7d1b66b5c6d3e1310cc14298d2c7ed1
2007-01-11 23:16:58 +00:00
Ryan Culpepper
8874fe41a0
New macro stepper option: show one term per step rather than term->term
...
svn: r5308
original commit: c5b19a52a94099c8ee0429d8d514218673035fa1
2007-01-11 00:10:02 +00:00
Ryan Culpepper
e1f644c03f
Fixed alignment of syntax-snips, separate controllers, props icon
...
svn: r5285
original commit: f546667d50aeb1b3baf23d102509196e5847f257
2007-01-10 00:17:17 +00:00
Ryan Culpepper
bf64dc78e3
Fixed macro-stepper to work with #%top-interaction
...
svn: r5268
original commit: 7d0d3da0dca00e735db4653f7f84f7f223f0641c
2007-01-08 22:16:35 +00:00
Ryan Culpepper
60ab3ffe85
Ported macro-debugger collection to new unit system
...
svn: r5123
original commit: 201d34d3c7e319210cc6589beca20b30ba09c596
2006-12-14 23:29:57 +00:00
Ryan Culpepper
9ce9194139
Merged changes to macro-debugger from /branches/ryanc/md5 4899:5119
...
updated to change in expansion of lexical variables
many UI updates and tweaks
improved syntax properties panel
added expand-only and expand/hide
added rudimentary textual stepper
fixed PR 8395 by adding snipclass for hrule-snip
fixed PR 8431: reductions and block splicing
fixed PR 8433: handling unquote and macro hiding w/ errors in hidden terms
svn: r5120
original commit: 056683743d998145deb4b2e82fa8fc73507ed7e3
2006-12-14 21:25:21 +00:00
Robby Findler
b50b6f5a73
changed the strategy of the preferences library in the framework to use a different key at the file.ss level (and thus save the prefs on each call to preferences:set)
...
svn: r5058
original commit: d47247507f6dd55cf3d628a83570096137cda406
2006-12-07 22:32:31 +00:00
Ryan Culpepper
d50b3ebc06
Updates to macro stepper:
...
Handle errors in BindSyntax
Fixed lift-deriv hiding typo
Removed same-marks from partitions
When stepper autodisables hiding, update panel
Refactored stepper update function
Fixed internal error handling
svn: r4851
original commit: 97d27f5e08c358ab8b905d8bf959a124f476f643
2006-11-14 07:50:21 +00:00
Ryan Culpepper
4245032983
Fixed linking bug
...
svn: r4532
original commit: a9301386437e4bb09067a3f8528012ad2a83f745
2006-10-09 15:38:20 +00:00
Ryan Culpepper
e7dda36836
Added show/hide props to context menu
...
Added refresh after policy change through context menu
svn: r4523
original commit: e962922e9d92dc6b837491cd0aa83c5e99e65140
2006-10-08 04:17:12 +00:00
Ryan Culpepper
b7804c2303
Improved handling of lifts in modules
...
svn: r4522
original commit: d2fbbc4a9b70421309d3768a119ef64fb761e180
2006-10-08 04:14:56 +00:00
Ryan Culpepper
ba6819f1ed
Removed old dead code
...
svn: r4515
original commit: bdc179ebfd884d84bde1efe00e30026d1e70c155
2006-10-07 22:32:25 +00:00
Ryan Culpepper
932f831a25
Trying to improve module handling
...
svn: r4506
original commit: 595ed011724ba002a3bf400be4c6fa7c494189a9
2006-10-06 04:53:15 +00:00
Ryan Culpepper
df01af09b9
Fixed eol properties
...
Reorganized macro stepper gui
Added macro stepper actions to popup menu
svn: r4505
original commit: 39145f9c71807baf1e97d66db63f135fbf7e2999
2006-10-06 04:48:14 +00:00
Ryan Culpepper
9599b2253b
Reorganized syntax-browser
...
svn: r4500
original commit: 2954ed58441dd1cdf4492a9bc2362c41fc6288d2
2006-10-06 02:26:04 +00:00
Ryan Culpepper
5f1b8d4da6
Fixed location bug with popup menu
...
Improved syntax snips
svn: r4492
original commit: bc02b021b94539120c7f72a43f5152701db6e89d
2006-10-05 06:08:49 +00:00
Ryan Culpepper
92b54ca27b
Fixed some hiding+modules interactions
...
Fixed some hiding+renames interactions
svn: r4463
original commit: 459b86900bc118dda9148970f8a95ad74acdadff
2006-10-02 15:31:33 +00:00
Ryan Culpepper
19920550e1
Added context popup menu to syntax browser & macro stepper
...
Made identifier=? menus use checkable items
svn: r4461
original commit: 00b0dc8f10ce311a620aead3844af299440a0124
2006-10-01 22:38:19 +00:00
Ryan Culpepper
86e824488c
Added simple context menu to syntax-browser
...
svn: r4459
original commit: 57f3a709d1fa26503cda611080deacd8afde19d6
2006-10-01 19:11:35 +00:00
Ryan Culpepper
73a1330578
Fixed hiding + renaming
...
Changed colors
Made bound-id=? default
svn: r4367
original commit: 8e9d6e6d0786348b28d7469a688ee4f6327862de
2006-09-18 16:21:16 +00:00
Ryan Culpepper
f812f155bb
Fixed hiding bugs
...
in case-lambda, fixed renaming bug
in let-values and letrec-values, fixed hiding on errors
fixed do-rename loop; now let bound-id=? works as expected!
Added hide.ss to debug.ss exports
svn: r4347
original commit: 27ce8d0f3b6725bad6eb14eb2726847a838d21f5
2006-09-15 13:18:50 +00:00
Ryan Culpepper
89ccab4d4b
Added events for lift-to-let
...
Added rename-tracking to macro hiding
svn: r4339
original commit: 4c41e5515d03ddd02e3e709056be8d8ae565ea2f
2006-09-14 19:13:26 +00:00
Ryan Culpepper
1c1a9c1e88
Unitized macro stepper view; tool uses different base frame
...
svn: r4309
original commit: c9653c888b189ce499617825385c5522c2c40634
2006-09-11 13:48:27 +00:00
Ryan Culpepper
b59b3e692c
Font size changes; prefs setting overrides default
...
svn: r4308
original commit: ba5c8d5b07b7e37322cd6f4fee2a0a193ac2b467
2006-09-11 13:47:27 +00:00
Ryan Culpepper
3c47257395
Fixed width calculation
...
svn: r4301
original commit: 407339e9353558e3428289d3dc99ad4dfd0ed8d9
2006-09-11 01:02:19 +00:00
Ryan Culpepper
1327b81ec1
Added normal form line to all sequences
...
svn: r4300
original commit: 5b9cb7b96c0ced9dacf5827772af925df5bdb947
2006-09-11 01:01:54 +00:00
Ryan Culpepper
902f2c146a
Improved pretty printing (define-values, define-syntaxes)
...
svn: r4299
original commit: de95ebcde464619f3bf36f85b539156d4b5a441b
2006-09-11 01:01:12 +00:00
Ryan Culpepper
d75f99286b
Fixed case-lambda reductions bug
...
Removed let*-values prule, faked as mrule
Suppressed copies of warning messages
svn: r4246
original commit: 1a2eea24ad962e4906c3231127f4a9e3a9d207b6
2006-09-05 19:58:57 +00:00
Ryan Culpepper
cbf83f809b
Macro debugger changes merged from /branches/ryanc/md2 4050:4176
...
Fixed macro hiding on applications
Stepper font depends on framework settings
Fixed hiding policies and gui wrt lexical vs global bindings
Macro hiding removes renaming steps
Better handling of nonlinear subterms & local actions
Automatic pretty-print resizing
Handled local-bind action (partial?)
Enabled module language
Disabled struct contracts for faster compilation
Fixed syntax-browser on boxes, 3d syntax; normalized print params
Fixed PR 8246: syntax-browser mishandled non-ascii characters
svn: r4178
original commit: 61798f478ec82ff2498c144918226382483a41f5
2006-08-28 22:58:52 +00:00
Ryan Culpepper
3a22aab8af
Merged 4023:4047 from /branches/ryanc/md1
...
- Fixed macro hiding for letrec-syntaxes+values
- Fixed module tracing (prevented required modules from being traced)
- Better auto-scroll in gui
- Fixed reductions bug in letrec-syntaxes+values
- Added hide library syntax option
svn: r4048
original commit: adb230f3c3f6bbd7915c5cebc8797158a209d523
2006-08-13 03:28:43 +00:00
Ryan Culpepper
06aad5203a
Added the macro stepper
...
svn: r3987
original commit: d91e2b45022c0c043578a5f08b152825db417c07
2006-08-08 20:32:58 +00:00
