Parsing error with box and unbox about papers HOT 9 CLOSED

Looks like you have some debugging to do. :-)

from papers.

All kidding aside, you should try and see if you can find the problem.

from papers.

Lastly, that parses just fine on my computer:

*Parser> parseTest expr "\\(m:?).\\(f:? -> Nat).box<Nat> (f m)"
Fun U (bind m(Fun (Arr U Nat) (bind f(Box Nat))))
*Parser> 

from papers.

from papers.

from papers.

The loadfile branch. But, I am running the parser directly, but when I try it from the repl I get an error.

from papers.

So there is a problem with the repl.

from papers.

Go to bed, and try to see what you can find out later.

from papers.

Thanks for fixing this!

from papers.