diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2008-06-21 09:56:54 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2008-06-21 09:56:54 +0000 |
| commit | a15faa6309adb4b41cc265c2c5a9943b92c3c9b5 (patch) | |
| tree | 19cb3988e31364642a7fee8bdfb87580516d7cdb /devel/sml_tk/files/patch-src-poly.sml | |
| parent | - Update to 0.3.7. (diff) | |
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 <timbob at bigpond.com>
Notes
Notes:
svn path=/head/; revision=215448
Diffstat (limited to 'devel/sml_tk/files/patch-src-poly.sml')
| -rw-r--r-- | devel/sml_tk/files/patch-src-poly.sml | 11 |
1 files changed, 11 insertions, 0 deletions
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 = (); |