On 01/03/2012, at 1:21 PM, Amos Robinson wrote: > 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 should be a type error. Primitives need to be fully applied. I'll fix it. Ben. -- Disciple-Cafe mailing list http://groups.google.com/group/disciple-cafe
