Re: How to use mutual struct?

2016-08-30 Thread gmhwxi
I thinks it all depends... What kind of records do you have in mind? On Tuesday, August 30, 2016 at 7:37:38 AM UTC-4, Kiwamu Okabe wrote: > > On Tue, Aug 30, 2016 at 8:18 PM, Kiwamu Okabe <...> wrote: > > By the way, the "aPtr1 style" code is more large than "at-view style" > code: > > > >

Re: How to use mutual struct?

2016-08-30 Thread Kiwamu Okabe
On Tue, Aug 30, 2016 at 8:18 PM, Kiwamu Okabe wrote: > By the way, the "aPtr1 style" code is more large than "at-view style" code: > > $ wc -l mutual_struct{2,3}/main.dats > 44 mutual_struct2/main.dats > 53 mutual_struct3/main.dats Ah, "at-view style" code grows more

Re: How to use mutual struct?

2016-08-30 Thread Kiwamu Okabe
On Sun, Aug 28, 2016 at 3:18 AM, gmhwxi wrote: > I also tried a style involving linear pointers: > > https://github.com/githwxi/ATS-Postiats-test/blob/master/contrib/hwxi/TEST30/struct1.dats Thanks a lot! It seems good balance between safe and unsafe for me. However, where is