Parse error on expression generated by interpreter about hvm HOT 3 CLOSED

I tried simplifying the example a bit. The following gives a similar error;

(ListFMap f Nil) = Nil
(ListFMap f (Cons a x)) = (Cons a (f x))

(ListCata a l) = (a (ListFMap (λl (ListCata a l)) l))

(ListAlg n r Nil) = n
(ListAlg n r (Cons a x)) = (r a x)

(Foldr n r l) = (ListCata (λx (ListAlg n r x)) l)

(Append l1 l2) = (Foldr l2 (λx λy (Cons x y)) l1)

(Concat l) = (Foldr Nil (λl1 λl2 (Append l1 l2)) l)

Main = (Concat (Cons (Cons 1 Nil) Nil))

Replacing Foldr with

(Foldr n r Nil) = n
(Foldr n r (Cons a x)) = (r a (Foldr n r x))

gets rid of the error.

from hvm.

This appears to have been fixed. Both examples now give the expected outputs.

from hvm.

Thanks for the issue. From an initial inspection, I'd guess it reaches the cloning limitations. I'm working on a user-facing language that will properly check these cases, apply automatic fixes when possible, and report a good error when not. This may take some time though.

Worth noting we're looking for funding and devs to work on these issues! :)

from hvm.