Details

    • Type: Bug
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Affects versions: 0.3.11
    • Fix versions: Backlog
    • Components: Clojure Checker
    • Labels:
      None

      Description

      Discussion: https://groups.google.com/d/msg/clojure-core-typed/-4XzTLD1LNE/LuJqMuNzAgAJ

      (t/cf (t/fn [x :- (t/Option '[t/Num])] (let [[a] x] a)))
      Type Error (...) Internal Error (...) Bad call to path-type: nil, ({:idx 0})
      

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              overthink Mark Feeney
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated: