CPS mystery

[Matt Wette <matt.wette@gmail.com>]

Hi All,

I'm trying to generate CPS to feed to the compiler tower.
The following program is supposed to evaluate, expressed in Scheme, `(+ 1 2)'.
That is, essentially,
   scheme@(guile-user)> (apply + '(1 2))
   $1 = 3
I get the error message following.  Any clues what is going on?

(0 . #<cps (kfun () 0 1 9)>)
(1 . #<cps (ktail)>)
(2 . #<cps (kargs (rval) (1) (continue 1 (values 1)))>)
(3 . #<cps (kargs (arg) (4) (continue 2 (call 2 3 4)))>)
(4 . #<cps (kargs (arg) (3) (continue 3 (const 2)))>)
(5 . #<cps (kargs (arg) (2) (continue 4 (const 1)))>)
(6 . #<cps (kargs (t) (6) (continue 5 (primcall resolve 5 6)))>)
(7 . #<cps (kargs (name) (5) (continue 6 (const #t)))>)
(8 . #<cps (kargs () () (continue 7 (const +)))>)
(9 . #<cps (kclause (() () #f () #f) 8)>)

While compiling expression:
Throw to key `match-error' with args `("match" "no matching pattern"
  #<cps (kargs (rval) (6) (continue 10 (primcall handle-interrupts)))>)'.


And if I fire up Guile and turn off optimization, I get this, where I don't
even see the + resolved.
scheme@(guile-user)> (define v (compile '(+ 1 2) #:from 'scheme #:to 'cps))
scheme@(guile-user)> (disp-cps v)
(0 . #<cps (kfun () 0 1 4)>)
(1 . #<cps (ktail)>)
(2 . #<cps (kargs (val) (1) (continue 1 (values 1)))>)
(3 . #<cps (kargs () () (continue 2 (const 3)))>)
(4 . #<cps (kclause (() () #f () #f) 3)>)

Matt