Uploaded image for project: 'core.typed'
  1. CTYP-272

check-ns: Assert failed: (r/Type? t)

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Completed
    • Affects versions: 0.3.11, 0.3.10
    • Fix versions: Backlog
    • Components: Clojure Checker
    • Labels:
      None
    • Environment:

      Java 8, Clojure 1.7, OS X 10.10.3

      Description

      The presence of the function

      (defn foo
        [x y]
        (pos? (rem x y)))
      

      in a namespace causes an assert error when check-ns is called on it.

      Attached is the full output of lein typed check, and the full code for a lein project that demonstrates the bug. This only occurs in 0.3.11 and 0.3.10.

        Attachments

        1. bugoutput
          8 kB
        2. jim.clj
          0.1 kB
        3. project.clj
          0.3 kB

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              alex+import import
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: