atstyarr

[Barry Schwartz]

Am I right that the atstyarr() macro is emitted under some
circumstances but is not defined anywhere?

[Raoul Duke]

> Am I right that the atstyarr() macro is emitted under some
> circumstances but is not defined anywhere?

http://www.talklikeapirate.com/piratehome.html

[Hongwei Xi]

Yes.

atstyarr_type is generated if you compile an implementation of the following function:

fun foo{n:nat} (n: int(n), A: @[int][n]): void

Note that A is a call-by-value parameter here. There is no type in C that corresponds to

@[int][n] (which n is a static variable).

On Tue, Oct 27, 2015 at 4:18 PM, Barry Schwartz <chemoe...@chemoelectric.org> wrote:

Am I right that the atstyarr() macro is emitted under some
circumstances but is not defined anywhere?

--
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/20151027201819.GA23498%40crud.

[Barry Schwartz]

Raoul Duke <rao...@gmail.com> skribis:

> > Am I right that the atstyarr() macro is emitted under some
> > circumstances but is not defined anywhere?
>
>
> http://www.talklikeapirate.com/piratehome.html

Yarr!!!!

[Barry Schwartz]

Hongwei Xi <gmh...@gmail.com> skribis:

> Yes.
>
> atstyarr_type is generated if you compile an implementation of the
> following function:
>
> fun foo{n:nat} (n: int(n), A: @[int][n]): void
>
> Note that A is a call-by-value parameter here. There is no type in C that
> corresponds to
> @[int][n] (which n is a static variable).

I see.