Currently, one can form a flat record type as follows:
typedef point = @{ xyz= @[double][3] }
This type corresponds a struct in C: struct { double xyz[3] ; }
Unfortunately, support for translating ‘point’ into a C-struct is not yet
available
as of now.
So for now, one can use the following approach to get a version of 'point’
in ATS:
%{^
typedef
struct { double xyz[3] ; } point_t ;
%} // end of [%{^]
typedef point =
$extype_struct “point_t” of { xyz= @[double][3] }
Please follow the link below to see a working example:
Cheers!