Commit Graph

65 Commits

Author SHA1 Message Date
Ryan Culpepper
b75dfb878a macro stepper: fixed documentation build
(removed dependence on mred-kernel)

svn: r13152
2009-01-15 14:40:52 +00:00
Ryan Culpepper
10297fa579 macro stepper: added "factor common context" option
svn: r13143
2009-01-15 07:30:08 +00:00
Ryan Culpepper
b91874f41c macro stepper: more iop
svn: r13134
2009-01-15 00:10:09 +00:00
Ryan Culpepper
502edfb02f macro stepper: fixed interface bugs
svn: r13109
2009-01-14 06:11:59 +00:00
Ryan Culpepper
2aeb50134d macro stepper: converted more classes to use iop
svn: r13108
2009-01-14 06:04:57 +00:00
Ryan Culpepper
3b8c164074 macro stepper: changed syntax browser classes to use iop
-- This line, and those below, will be ignored--

M    macro-debugger/syntax-browser/properties.ss
M    macro-debugger/syntax-browser/display.ss
M    macro-debugger/syntax-browser/widget.ss
M    macro-debugger/syntax-browser/controller.ss
M    macro-debugger/syntax-browser/interfaces.ss
M    macro-debugger/syntax-browser/frame.ss
M    macro-debugger/util/class-iop.ss

svn: r13092
2009-01-13 20:36:16 +00:00
Ryan Culpepper
3d3bcfe2f7 macro stepper: cleaned up column-width detection/resizing
svn: r13082
2009-01-13 00:43:47 +00:00
Ryan Culpepper
f6575759ba macro stepper: fixed pretty-printing width
svn: r13032
2009-01-08 01:02:38 +00:00
Ryan Culpepper
6fdba44edc macro debugger:
underline definite binders
  add rename/shift mapping so module final term retains binding info

svn: r12843
2008-12-14 07:56:37 +00:00
Ryan Culpepper
12216b15aa macro debugger: reorg, minor bug fixes
svn: r12825
2008-12-13 07:49:52 +00:00
Ryan Culpepper
2648a3b03f macro stepper: simplified prefs/params, fixed menu bugs
svn: r12681
2008-12-02 19:54:36 +00:00
Matthew Flatt
24739359e4 Ryan's macro-stepper patches
svn: r9794
2008-05-10 11:02:47 +00:00
Matthew Flatt
021d4d7527 new hash function names and ops (3.99.0.23)
svn: r9209
2008-04-08 21:42:38 +00:00
Matthew Flatt
5165d9e855 sync Ryan's macro-debugger changes
svn: r9166
2008-04-04 17:38:23 +00:00
Eli Barzilay
b76390a452 revise the way setup-plt crawls over the collection trees
svn: r8860
2008-03-03 22:04:28 +00:00
Eli Barzilay
b1a08edd5a use new require specs in many places
svn: r8774
2008-02-23 09:42:03 +00:00
Eli Barzilay
699c40643d * 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
2008-02-12 10:33:01 +00:00
Ryan Culpepper
13a3c31ad5 changed macro-debugger to use v4 syntax (mostly)
svn: r8544
2008-02-05 21:56:49 +00:00
Eli Barzilay
3c72e71e24 switched info.ss files to #lang
svn: r8532
2008-02-04 23:00:35 +00:00
Eli Barzilay
d78396aaf9 remove unused blurb fields
svn: r8526
2008-02-04 17:16:06 +00:00
Ryan Culpepper
1608a90ab0 Macro stepper: show error message for interrupted expansion
svn: r7891
2007-12-03 13:43:31 +00:00
Ryan Culpepper
c68035079f Macro stepper: better error handling
svn: r7890
2007-12-03 13:38:20 +00:00
Ryan Culpepper
60fe499e4e merged changes from branches/ryanc/ms-v4
svn: r7741
2007-11-15 18:37:40 +00:00
Matthew Flatt
39cedb62ed v3.99.0.2
svn: r7706
2007-11-13 12:40:00 +00:00
Ryan Culpepper
324ccee027 fixed syntax browser bug (mailing list 10/10/2007)
svn: r7481
2007-10-10 23:29:56 +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
e36f77a748 Macro stepper: fixed quasisyntax pretty-print bug
svn: r6010
2007-04-21 17:23:38 +00:00
Ryan Culpepper
ebb27d0d0f Macro stepper: tackable arrows
svn: r5930
2007-04-13 16:56:32 +00:00
Ryan Culpepper
80af3f491c Macro stepper: abbreviate quote etc when appropriate
svn: r5929
2007-04-13 16:54:59 +00:00
Ryan Culpepper
c340b21110 Macro stepper: added basic expansion-frontier tracking and display
svn: r5715
2007-03-01 23:45:55 +00:00
Ryan Culpepper
75a0a02355 Macro stepper: started tracking definite uses, added definite arrows
svn: r5700
2007-02-27 22:42:07 +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
469e6f65cc Macro stepper: changed apparent binding arrow color to match syncheck
svn: r5679
2007-02-23 22:02:40 +00:00
Ryan Culpepper
3652cbee39 Macro stepper: fixed bugs re: binding arrows
svn: r5676
2007-02-23 11:45:00 +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
5162571994 Macro stepper: added properties display code (but disabled)
svn: r5668
2007-02-22 22:52:29 +00:00
Ryan Culpepper
ca3c367aab 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
2007-02-09 08:27:02 +00:00
Ryan Culpepper
d426019579 Macro stepper: fixed syntax-snip read-special
svn: r5543
2007-02-02 19:30:19 +00:00
Ryan Culpepper
432d5349eb Macro stepper: changed out-of-colors color
svn: r5542
2007-02-02 19:29:03 +00:00
Ryan Culpepper
679bd4e30c Macro stepper: cosmetic changes, new interface (stub)
svn: r5536
2007-02-01 23:19:44 +00:00
Ryan Culpepper
2f4e4df213 Macro stepper: nicer looking syntax snip props view
svn: r5535
2007-02-01 23:18:19 +00:00
Ryan Culpepper
8ac1fe54e1 Macro stepper:
syntax snips display properties inline
  changed read-special to use procedures instead of promises

svn: r5534
2007-02-01 23:10:38 +00:00
Ryan Culpepper
c7b622c537 Macro stepper: fixed old error message for clarity
svn: r5467
2007-01-26 19:52:05 +00:00
Ryan Culpepper
cf3da5cf7d Macro stepper: show/hide props reflows syntax display
svn: r5451
2007-01-25 05:11:05 +00:00
Ryan Culpepper
f546667d50 Fixed alignment of syntax-snips, separate controllers, props icon
svn: r5285
2007-01-10 00:17:17 +00:00
Ryan Culpepper
201d34d3c7 Ported macro-debugger collection to new unit system
svn: r5123
2006-12-14 23:29:57 +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
Eli Barzilay
a772fa8c84 * Better dealing with errors in eval-string and read-from-string/-all
* Made them work with byte strings too
* Added tests to the above

svn: r5081
2006-12-11 18:03:33 +00:00
Robby Findler
d47247507f 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
2006-12-07 22:32:31 +00:00