Nothing happens but errors

[timothypratley]

After following the instructions, I just get errors:

Messages output

(fn NS)] of checker clojure-cider-typed failed: class clojure.lang.ArityException
Error from syntax checker clojure-cider-typed: Form #[257 \300\301�"\207 [format (do (require 'squiggly-clojure.core) (squiggly-clojure.core/check-tc '%s))] 4 

(fn NS)] of checker clojure-cider-typed failed: class clojure.lang.ArityException```

[timothypratley]

nrepl-messages
(<-
err "ArityException Wrong number of args (3) passed to: jvm/analyze+eval clojure.lang.AFn.throwArity (AFn.java:429)\n"
id "66"
session "2b068ccd-5a92-408a-a892-1c62102db6d7"
)

Is there a way I can trace this in the squiggly-clojure code?

[timothypratley]

The problem arises from typed clojure (below occurs just running check-ns

Start collecting algopop.leaderboardx.main
Start collecting algopop.leaderboardx.communication
ArityException Wrong number of args (3) passed to: jvm/analyze+eval  clojure.lang.AFn.throwArity (AFn.java:429)```

[timothypratley]

Upgrading to the latest typed clojure fails in a different way

  id  "18"
  out  "Initializing core.typed ...\n"
  session  "37f5ce11-4507-4e83-a8a1-25abf639e732"
)
(<-
  ex  "class java.lang.Exception"
  id  "18"
  root-ex  "class java.lang.Exception"
  session  "37f5ce11-4507-4e83-a8a1-25abf639e732"
  status  ("eval-error")
)
(<-
  err  "Exception There was previously an unrecoverable internal error while loading core.typed. Please restart your process.  clojure.core.typed.init/load-impl (init.clj:22)\n"
  id  "18"
  session  "37f5ce11-4507-4e83-a8a1-25abf639e732"
)

Closing this issue as it is not specific to squiggly

[chadhs]

one option for now is to disable core.typed checking in emacs; see here: #48 (comment)