Re: [plt-dev] an api for check syntax & module browser

2009-09-10 Thread Robby Findler
That sounds like a great thing (I know you've mentioned it to me privately before, but it was nice to get a little more detail now)! That also suggests an indirect use of the check syntax refactoring I had in mind, namely building a test suite that checks to see that they behave the same way. Rob

Re: [plt-dev] an api for check syntax & module browser

2009-09-10 Thread Matthias Felleisen
On Sep 10, 2009, at 3:43 AM, Philippe Meunier wrote: Progress is steady but slow, there's just a ton of infrastructure code to write (anybody wants to write a hashconsing library that can handle cyclic data structures, unions, subtyping (and least upper bounds in general), and that's reasonabl

Re: [plt-dev] an api for check syntax & module browser

2009-09-10 Thread Matthias Felleisen
Here are two plug-ins I could imagine: -- the module browser could display contracted provides and/or typed provides on mouse-over (I am not asking that you write this; an API that can enable this application without changing the module browser is what I imagine) -- check-syntax could

Re: [plt-dev] an api for check syntax & module browser

2009-09-10 Thread Dave Herman
At some point, I would love to create an experimental language with typed macros, where Check Syntax didn't actually need to expand the macros to get binding information because the types would provide that info. Thanks, Dave On Sep 9, 2009, at 10:56 PM, Robby Findler wrote: So, I've hea

Re: [plt-dev] an api for check syntax & module browser

2009-09-10 Thread Philippe Meunier
Ryan Culpepper wrote: > I envision two APIs. One handles source code analysis, possibly > including expansion, builds def-use relations, etc. The other handles > annotations to code in editors, allows adding mouseover callbacks to > regions of code, adding right-click menu items, etc. FYI, I

Re: [plt-dev] an api for check syntax & module browser

2009-09-09 Thread Ryan Culpepper
Robby Findler wrote: So, I've heard various people saying it would be nice to have a separate api for check syntax (and presumably the module browser) pulled out of DrScheme. I definitely agree with that, but I'm wondering how to prioritize it. Does anyone have some specific use in mind for the a

Re: [plt-dev] an api for check syntax & module browser

2009-09-09 Thread Neil Van Dyke
Robby Findler wrote at 09/09/2009 10:56 PM: So, I've heard various people saying it would be nice to have a separate api for check syntax (and presumably the module browser) pulled out of DrScheme. IMHO, a higher priority wishlist item is to make Check Syntax faster or even continuously-up

Re: [plt-dev] an api for check syntax & module browser

2009-09-09 Thread Robby Findler
On Wed, Sep 9, 2009 at 9:58 PM, Jay McCarthy wrote: > Documentation. > > Scribble's main annoyance for me is that @schemeblock isn't syntax > highlighted. Take for instance the example at the end of this section: > > http://docs.plt-scheme.org/continue/index.html#(part._.Rendering_.H.T.M.L) I see

Re: [plt-dev] an api for check syntax & module browser

2009-09-09 Thread Jay McCarthy
Documentation. Scribble's main annoyance for me is that @schemeblock isn't syntax highlighted. Take for instance the example at the end of this section: http://docs.plt-scheme.org/continue/index.html#(part._.Rendering_.H.T.M.L) The module browser might be a nice advantage for rewriting developer