[Larceny-users] first steps with Larceny

[Derick Eddington]

On Mon, 2009-04-20 at 09:13 +0200, Michele Simionato wrote:
> On Mon, Apr 20, 2009 at 8:18 AM, Derick Eddington
> <derick.eddington at gmail.com> wrote:
> > I think the problem is caused by this bug in Larceny:
> >
> > Larceny v0.97a4 (alpha test) (Apr 19 2009 17:48:52, precise:Linux:unified)
> > larceny.heap, built on Sun Apr 19 17:50:33 PDT 2009
> > ERR5RS mode (no libraries have been imported)
> >
> >> (import (rnrs syntax-case))
> > Autoloading (rnrs syntax-case)
> > Autoloading (rnrs conditions)
> > Autoloading (err5rs records procedural)
> > Autoloading (rnrs exceptions)
> >
> >> (syntax->datum (syntax (... (... foo))))
> > foo  ;; should be (... foo)
> 
> That certainly would break sweet-macros.

I'm pretty sure it's the problem because, in the below,
  ((ctx <patterns>) #''((_ u ...)))
is supposed to be
  ((ctx <patterns>) #''((... (_ u ...))))


> (import (for (sweet-macros helper2) expand))
Autoloading (sweet-macros helper2)
Autoloading (sweet-macros helper1)

> (define-syntax m
    (syntax-match ()
      (sub (_ u ...) #'(list u ...))))

Syntax violation: syntax

Too many ...'s

Form: (u ...)

Trace: 

  #''((_ u ...))

  (syntax-case
  x
  (<literals> <patterns>)
  ((ctx <literals>) #''())
  ((ctx <patterns>) #''((_ u ...)))
  ((_ u ...) #'(list u ...)))

  (lambda (x)
  (syntax-match
    x
    ()
    (sub (_ u ...) #'(list u ...))))

  (syntax-match () (sub (_ u ...) #'(list u ...)))



Error: unhandled condition:
Compound condition has these components: 
#<record &who>
    who : syntax
#<record &message>
    message : "Too many ...'s"
#<record &syntax>
    form : (u ...)
    subform : #f

Entering debugger; type "?" for help.
debug> 


-- 
: Derick
----------------------------------------------------------------