search

yumaikas / cat-language

Automatically exported from code.google.com/p/cat-language
Other
1 stars 0 forks source link

"[dup] m" does not type #25

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
"[dup] m" returns "( -> 'a 'a)" which is clearly wrong. 

Possibly the problem is the rolling up phase.

Original issue reported on code.google.com by cdiggins on 21 Oct 2007 at 5:50