Re: How to use mutual struct?

On Tue, Aug 23, 2016 at 12:22 AM, gmhwxi wrote: > I see. There is a bit of subtlety here. > > If you write 'p0.x := y0', then the type of 'p0' is required to be non > linear. Uuu-n. Complex. But I think I understand it. Thanks, -- Kiwamu Okabe at METASEPI DESIGN -- You

Re: How to use mutual struct?

I see. There is a bit of subtlety here. If you write 'p0.x := y0', then the type of 'p0' is required to be non linear. On Monday, August 22, 2016 at 11:09:24 AM UTC-4, Kiwamu Okabe wrote: > > On Tue, Aug 23, 2016 at 12:00 AM, Hongwei Xi <...> wrote: > > If 'x' is a true field name in p0, then

Re: How to use mutual struct?

If 'x' is a true field name in p0, then you can use p0.x. If 'x' is an overloaded symbol, then you need to use p0.x() (to access) and p0.x(v) (to update). On Mon, Aug 22, 2016 at 10:57 AM, Kiwamu Okabe wrote: > On Mon, Aug 22, 2016 at 10:53 PM, gmhwxi

Re: How to use mutual struct?

The reason is that you used: abst@ype struct_foo Instead, you need the following line: abst@ype struct_foo = $extype"struct foo" The compiler needs to know the size of struct_foo during compilation. On Monday, August 22, 2016 at 6:44:08 AM UTC-4, Kiwamu Okabe wrote: > > Also I have another

Re: How to use mutual struct?

Also I have another question. I split template_struct/main.dats file into following three files: https://github.com/jats-ug/practice-ats/blob/ac1e4fd22035e643d5211891c16564dda6ff5fcc/template_struct/gen.sats