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
