[CTYP-97] 0.2.16 seems to introduce a bug Created: 14/Nov/13 Updated: 20/Jul/14 Resolved: 20/Jul/14
core.typed 0.2.16 and later
Some changes introduced by core.typed-0.2.16 seems to cause `Type Error (sicp.err:49:13) Cannot resolve type: a` for following code.
|Comment by Ambrose Bonnaire-Sergeant [ 14/Nov/13 7:58 PM ]|
Ah, that's not surprising. I overhauled the scoping for type variables, forgot this case.
Thanks for the report.
|Comment by vladimir [ 18/Mar/14 12:55 PM ]|
still got the same on 0.2.38.. is it closed because fixed?
|Comment by Ambrose Bonnaire-Sergeant [ 18/Mar/14 1:18 PM ]|
Added passing test for
|Comment by Ambrose Bonnaire-Sergeant [ 18/Mar/14 1:19 PM ]|
Please elaborate on your issue.