# Atstyarr

**URL:** <https://discourse.ats-lang.org/t/atstyarr/328>\
**Category:** Google Group\
**Created:** [October 27, 2015, 8:20pm UTC](https://discourse.ats-lang.org/t/atstyarr/328 "2015-10-27T20:20:24Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Raoul\_Duke](https://avatars.discourse-cdn.com/v4/letter/r/bbe5ce/32.png) [@Raoul\_Duke](https://discourse.ats-lang.org/u/Raoul_Duke)\
**Post date:** [October 27, 2015, 8:20pm UTC](https://discourse.ats-lang.org/t/atstyarr/328/1 "2015-10-27T20:20:24Z")

</div>

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

[http://www.talklikeapirate.com/piratehome.html](http://www.talklikeapirate.com/piratehome.html)

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [October 27, 2015, 8:33pm UTC](https://discourse.ats-lang.org/t/atstyarr/328/2 "2015-10-27T20:33:26Z")

</div>

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](mailto: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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](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](https://groups.google.com/d/msgid/ats-lang-users/20151027201819.GA23498%40crud)  
> .