core.typed

core.typed runs forever

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Blocker Blocker
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

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.

Activity

Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Description
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.

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.

Priority Major [ 3 ] Blocker [ 1 ]
Hide
Ambrose Bonnaire-Sergeant added a comment -

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)

Show
Ambrose Bonnaire-Sergeant added a comment - 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)
Show
Ambrose Bonnaire-Sergeant added a comment - This is the minimum case: https://gist.github.com/frenchy64/9118729 Related to http://dev.clojure.org/jira/browse/CTYP-83

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: