|
From: Vesa K. <ve...@ml...> - 2006-12-14 22:09:25
|
To allow top-level and infixes to be evaluated in any order. ---------------------------------------------------------------------- U mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml ---------------------------------------------------------------------- Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml =================================================================== --- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml 2006-12-15 00:12:28 UTC (rev 4978) +++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml 2006-12-15 06:09:24 UTC (rev 4979) @@ -45,6 +45,6 @@ (** ==== UnPr ==== *) -val andAlso = UnPr.andAlso +val op andAlso = UnPr.andAlso val negate = UnPr.negate -val orElse = UnPr.orElse +val op orElse = UnPr.orElse |