Commit Graph

8 Commits

Author SHA1 Message Date
Matthew Flatt
5165d9e855 sync Ryan's macro-debugger changes
svn: r9166
2008-04-04 17:38:23 +00:00
Ryan Culpepper
13a3c31ad5 changed macro-debugger to use v4 syntax (mostly)
svn: r8544
2008-02-05 21:56:49 +00:00
Ryan Culpepper
3f7ef88416 Macro stepper: fixed bugs and added new binding info (#%app, #%top, #%datum)
svn: r7395
2007-09-21 21:03:50 +00:00
Ryan Culpepper
2be282a0be Macro Stepper: merged new ui from branches/ryanc/ms-new-ui
svn: r7215
2007-08-29 20:42:01 +00:00
Ryan Culpepper
1198412bae Macro stepper: fixed display of same-module identifer binding
svn: r5680
2007-02-23 22:03:11 +00:00
Ryan Culpepper
9aa54a095c Macro Stepper: added "apparent binding" arrows based on macro expansion
svn: r5675
2007-02-23 11:06:38 +00:00
Ryan Culpepper
056683743d 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
2006-12-14 21:25:21 +00:00
Ryan Culpepper
d91e2b4502 Added the macro stepper
svn: r3987
2006-08-08 20:32:58 +00:00