Updated to compile with a patched Poly/ML. ---------------------------------------------------------------------- D mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/ ----------------------------------------------------------------------