<< Back to previous view

[CTYP-21] Checker passes ill-typed protocol method implementation Created: 20/Mar/13  Updated: 15/Sep/13  Resolved: 20/Mar/13

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

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


 Description   

Described here: https://groups.google.com/forum/?fromgroups=#!topic/clojure-core-typed/AuWQdDxv7hs



 Comments   
Comment by Ambrose Bonnaire-Sergeant [ 20/Mar/13 9:16 PM ]

Can't reproduce: https://github.com/clojure/core.typed/blob/master/src/test/clojure/clojure/core/typed/test/core.clj#L1210

Comment by Ambrose Bonnaire-Sergeant [ 20/Mar/13 11:46 PM ]

Actually, an earlier commit fixed the issue: https://github.com/clojure/core.typed/commit/59cb1c43e49b8dccb566756d5836a31958beec31

:new wasn't checking its result type against its expected type.

Fixed, verified by above test.

Generated at Fri Apr 18 13:18:53 CDT 2014 using JIRA 4.4#649-r158309.