Hi, Trying to port my code from SML/NJ to Poly/ML, I'm stuck with the Word31 structure.
In SML/NJ, Word = Word31 and WORD signature defines operators <<, >> and ~>> like this: val op << : word * Word31.word -> word This means that Word31 is the right operand for this operator, even in word32 and in Word64 structures. My code base is built on this signature (would be hard to change it everywhere; and would no more be OK for SML/NJ). Does someone have a trick to port this to Poly/ML ? Thanks, Gael.
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
