Hi,
Assuming we have a record and its supporting definitions as follows,
abst@ype RT(int) = int
stadef Any = 0
typedef M = @{
rt = {a: int} RT(a)
}
what is the proper way of initialising a value of type M? Doing
val m = @{ rt = RT(Any) } : M
fails with error(2): the dynamic identifier
There is currently really no documentation on using pats_codegen2_util.dats.
Your best bet is probably to study the code in pats_codegen2_fprint.dats
and pats_codegen2_absrec.dats.
On Monday, October 17, 2016 at 10:16:18 PM UTC-4, buzhuyi@... wrote:
>
> Hi all,
>
> How to use