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

adding stop-gap annotation for 'hash-map' results in runtime exception

    Details

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

      Description

      Adding the following annotation results in a runtime exception:

         (t/ann ^:no-check clojure.core/hash-map
           [t/Any * -> (t/Map t/Any t/Any)])
      

      Exception:

      $ lein typed check 
      Retrieving org/clojure/core.typed/0.3.3/core.typed-0.3.3.pom from central
      Retrieving org/clojure/core.typed-pom/0.3.3/core.typed-pom-0.3.3.pom from central
      Retrieving org/clojure/core.typed.rt/0.3.3/core.typed.rt-0.3.3.pom from central
      Retrieving org/clojure/clojure/1.7.0-RC2/clojure-1.7.0-RC2.pom from central
      Retrieving org/clojure/core.typed.rt/0.3.3/core.typed.rt-0.3.3.jar from central
      Retrieving org/clojure/core.typed/0.3.3/core.typed-0.3.3.jar from central
      Initializing core.typed ...
      Building core.typed base environments ...
      Exception in thread "main" java.lang.AssertionError: Assert failed: (every? r/Bounds? bbnds), compiling:(/private/var/folders/fg/8xpsfgln1_s0cwh3f1ksxtjr0000gq/T/form-init6446670678682645381.clj:1:124)
      	at clojure.lang.Compiler.load(Compiler.java:7142)
      	at clojure.lang.Compiler.loadFile(Compiler.java:7086)
      	at clojure.main$load_script.invoke(main.clj:274)
      	at clojure.main$init_opt.invoke(main.clj:279)
      	at clojure.main$initialize.invoke(main.clj:307)
      	at clojure.main$null_opt.invoke(main.clj:342)
      	at clojure.main$main.doInvoke(main.clj:420)
      	at clojure.lang.RestFn.invoke(RestFn.java:421)
      	at clojure.lang.Var.invoke(Var.java:383)
      	at clojure.lang.AFn.applyToHelper(AFn.java:156)
      	at clojure.lang.Var.applyTo(Var.java:700)
      	at clojure.main.main(main.java:37)
      Caused by: java.lang.AssertionError: Assert failed: (every? r/Bounds? bbnds)
      	at clojure.core.typed.type_ctors$TypeFn_STAR_.invoke(type_ctors.clj:1040)
      	at clojure.core.typed.type_ctors$TypeFn_STAR_.invoke(type_ctors.clj:1041)
      	at clojure.core.typed.base_env_helper$declared_kind_for_rclass.invoke(base_env_helper.clj:179)
      	at clojure.core.typed.base_env_clj_rclass$generator_init_altered_env$fn__20119$fn__20125$iter__20126__20130$fn__20131.invoke(base_env_clj_rclass.clj:27)
      	at clojure.lang.LazySeq.sval(LazySeq.java:40)
      	at clojure.lang.LazySeq.seq(LazySeq.java:49)
      	at clojure.lang.RT.seq(RT.java:484)
      	at clojure.core$seq.invoke(core.clj:133)
      	at clojure.core$dorun.invoke(core.clj:2855)
      	at clojure.core$doall.invoke(core.clj:2871)
      	at clojure.core.typed.base_env_clj_rclass$generator_init_altered_env$fn__20119$fn__20125.invoke(base_env_clj_rclass.clj:27)
      	at clojure.lang.AFn.applyToHelper(AFn.java:152)
      	at clojure.lang.AFn.applyTo(AFn.java:144)
      	at clojure.core$apply.invoke(core.clj:624)
      	at clojure.core$with_bindings_STAR_.doInvoke(core.clj:1862)
      	at clojure.lang.RestFn.invoke(RestFn.java:425)
      	at clojure.core.typed.base_env_clj_rclass$generator_init_altered_env$fn__20119.invoke(base_env_clj_rclass.clj:27)
      	at clojure.lang.AFn.applyToHelper(AFn.java:152)
      	at clojure.lang.AFn.applyTo(AFn.java:144)
      	at clojure.core$apply.invoke(core.clj:624)
      	at clojure.core$with_bindings_STAR_.doInvoke(core.clj:1862)
      	at clojure.lang.RestFn.invoke(RestFn.java:425)
      	at clojure.core.typed.base_env_clj_rclass$generator_init_altered_env.invoke(base_env_clj_rclass.clj:25)
      	at clojure.core.typed.base_env_clj_rclass$init_altered_env.invoke(base_env_clj_rclass.clj:25)
      	at clojure.core.typed.base_env_clj_rclass$reset_rclass_env_BANG_.invoke(base_env_clj_rclass.clj:476)
      	at clojure.core.typed.base_env$generator_init_alias_env$fn__20466.invoke(base_env.clj:64)
      	at clojure.lang.AFn.applyToHelper(AFn.java:152)
      	at clojure.lang.AFn.applyTo(AFn.java:144)
      	at clojure.core$apply.invoke(core.clj:624)
      	at clojure.core$with_bindings_STAR_.doInvoke(core.clj:1862)
      	at clojure.lang.RestFn.invoke(RestFn.java:425)
      	at clojure.core.typed.base_env$generator_init_alias_env.invoke(base_env.clj:64)
      	at clojure.core.typed.base_env$init_alias_env.invoke(base_env.clj:64)
      	at clojure.core.typed.base_env$reset_alias_env_BANG_.invoke(base_env.clj:67)
      	at clojure.core.typed.base_env$reset_clojure_envs_BANG_$fn__20869$fn__20870.invoke(base_env.clj:1871)
      	at clojure.lang.AFn.applyToHelper(AFn.java:152)
      	at clojure.lang.AFn.applyTo(AFn.java:144)
      	at clojure.core$apply.invoke(core.clj:624)
      	at clojure.core$with_bindings_STAR_.doInvoke(core.clj:1862)
      	at clojure.lang.RestFn.invoke(RestFn.java:425)
      	at clojure.core.typed.base_env$reset_clojure_envs_BANG_$fn__20869.invoke(base_env.clj:1870)
      	at clojure.core.typed.base_env$reset_clojure_envs_BANG_.invoke(base_env.clj:1870)
      	at clojure.core.typed.reset_env$reset_envs_BANG_.invoke(reset_env.clj:20)
      	at clojure.core.typed.init$load_impl$fn__1728$fn__1729.invoke(init.clj:113)
      	at clojure.lang.AFn.applyToHelper(AFn.java:152)
      	at clojure.lang.AFn.applyTo(AFn.java:144)
      	at clojure.core$apply.invoke(core.clj:624)
      	at clojure.core$with_bindings_STAR_.doInvoke(core.clj:1862)
      	at clojure.lang.RestFn.invoke(RestFn.java:425)
      	at clojure.core.typed.init$load_impl$fn__1728.invoke(init.clj:112)
      	at clojure.core.typed.init$load_impl.invoke(init.clj:112)
      	at clojure.core.typed.load_if_needed$load_if_needed.invoke(load_if_needed.clj:22)
      	at clojure.core.typed$fn__919.invoke(typed.clj:54)
      	at clojure.core.typed$fn__1678.doInvoke(typed.clj:2256)
      	at clojure.lang.RestFn.invoke(RestFn.java:410)
      	at user$eval1698$fn__1699.invoke(form-init6446670678682645381.clj:1)
      	at user$eval1698.invoke(form-init6446670678682645381.clj:1)
      	at clojure.lang.Compiler.eval(Compiler.java:6703)
      	at clojure.lang.Compiler.eval(Compiler.java:6693)
      	at clojure.lang.Compiler.load(Compiler.java:7130)
      	... 11 more
      Subprocess failed
      

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              johanatan Jonathan Leonard
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated: