If you're at the repl, you should use `cf` to evaluate `defalias` also.
Sorry for the late response.
Thanks,
Ambrose
On Thu, Oct 29, 2015 at 9:23 PM, JvJ <kfjwhee...@gmail.com> wrote:
> 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.
>
--
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.
