<< Back to previous view

[CTYP-108] core.typed runs forever Created: 20/Feb/14  Updated: 02/Jan/15  Resolved: 02/Jan/15

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

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

Attachments: File infinite2.clj    


The core.typed checkers runs forever on my files. I've added markers to pinpoint the problem (unchecked functions are mentioned on the standard-output). Thus I was able to prune my failing file to a fairly minimal test-case that runs forever.

I would be nice if (check-ns) had an option to output logging/information for each function that is checked. As this would save significant time in pin-pointing where core.typed stagnates.

Comment by Ambrose Bonnaire-Sergeant [ 20/Feb/14 11:10 AM ]

Thanks for the report. Hangs for me too.

core.typed logs each line it's checking if you call check-ns like this:

(check-ns ns :trace true)

Comment by Ambrose Bonnaire-Sergeant [ 20/Feb/14 11:16 AM ]

This is the minimum case: https://gist.github.com/frenchy64/9118729

Related to http://dev.clojure.org/jira/browse/CTYP-83

Comment by Gary Fredericks [ 02/Dec/14 9:59 AM ]

This sounds like something I've encountered a lot but never dug into.

Comment by Ambrose Bonnaire-Sergeant [ 02/Jan/15 6:46 PM ]

Fixed in 0.2.75, via let-aliasing.

Generated at Wed Oct 18 13:34:48 CDT 2017 using JIRA 4.4#649-r158309.