[CTYP-105] derive/subtype failure on hashmap Created: 19/Feb/14 Updated: 20/Jul/15 Resolved: 19/Feb/14
|Reporter:||Cees van Kemenade||Assignee:||Ambrose Bonnaire-Sergeant|
linux/java + core.typed 0.2.31
The attached code fails when checking the namespace, as core.typed incorrectly assumes that the return-type is incorrect. Part of error-output is included as string ErrInfo and compared for difference with the return-type from the proto-type of the failing function.
When you load the file the analysis of the error-message is shown (run check-ns to see the message)
|Comment by Ambrose Bonnaire-Sergeant [ 19/Feb/14 3:00 AM ]|
|Comment by Cees van Kemenade [ 19/Feb/14 12:16 PM ]|
Thanks for the rapid fix.