Dear all,
On Tue, Oct 13, 2020 at 11:49 PM Dambaev Alexander
<ice.redm...@gmail.com> wrote:
> %{^
> #define \
> atstyarr_field_undef(fname) fname[]
> %} // end of [%{]
>
> #define MAXPATHLEN 1024
>
> typedef kld_file_stat = @{ version = int, name = (@[char][MAXPATHLEN])}
And following more complex code is not compilable:
https://github.com/jats-ug/practice-ats/blob/master/array_typedef/main.dats
```ats
#include "share/atspre_define.hats"
#include "share/atspre_staload.hats"
%{^
#define atstyarr_field_undef(fname) fname[]
%} // end of [%{]
#define MAXPATHLEN 1024
typedef kld_file_stat = @{ version = int, name = @[char][MAXPATHLEN],
refs = int }
fun kern_kldstat {l:addr} (pf: !kld_file_stat @ l | p: ptr l): int = 0 where {
val () = !p.name.[0] := 'A'
val () = !p.refs := 1
}
implement main0 () = {
}
```
Best regards,
--
Kiwamu Okabe at METASEPI DESIGN
--
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmJBL%2ByRRzgRUq5dT1qr3wVk6_LBOxj_Op%2B1UNGXSoqEw%40mail.gmail.com.
