Reposting from the core.typed google group. Didn't get a response. I'm just starting with core.typed, and I can't seem to get it to work properly in the REPL.
I start by defining an alias (Fhtagn), but when I later try to type-check it, the name "Fhtagn" is unresolved. Am I using it wrong, or is this just a consequence of using the REPL? guymover.game-server> (t/defalias Fhtagn (t/HMap :mandatory {:a t/Int :b t/ Str})) nil guymover.game-server> (t/cf {:a 1 :b ""} Fhtagn) Type Error (C:\Users\Kaylen\AppData\Local\Temp\form-init7559705448676355576. clj) Internal Error (:<NO LINE>) Cannot resolve name guymover.game-server/ Fhtagn Error -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.