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
