| Issue 25: | "[dup] m" does not type | |
| 1 person starred this issue and may be notified of changes. | Back to list |
"[dup] m" returns "( -> 'a 'a)" which is clearly wrong. Possibly the problem is the rolling up phase. |
|
 Sign in to add a comment
|
|
|
|
|
| Issue 25: | "[dup] m" does not type | |
| 1 person starred this issue and may be notified of changes. | Back to list |
"[dup] m" returns "( -> 'a 'a)" which is clearly wrong. Possibly the problem is the rolling up phase. |
|
|
Sign in to add a comment
|
