Hey, You might already know, but it looks like partially applying primitives typechecks but gets stuck evaluating...
> :eval.. let succ = addInt [:R0# R0# R0#:] (1 [R0#] ()) in succ (2 [R0#] ()) ;; I can take a stab at fixing it, but do you think it should be a type error or should it automatically wrap it in lambda(s)? (It's not a very 'real world' program but still) -- Disciple-Cafe mailing list http://groups.google.com/group/disciple-cafe
