From a15faa6309adb4b41cc265c2c5a9943b92c3c9b5 Mon Sep 17 00:00:00 2001 From: Martin Wilke Date: Sat, 21 Jun 2008 09:56:54 +0000 Subject: sml_tk is a Standard ML package providing a portable, typed and abstract interface to the user interface description and command language Tcl/Tk. It allows the implementation of graphical user interfaces in a structured and reusable way, supported by the powerful module system of Standard ML. WWW: http://www.informatik.uni-bremen.de/~cxl/sml_tk PR: ports/119640 Submitted by: Timothy Bourke --- devel/sml_tk/files/patch-src-poly.sml | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 devel/sml_tk/files/patch-src-poly.sml (limited to 'devel/sml_tk/files/patch-src-poly.sml') diff --git a/devel/sml_tk/files/patch-src-poly.sml b/devel/sml_tk/files/patch-src-poly.sml new file mode 100644 index 000000000000..f4386d928809 --- /dev/null +++ b/devel/sml_tk/files/patch-src-poly.sml @@ -0,0 +1,11 @@ +--- src/poly.sml.orig Sun Jan 13 18:42:52 2008 ++++ src/poly.sml Sun Jan 13 18:42:35 2008 +@@ -20,7 +20,7 @@ + (* from Isabelle --- to be used in Makefiles *) + fun exportML{init:unit->unit, + banner:string, +- imagefile:string} = (PolyML.commit();()) ++ imagefile:string} = (PolyML.SaveState.saveState imagefile) + (* runs only very rudimentarily . . . *) + + fun setPrintDepth x = (); -- cgit v1.2.3