Yes, I hope to resolve the issue in ATS3. On Wednesday, December 11, 2019 at 5:16:43 AM UTC-5, rodol wrote: > > So I was reading category theory, and it talked about initial object and > the terminal object. In haskell, () is the unit, so it was the first thing > I tried in ATS Postiats. > > val unit = () > implement main0 () = () > > Awesome, that compiles. So I tried putting the unit in a tuple, just for > testing: > > val unit = () > val tuple = (1, unit) > implement main0 () = () > > It doesn't compile, saying > > error: field has incomplete type 'atsvoid_t0ype' (aka 'void') > > I searched a bit here, and found this had been talked about > <https://groups.google.com/d/msg/ats-lang-users/Q9L3WT6P5a0/z3WqiVlIBAAJ>. > > So the question is, since this is a limitation coming from C, will this be > able to change in ATS3 since it will use LLVM? >
-- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/2e6f9798-1299-42e7-bf68-3e899bb69c5e%40googlegroups.com.
