Re: [racket-dev] New error messages for *SL

2011-07-08 Thread Guillaume Marceau
> Fix pushed. Thanks. > Some remaining issues: > >  * ISL's "Syntax" section lists syntax that was already in B+SL. > >  * ASL incorrectly specifies >= 1 arguments required for functions and >   function calls (i.e., functions and call are not common syntax at >   that point). > >  * The order o

Re: [racket-dev] `letrec' and continuations

2011-07-08 Thread Matthew Flatt
I've implemented (not yet pushed) a revision of internal-definition expansion. The `quicksort!' functions at the start of this thread (see http://lists.racket-lang.org/dev/archive/2011-May/006547.html) run the same with that change. Definitions are partitioned into minimal sets that satisfy the fo