[MLton-commit] r5546

Vesa Karvonen vesak at mlton.org
Sun May 6 07:46:08 PDT 2007


INT_INF should include INTEGER.

----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/numeric/mk-int-inf-ext.fun

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/numeric/mk-int-inf-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/numeric/mk-int-inf-ext.fun	2007-05-06 12:54:43 UTC (rev 5545)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/numeric/mk-int-inf-ext.fun	2007-05-06 14:46:07 UTC (rev 5546)
@@ -1,13 +1,13 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+(* Copyright (C) 2006-2007 SSH Communications Security, Helsinki, Finland
  *
  * This code is released under the MLton license, a BSD-style license.
  * See the LICENSE file or http://mlton.org/License for details.
  *)
 
-functor MkIntInfExt (I : BASIS_INT_INF) : INT_INF = struct
-   local
-      structure E = MkIntegerExt (I)
-   in
-      open E I
-   end
+functor MkIntInfExt (IntInf : BASIS_INT_INF) : INT_INF = struct
+   structure Integer = MkIntegerExt (IntInf)
+   open Integer
+   open IntInf
+   type bitwise = t
+   type shiftable = t
 end




More information about the MLton-commit mailing list