[CakeML-dev] translating i2w
Michael.Norrish at data61.csiro.au
Michael.Norrish at data61.csiro.au
Thu Dec 1 10:44:26 UTC 2016
I’m breaking the build on my branch because the parser wants to turn word token integers into word64 values. I used the i2w constant to do this, but the translator isn’t happy with word_2comp, which is used in this definition. Is there something obvious I should do to fix this?
Or can I use n2w instead by altering the Word token constructor to take a num instead of an int?
Michael
More information about the Developers
mailing list