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
