`showtype` vs `$showtype`

[Yannick Duchêne]

Is there any differences between `showtype` and `$showtype`? (seems there is no) Is one to be preferred over the other? I feel to guess `$showtype` is to be preferred.

If both exist, is this because `$showtype` was added in case `showtype` is overloaded?

Is it the same with all others `$xyz`?

[Hongwei Xi]

See the end of the file:

https://github.com/githwxi/ATS-Postiats/blob/master/prelude/macrodef.sats

showtype is a macro defined to be $showtype. There are also showview and showvtype.

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/ff3fadfc-d404-4764-9e1e-e9ac730b6308%40googlegroups.com.