Currently one has to use a "uK" where K is the number of bits to specify the width of integers and their operations. It would be nice to have some kind of overloading mechanism that automatically figures out the right size for integers and their operations.
For instance in the program we can deduce that 0 and 1 is of size 4, while 10 is of size 32 (the default node size).
type attr = int4 let init u = if u < 10 then 0 else 1
Currently one has to use a "uK" where K is the number of bits to specify the width of integers and their operations. It would be nice to have some kind of overloading mechanism that automatically figures out the right size for integers and their operations. For instance in the program we can deduce that 0 and 1 is of size 4, while 10 is of size 32 (the default node size).
type attr = int4 let init u = if u < 10 then 0 else 1