extype (witout the dollar sign)

[Yannick Duchêne]

`extype`, without the dollar sign: is it to export a type definition to the target language?

I mean this kind of thing:

        extype "foo" = int

Which seems to be the same as this:

        extern typedef "foo" = int

And which is not the same as this:

        typedef foo = $extype "int"

[Hongwei Xi]

Yes, I think so :)

--
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-users+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/bf25eafc-9597-4517-8eab-6ed11d5d8226%40googlegroups.com.