dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch

   1 Index: polyml/mlsource/extra/XWindows/ml_bind.ML
   2 ===================================================================
   3 --- polyml/mlsource/extra/XWindows/ml_bind.ML   (revision 1600)
   4 +++ polyml/mlsource/extra/XWindows/ml_bind.ML   (revision 1601)
   5 @@ -2437,7 +2437,7 @@
   6
   7  exception XWindows = XWindows.XWindows;
   8
   9 -let
  10 +local
  11    open XWindows;
  12
  13    fun printRect _ _ (r:XRectangle) =
  14 @@ -2447,6 +2447,6 @@
  15      PolyML.PrettyString ("Rect " ^ PolyML.makestring R)
  16    end;
  17  in
  18 -  PolyML.addPrettyPrinter printRect
  19 +  val () = PolyML.addPrettyPrinter printRect
  20  end;
  21