<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffee" text="#000000">
Vesa Karvonen wrote:
<blockquote cite="mid:E1HTDIN-0003Tr-86@mlton.org" type="cite">
  <pre wrap="">Renamed the plus val of MONADP_CORE to &lt;|&gt; and introduced a fixity
declaration for it (just below of the sequencing monadic operators).
  </pre>
</blockquote>
    Sounds reasonable.<br>
<br>
<blockquote cite="mid:E1HTDIN-0003Tr-86@mlton.org" type="cite">
  <pre wrap="">
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/infixes.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/infixes.sml        2007-03-18 23:59:47 UTC (rev 5448)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/infixes.sml        2007-03-19 08:32:46 UTC (rev 5449)
@@ -70,7 +70,7 @@
 infix  1 !    :=   ! orElse  !       ! &gt;&gt;= &gt;&gt;&amp; !        ! :=: += -=
          !         !         !       ! &gt;&gt;* &gt;&gt;@ !        !
 (* ========================================================================== *)
-infix  0 ! before  !         !       !         !   &amp;`   ! &amp;
+infix  0 ! before  !         !       !   &lt;|&gt;   !   &amp;`   ! &amp;
 (* -------------------------------------------------------------------------- *)
 infixr 0 !         !         !       !         !        ! --&gt;
 (* ************************************************************************** *)
  </pre>
</blockquote>
<br>
    I was just noticing that infixes.sml doesn't seem to be exported in
SML/NJ?  Is this intentional?  I've added it to extensions.cm in my
working copy.<br>
<br>
<br>
<pre class="moz-signature" cols="72">-- 
[Geoff Washburn|<a class="moz-txt-link-abbreviated" href="mailto:geoffw@cis.upenn.edu">geoffw@cis.upenn.edu</a>|<a class="moz-txt-link-freetext" href="http://www.cis.upenn.edu/~geoffw/">http://www.cis.upenn.edu/~geoffw/</a>]
</pre>
</body>
</html>