<< Back to previous view

[CTYP-105] derive/subtype failure on hashmap Created: 19/Feb/14  Updated: 20/Jul/15  Resolved: 19/Feb/14

Status: Closed
Project: core.typed
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: Cees van Kemenade Assignee: Ambrose Bonnaire-Sergeant
Resolution: Completed Votes: 0
Labels: None

linux/java + core.typed 0.2.31

Attachments: File failDerive2.clj    


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 ]

Fixed in 0.2.32: https://github.com/clojure/core.typed/commit/0e0a41c917ef027bf47ab6ed90955881975a7a13

Comment by Cees van Kemenade [ 19/Feb/14 12:16 PM ]


Thanks for the rapid fix.
Tested it it and it works fine.


Generated at Tue Oct 17 15:47:45 CDT 2017 using JIRA 4.4#649-r158309.