Hi Kiwamu, As I see it, compiling C into ATS is very meaningful but also very challenging. At this point, it is still unclear to me what your primary objective is for compiling C into ATS. It would definitely help if you could present some (potential) use cases.
On Saturday, August 20, 2016 at 8:07:37 PM UTC-4, Kiwamu Okabe wrote: > > Hi Hongwei, > > On Sun, Aug 21, 2016 at 8:16 AM, Kiwamu Okabe <...> wrote: > > The dataview can be used at interface between C and ATS? > > Or we need cast the dataview into vtypedef at the interface? > > Ah, dataview is algebraic data type. I think it doesn't match C > language struct... > > Totally, I should use following policy to translate C interface into > ATS sats file? > > * Define it as typedef $extype_struct > * Simply map primitive type > * Map array to @[TYPE][SIZE] > * Map any pointer to ptr > * Use mutual struct with casting ptr member of the struct > > I'm happy, if getting your comment. > > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/303601dc-fbd4-4b88-9481-3afdc4a8a101%40googlegroups.com.
