? Example about papers HOT 2 CLOSED

Run this one:

(\(x:?->?).xx)(\x:?->?.xx)

Also, there is this one:

\(n:?).\(m:?).\(s:? -> ?).\(z:?).n s (m s z)

from papers.

I wonder if I have a bug in my version of the code. For the first example you gave, I get the error:

unexpected "("
expecting "let" or ":"

And for the second example, I get the error:

unexpected "\\"
expecting "let" or ":"

I've looked all through the code to figure out why. It seems like it should be an error from the parser but I haven't been able to figure the root cause. I've just pushed up my copy of the code to the branch. I'll keep working on it to see if I can figure this out.

from papers.