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

checking clojure.core/keep produces Internal Error--Cannot resolve type: Option

    Details

    • Type: Bug
    • Status: Open
    • Priority: Blocker
    • Resolution: Unresolved
    • Affects versions: None
    • Fix versions: Backlog
    • Components: None
    • Labels:
      None
    • Environment:

      org.clojure/core.typed "0.2.92"

      Description

      How to reproduce:

      (t/cf (t/fn [] (keep even? [1 2 3])))
      

      Observed result:

      DEPRECATED SYNTAX (NO_SOURCE_PATH): All syntax is deprecated, use clojure.core.typed/All
      Type Error (NO_SOURCE_PATH:1:16) Internal Error (NO_SOURCE_PATH:1:16) Cannot resolve type: Option
      Hint: Is Option in scope?
      Hint: Has Option's annotation been found via check-ns, cf or typed-deps?
      
      ExceptionInfo Type Checker: Found 1 error  clojure.core/ex-info (core.clj:4403)
      

      Expected result:

      (t/ASeq Integer) or something like that, I would guess.

      Details:

      broz@macmicro:~/src/foo$ lein try org.clojure/core.typed "0.2.92"
      nREPL server started on port 63244 on host 127.0.0.1 - nrepl://127.0.0.1:63244
      REPL-y 0.3.5, nREPL 0.2.6
      Clojure 1.6.0
      Java HotSpot(TM) 64-Bit Server VM 1.8.0_40-b26
          Docs: (doc function-name-here)
                (find-doc "part-of-name-here")
        Source: (source function-name-here)
       Javadoc: (javadoc java-object-or-class-here)
          Exit: Control+D or (exit) or (quit)
       Results: Stored in vars *1, *2, *3, an exception in *e
      
      user=> (require ['clojure.core.typed :as 't])
      nil
      user=> (t/cf (t/fn [] (keep even? [1 2 3])))
      Initializing core.typed ...
      Building core.typed base environments ...
      Finished building base environments
      "Elapsed time: 9649.842771 msecs"
      core.typed initialized.
      DEPRECATED SYNTAX (NO_SOURCE_PATH): All syntax is deprecated, use clojure.core.typed/All
      Type Error (NO_SOURCE_PATH:1:16) Internal Error (NO_SOURCE_PATH:1:16) Cannot resolve type: Option
      Hint: Is Option in scope?
      Hint: Has Option's annotation been found via check-ns, cf or typed-deps?
      
      ExceptionInfo Type Checker: Found 1 error  clojure.core/ex-info (core.clj:4403)
      user=>
      

        Attachments

          Activity

            People

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

              Dates

              • Created:
                Updated: