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

with-meta doesn't type check with vectors or hash-maps.

    Details

    • Type: Bug
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Affects versions: None
    • Fix versions: Backlog
    • Components: Core type system
    • Labels:
      None
    • Environment:

      clojure 1.5.1
      core.typed 0.2.13

      Description

      (cf (with-meta 'a {})) 
      ;; => (Value a)  ; expected result
      
      (cf (with-meta [] {}))
      ;; => AssertionError Assert failed: 1: Inferred type [] is not between bounds Nothing and clojure.lang.IObj
      (and (subtype? inferred upper-bound) (subtype? lower-bound inferred))  clojure.core.typed.cs-gen/subst-gen/fn--10379 (cs_gen.clj:1333)
      

      This also fails with an empty hash-map literal. Lists and sets work.

        Attachments

          Activity

            People

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

              Dates

              • Created:
                Updated: