[CakeML] translator

[Michael Norrish]

That's not fixed, and won't be until the parser gets access to arity information for constructors or if we adopt your idea of treating all constructor applications as function calls that resolve to primitives somehow.  I don't know if the second approach also works for patterns.  I'm happy to thread arity information through the parser but the toplevel state will have to pick it up and allow for the parser to change it.

Michael

> On 15 Aug 2015, at 18:59, Scott Owens <S.A.Owens at kent.ac.uk> wrote:
>
> I think that was fixed on the master branch, but we can’t generate a new executable as the master branch has some problems right now (possibly related to HOL updates).
>
> -Scott
>
>> On 2015/08/15, at 01:19, Konrad Slind <konrad.slind at gmail.com> wrote:
>>
>> Example of Problem 2:
>>
>> SOME(1,2)  and
>> SOME((1,2))
>
> _______________________________________________
> Users mailing list
> Users at cakeml.org
> https://lists.cakeml.org/listinfo/users

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.