Poly/ML January 2015

polyml@lists.polyml.org

5 participants
10 discussions

linking polyML modules to C
by dtopham＠gmail.com 09 Nov '18

09 Nov '18

After more experimenting with GUI in SML, I would like to now try calling an SML module from a C program. That way, the GUI could be built using traditional imperative techniques and the program logic could be written in SML. I see how to call a C function from SML, but and not so clear on how to call an SML function from a C program. I want to build code using polyc and then link with a C main program, but could anyone show me a simple example of calling that function and getting its return value? for example, I have defined: fun sum i n f = if i > n then 0.0 else f i + sum (i+1) n f ; fun int2real x = real x ; in linkToC.sml and #include <iostream> #include <fstream> std::ofstream ofs; int main() { std::cout << sum(1,10,int2real) << std::endl; ofs.open("table.dat"); for(int i = 0; i < 20; i++) ofs << i << '\t' << sum(1,i,int2real) << std::endl; } in linkToC.cpp Looking in the polyc script, I thought adding the -c option might allow me to build the object code which I could then link to the sml functions, but it complains about not having a main. Could someone point me in the right direction? Thanks, Dave On Mon, Dec 15, 2014 at 11:44 AM, David Topham <dtopham at gmail.com> wrote: > David, Thank you so much! I really appreciate your help with this. Your > sample below builds fine with polyc on my system (PolyML 5.5.2). I am using > a minimal Linux distribution named TinyCore ( > http://distro.ibiblio.org/tinycorelinux/) which comes with OpenMotif > 2.3.3 It runs in a virtual machine within another computer only taking up > a few hundred MBs! > > I am going to use it to help my students explore Discrete Math next > semester (this textbook uses SML for that purpose: > http://cs.wheaton.edu/~tvandrun/dmfp/). > > I also found a reasonably current project using PolyML and Motif here: > http://www.lemma-one.com/ProofPower/index/ > > ...however it was built on PolyML 4 and has not yet been ported to the > newer version (e.g. depends on PolyML.commit which no longer seems to be > supported). > > Happy Holidays to everyone in the PolyML community! > > -David Topham > > >> Re: GUI Interface (David Matthews) >> >> I've experimented with building a stand-alone executable with Motif and >> succeeded in getting it to work for me using polyc. (It required >> building Poly/ML with --with-x). I took the example from >> http://www.polyml.org/docs/Motif.html and wrapped it up in a function. >> I did find a problem, though. It looks as though the function has to >> suspend itself with something like Posix.Process.pause otherwise nothing >> happens. I seem to recall that the Motif stuff is handled on a separate >> thread to allow the REPL to continue to accept commands. With a >> stand-alone application there isn't a REPL so without the "pause" it >> terminates immediately. >> >> David >> >> open XWindows ; >> open Motif ; >> >> fun main() = >> let >> val shell = >> XtAppInitialise "" "xed" "Editor" [] [XmNwidth 400, XmNheight 400] ; >> >> val main = XmCreateMainWindow shell "main" [] ; >> >> val bar = XmCreateMenuBar main "bar" [] ; >> >> val fileMenu = XmCreateCascadeButton bar "file" [XmNlabelString "File"] ; >> val editMenu = XmCreateCascadeButton bar "edit" [XmNlabelString "Edit"] ; >> val viewMenu = XmCreateCascadeButton bar "view" [XmNlabelString "View"] ; >> val helpMenu = XmCreateCascadeButton bar "help" [XmNlabelString "Help"] ; >> >> val command = XmCreateText main "command" [XmNeditMode >> XmSINGLE_LINE_EDIT] ; >> >> val hscroll = XmCreateScrollBar main "hscroll" [XmNorientation >> XmHORIZONTAL] ; >> val vscroll = XmCreateScrollBar main "vscroll" [XmNorientation >> XmVERTICAL] ; >> >> val work = XmCreateDrawingArea main "work" [] ; >> in >> >> XtManageChildren [fileMenu, editMenu, viewMenu, helpMenu] ; >> XtManageChildren [bar, command, hscroll, vscroll, work] ; >> >> XmMainWindowSetAreas main bar command hscroll vscroll work ; >> >> XtManageChild main ; >> XtRealizeWidget shell; >> Posix.Process.pause() >> end; >> >> >> ------------------------------ >> >> _______________________________________________ >> polyml mailing list >> polyml at inf.ed.ac.uk >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> >> End of polyml Digest, Vol 110, Issue 12 >> *************************************** >> >> -- >> The University of Edinburgh is a charitable body, registered in >> Scotland, with registration number SC005336. >> >>

2 3

Inspecting structures
by ramana.kumar＠gmail.com 27 Jan '16

27 Jan '16

Is there a way to look at the contents (i.e. signature) of a structure without opening it? (I suppose you could just open it then call a lot of PolyML.Compiler.forgetXXX, but that's quite tedious) Also, is it possible to retrieve the long path of an identifier in scope? Something that will, for example, take the rev in scope and say that it came from List. Finally, what about searching for an identifier that would come into scope if you opened some structures?

3 5

polyc and poly --script
by rene.neumann＠in.tum.de 24 Mar '15

24 Mar '15

Hi, two completely orthogonal questions/remarks for PolyML 5.5.1: 1.) When building PolyML with '--with-system-libffi' the '-lffi' part is missing in the linker line in polyc. 2.) Is it somehow possible to see if an ML file is run via 'poly --script' or as a standalone executable? Because for the one the logic has to be wrapped in 'fun main ()', and for the other it should not :). (Ie, what I want: if is_script then main() else () ) Thanks, Ren? -- Ren? Neumann Institut f?r Informatik (I7) Technische Universit?t M?nchen Boltzmannstr. 3 85748 Garching b. M?nchen Tel: +49-89-289-17232 Office: MI 03.11.055

4 9

emacs SML mode
by dm＠prolingua.co.uk 20 Mar '15

20 Mar '15

Peter, I'm copying this to the Poly/ML list as you suggested. It would be nice to have SML emacs mode working with Poly/ML for those who would like to use it but my feeling is that it is rather old-fashioned. Poly/ML now supports a much more extensive interface designed for an IDE. The best example of this is Isabelle's ML mode. See http://sketis.net/2014/isabellepide-as-ide-for-standard-ml which has a nice screen-shot. Lucas Dixon and I both had a go at producing IDEs which were completely independent of Isabelle but we didn't get as far as Makarius has. It all works by having the Poly/ML compiler as a function which takes a large set of parameters most of which have simple defaults. All the interaction with the compiler is through ML functions. The default REPL just calls the compiler with streams connected to the console but it's very easy for a user to replace the REPL with something else. The Isabelle IDE is just using the Poly/ML compiler function but passing in parameters which capture error messages and also allow browsing of the parse-tree to get information about the types. So far the debugger hasn't been fully integrated with this but it's something I have in mind. The format that the default REPL uses for error messages was one that was used by various compilers at one time and it used to be possible to parse it automatically. If there's a more up-to-date format I'm happy to change to it. I don't know if anyone is parsing the current format automatically and would be inconvenienced by a change. David On 03/12/2014 03:26, Peter Gammie wrote: > Dave, > > I?ve been talking to Stefan about the SML mode for emacs that he > maintains. I?m hoping to use it with Poly/ML and it is starting to > come together. > > Stefan observed that it would be super-helpful if Poly/ML generated > errors in a standard format, such as e.g. the one that GCC or clang > use, as far as that makes sense. > > Would you be open to that? I could try to crank out some patches to > Poly/ML if so. > > BTW I am wondering how people interact with Poly/ML?s repl. With more > hacking it is likely to be somewhat emacs-friendly, but I?m still > struggling to understand how people have done it in the past. > > For instance, I presently more-or-less just load all modules into > poly with a series of ?use?s in dependency order. Now I?d like to use > the debugger and it seems I have to hack all this scaffolding to do > so. From the looks of it Isabelle does the same. > > Feel free to reply via the Poly/ML list if you prefer. > > Thanks for the awesome system. I hope I can make some use of the > concurrency! > > thanks, peter >

9 17

linking polyML modules to C
by dtopham＠gmail.com 25 Jan '15

25 Jan '15

I wanted to follow through on this to expand the GUI to receive input, so this is the result (here and attached). The tgz file has the sml and script to build them as well. -Dave #include <stdio.h> #include <Xm/Xm.h> #include <Xm/RowColumn.h> #include <Xm/Label.h> #include <Xm/TextF.h> #include <Xm/PushB.h> #include <stdlib.h> #include <ctype.h> double (*sml_hypot) (double x, double y); static void EnterCallback ( Widget w, XtPointer clientData, XtPointer callData); Widget sideA, sideB, sideC; void c_main (void) { Widget shell, rowcol, button; XtAppContext app; int argc = 1; char* argv[] = {"PolyML GUI" }; shell = XtAppInitialize ( &app, "Memo", NULL, 0, &argc, argv, NULL, NULL, 0 ); rowcol = XtCreateManagedWidget ("rowcol", xmRowColumnWidgetClass, shell, NULL, 0); XmString xmstr; xmstr = XmStringCreateLtoR ( "Right Triangle", XmFONTLIST_DEFAULT_TAG ); XtVaCreateManagedWidget ( "message", xmLabelWidgetClass, rowcol, XmNlabelString, xmstr, NULL ); XmStringFree ( xmstr ); sideA = XmCreateTextField ( rowcol, "input", NULL, 0 ); XtManageChild ( sideA ); sideB = XmCreateTextField ( rowcol, "input", NULL, 0 ); XtManageChild ( sideB ); button = XtCreateManagedWidget("Calculate Hypontenuse", xmPushButtonWidgetClass, rowcol, NULL, 0 ); XtAddCallback ( button, XmNactivateCallback, EnterCallback, NULL); sideC = XmCreateTextField ( rowcol, "input", NULL, 0 ); XtManageChild ( sideC ); XtRealizeWidget ( shell ); XtAppMainLoop ( app ); return; } static void EnterCallback ( Widget w, XtPointer clientData, XtPointer callData ) { double a, b; printf ( "text entered = %s\n", XmTextFieldGetString ( sideA ) ); printf ( "text entered = %s\n", XmTextFieldGetString ( sideB ) ); a = atof(XmTextFieldGetString ( sideA )); b = atof(XmTextFieldGetString ( sideB )); double c; c = sml_hypot (a, b); /* call back to SML! */ printf("c = %.6f\n", c); char msg[256]; sprintf(msg,"%.1f", c); XmTextFieldSetString(sideC,msg); } On Thu, Jan 22, 2015 at 10:40 AM, David Topham <dtopham at gmail.com> wrote: > > > On Thu, Jan 22, 2015 at 10:36 AM, David Topham <dtopham at gmail.com> wrote: > >> Wonderful! Thank you so much for posting that Phil! >> >> I was not able to build the code using the Makefile because my system >> does not have libpolyml.so; >> however, the commands within the Makefile did work, so perhaps that file >> is not needed? >> I put them within the attached tgz file in a shell script. >> Here are the commands in that file: >> >> gcc -fPIC -g -Wall -c testlib.c -o testlib.o >> gcc -shared -Wl,-soname,testlib.so.1 -o testlib.so.1 testlib.o >> polyc call_c_test_10.sml >> LD_LIBRARY_PATH=. ./a.out >> >> and this runs successfully displaying the output in an X Window! >> >> I think this is a viable approach to integrating PolyML with a GUI or at >> least graphics output but of course will require lots of experimenting...I >> wish I had tons of time, but will only be able to try things >> once-in-a-while now that a new semester has begun. >> >> Here is the modified C program that invokes the Motif window: >> (but it is also in the attached tgz file if you want to try it) >> >> #include <stdio.h> >> #include <Xm/Xm.h> >> #include <Xm/Label.h> >> #include <stdlib.h> >> >> double (*sml_hypot) (double x, double y); >> >> void c_main (void) >> { >> double a, b, c; >> >> a = 3.0; >> b = 4.0; >> printf("a = %.6f\n", a); >> printf("b = %.6f\n", b); >> >> c = sml_hypot (a, b); /* call back to SML! */ >> >> printf("c = %.6f\n", c); >> fflush(stdout); >> >> char msg[256]; >> sprintf(msg,"c = %.6f\n", c); >> Widget shell; >> XtAppContext app; >> XmString xmstr; >> int argc = 1; >> char* argv[] = {"polygui" }; >> shell = XtAppInitialize ( &app, "Memo", NULL, 0, >> &argc, argv, NULL, NULL, 0 ); >> >> xmstr = XmStringCreateLtoR ( msg, XmFONTLIST_DEFAULT_TAG ); >> XtVaCreateManagedWidget ( "message", >> xmLabelWidgetClass, shell, >> XmNlabelString, xmstr, >> NULL ); >> XmStringFree ( xmstr ); >> XtRealizeWidget ( shell ); >> XtAppMainLoop ( app ); >> >> return; >> } >> >> >> >> >> >> >> >> >> >> >> On Thu, Jan 22, 2015 at 4:00 AM, <polyml-request at inf.ed.ac.uk> wrote: >> >>> Send polyml mailing list submissions to >>> polyml at inf.ed.ac.uk >>> >>> To subscribe or unsubscribe via the World Wide Web, visit >>> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >>> or, via email, send a message with subject or body 'help' to >>> polyml-request at inf.ed.ac.uk >>> >>> You can reach the person managing the list at >>> polyml-owner at inf.ed.ac.uk >>> >>> When replying, please edit your Subject line so it is more specific >>> than "Re: Contents of polyml digest..." >>> >>> >>> Today's Topics: >>> >>> 1. Re: linking polyML modules to C (Phil Clayton) >>> >>> >>> ---------------------------------------------------------------------- >>> >>> Message: 1 >>> Date: Wed, 21 Jan 2015 20:20:06 +0000 >>> From: Phil Clayton <phil.clayton at veonix.com> >>> To: polyml at inf.ed.ac.uk >>> Subject: Re: [polyml] linking polyML modules to C >>> Message-ID: <54C009F6.1050209 at veonix.com> >>> Content-Type: text/plain; charset="iso-8859-1"; Format="flowed" >>> >>> 19/01/15 12:19, David Matthews wrote: >>> > On 19/01/2015 04:34, David Topham wrote: >>> >> Thanks David for your response. >>> >> >>> >> While searching I found this comment you made earlier: >>> >> >>> >> "The foreign-function interface allows for call-back functions so >>> >> there is >>> >> the mechanism to produce a C function that when called calls an ML >>> >> function." >>> >> >>> >> in >>> >> >>> http://stackoverflow.com/questions/17580386/shared-libraries-in-poly-ml >>> >> >>> >> Doesn't this indicate a mechanism that allows an SML function to be >>> >> called >>> >> from C? >>> > >>> > Yes, but the "main program" still has to be in ML. You can call C >>> > library functions and pass an ML function as an argument. >>> >>> Or the ML functions can be passed via global variables that are >>> initialized from the ML side - see attached example. That may be easier >>> if there are a large number of ML functions. >>> >>> >>> > Actually, I did wonder whether this could be used as a way of exporting >>> > ML functions to create a library that could be called from a C main >>> > program and came to the conclusion that it was going to be too >>> > complicated. Poly/ML uses libffi to interface with C. libffi can >>> build >>> > closures that wrap around ML functions so that these can be passed into >>> > C. The format of the closure it constructs differs markedly depending >>> > on the particular architecture since different architectures have >>> > different calling conventions for C. The closure is a data structure >>> > with pointers in it. Exporting it would require turning the pointers >>> > into relocations that the linker/loader will understand. libffi simply >>> > doesn't provide that information. It's there by implication in the >>> > source code but not explicitly. >>> > >>> > David >>> > _______________________________________________ >>> > polyml mailing list >>> > polyml at inf.ed.ac.uk >>> > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >>> > >>> >>>

1 0

linking polyML modules to C (Phil Clayton)
by dtopham＠gmail.com 22 Jan '15

22 Jan '15

On Thu, Jan 22, 2015 at 10:36 AM, David Topham <dtopham at gmail.com> wrote: > Wonderful! Thank you so much for posting that Phil! > > I was not able to build the code using the Makefile because my system does > not have libpolyml.so; > however, the commands within the Makefile did work, so perhaps that file > is not needed? > I put them within the attached tgz file in a shell script. > Here are the commands in that file: > > gcc -fPIC -g -Wall -c testlib.c -o testlib.o > gcc -shared -Wl,-soname,testlib.so.1 -o testlib.so.1 testlib.o > polyc call_c_test_10.sml > LD_LIBRARY_PATH=. ./a.out > > and this runs successfully displaying the output in an X Window! > > I think this is a viable approach to integrating PolyML with a GUI or at > least graphics output but of course will require lots of experimenting...I > wish I had tons of time, but will only be able to try things > once-in-a-while now that a new semester has begun. > > Here is the modified C program that invokes the Motif window: > (but it is also in the attached tgz file if you want to try it) > > #include <stdio.h> > #include <Xm/Xm.h> > #include <Xm/Label.h> > #include <stdlib.h> > > double (*sml_hypot) (double x, double y); > > void c_main (void) > { > double a, b, c; > > a = 3.0; > b = 4.0; > printf("a = %.6f\n", a); > printf("b = %.6f\n", b); > > c = sml_hypot (a, b); /* call back to SML! */ > > printf("c = %.6f\n", c); > fflush(stdout); > > char msg[256]; > sprintf(msg,"c = %.6f\n", c); > Widget shell; > XtAppContext app; > XmString xmstr; > int argc = 1; > char* argv[] = {"polygui" }; > shell = XtAppInitialize ( &app, "Memo", NULL, 0, > &argc, argv, NULL, NULL, 0 ); > > xmstr = XmStringCreateLtoR ( msg, XmFONTLIST_DEFAULT_TAG ); > XtVaCreateManagedWidget ( "message", > xmLabelWidgetClass, shell, > XmNlabelString, xmstr, > NULL ); > XmStringFree ( xmstr ); > XtRealizeWidget ( shell ); > XtAppMainLoop ( app ); > > return; > } > > > > > > > > > > > On Thu, Jan 22, 2015 at 4:00 AM, <polyml-request at inf.ed.ac.uk> wrote: > >> Send polyml mailing list submissions to >> polyml at inf.ed.ac.uk >> >> To subscribe or unsubscribe via the World Wide Web, visit >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> or, via email, send a message with subject or body 'help' to >> polyml-request at inf.ed.ac.uk >> >> You can reach the person managing the list at >> polyml-owner at inf.ed.ac.uk >> >> When replying, please edit your Subject line so it is more specific >> than "Re: Contents of polyml digest..." >> >> >> Today's Topics: >> >> 1. Re: linking polyML modules to C (Phil Clayton) >> >> >> ---------------------------------------------------------------------- >> >> Message: 1 >> Date: Wed, 21 Jan 2015 20:20:06 +0000 >> From: Phil Clayton <phil.clayton at veonix.com> >> To: polyml at inf.ed.ac.uk >> Subject: Re: [polyml] linking polyML modules to C >> Message-ID: <54C009F6.1050209 at veonix.com> >> Content-Type: text/plain; charset="iso-8859-1"; Format="flowed" >> >> 19/01/15 12:19, David Matthews wrote: >> > On 19/01/2015 04:34, David Topham wrote: >> >> Thanks David for your response. >> >> >> >> While searching I found this comment you made earlier: >> >> >> >> "The foreign-function interface allows for call-back functions so >> >> there is >> >> the mechanism to produce a C function that when called calls an ML >> >> function." >> >> >> >> in >> >> >> http://stackoverflow.com/questions/17580386/shared-libraries-in-poly-ml >> >> >> >> Doesn't this indicate a mechanism that allows an SML function to be >> >> called >> >> from C? >> > >> > Yes, but the "main program" still has to be in ML. You can call C >> > library functions and pass an ML function as an argument. >> >> Or the ML functions can be passed via global variables that are >> initialized from the ML side - see attached example. That may be easier >> if there are a large number of ML functions. >> >> >> > Actually, I did wonder whether this could be used as a way of exporting >> > ML functions to create a library that could be called from a C main >> > program and came to the conclusion that it was going to be too >> > complicated. Poly/ML uses libffi to interface with C. libffi can build >> > closures that wrap around ML functions so that these can be passed into >> > C. The format of the closure it constructs differs markedly depending >> > on the particular architecture since different architectures have >> > different calling conventions for C. The closure is a data structure >> > with pointers in it. Exporting it would require turning the pointers >> > into relocations that the linker/loader will understand. libffi simply >> > doesn't provide that information. It's there by implication in the >> > source code but not explicitly. >> > >> > David >> > _______________________________________________ >> > polyml mailing list >> > polyml at inf.ed.ac.uk >> > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> > >> >>

1 0

polyml Digest, Vol 111, Issue 7
by dtopham＠gmail.com 22 Jan '15

22 Jan '15

Wonderful! Thank you so much for posting that Phil! I was not able to build the code using the Makefile because my system does not have libpolyml.so; however, the commands within the Makefile did work, so perhaps that file is not needed? I put them within the attached tgz file in a shell script. Here are the commands in that file: gcc -fPIC -g -Wall -c testlib.c -o testlib.o gcc -shared -Wl,-soname,testlib.so.1 -o testlib.so.1 testlib.o polyc call_c_test_10.sml LD_LIBRARY_PATH=. ./a.out and this runs successfully displaying the output in an X Window! I think this is a viable approach to integrating PolyML with a GUI or at least graphics output but of course will require lots of experimenting...I wish I had tons of time, but will only be able to try things once-in-a-while now that a new semester has begun. Here is the modified C program that invokes the Motif window: (but it is also in the attached tgz file if you want to try it) #include <stdio.h> #include <Xm/Xm.h> #include <Xm/Label.h> #include <stdlib.h> double (*sml_hypot) (double x, double y); void c_main (void) { double a, b, c; a = 3.0; b = 4.0; printf("a = %.6f\n", a); printf("b = %.6f\n", b); c = sml_hypot (a, b); /* call back to SML! */ printf("c = %.6f\n", c); fflush(stdout); char msg[256]; sprintf(msg,"c = %.6f\n", c); Widget shell; XtAppContext app; XmString xmstr; int argc = 1; char* argv[] = {"polygui" }; shell = XtAppInitialize ( &app, "Memo", NULL, 0, &argc, argv, NULL, NULL, 0 ); xmstr = XmStringCreateLtoR ( msg, XmFONTLIST_DEFAULT_TAG ); XtVaCreateManagedWidget ( "message", xmLabelWidgetClass, shell, XmNlabelString, xmstr, NULL ); XmStringFree ( xmstr ); XtRealizeWidget ( shell ); XtAppMainLoop ( app ); return; } On Thu, Jan 22, 2015 at 4:00 AM, <polyml-request at inf.ed.ac.uk> wrote: > Send polyml mailing list submissions to > polyml at inf.ed.ac.uk > > To subscribe or unsubscribe via the World Wide Web, visit > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > or, via email, send a message with subject or body 'help' to > polyml-request at inf.ed.ac.uk > > You can reach the person managing the list at > polyml-owner at inf.ed.ac.uk > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of polyml digest..." > > > Today's Topics: > > 1. Re: linking polyML modules to C (Phil Clayton) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Wed, 21 Jan 2015 20:20:06 +0000 > From: Phil Clayton <phil.clayton at veonix.com> > To: polyml at inf.ed.ac.uk > Subject: Re: [polyml] linking polyML modules to C > Message-ID: <54C009F6.1050209 at veonix.com> > Content-Type: text/plain; charset="iso-8859-1"; Format="flowed" > > 19/01/15 12:19, David Matthews wrote: > > On 19/01/2015 04:34, David Topham wrote: > >> Thanks David for your response. > >> > >> While searching I found this comment you made earlier: > >> > >> "The foreign-function interface allows for call-back functions so > >> there is > >> the mechanism to produce a C function that when called calls an ML > >> function." > >> > >> in > >> http://stackoverflow.com/questions/17580386/shared-libraries-in-poly-ml > >> > >> Doesn't this indicate a mechanism that allows an SML function to be > >> called > >> from C? > > > > Yes, but the "main program" still has to be in ML. You can call C > > library functions and pass an ML function as an argument. > > Or the ML functions can be passed via global variables that are > initialized from the ML side - see attached example. That may be easier > if there are a large number of ML functions. > > > > Actually, I did wonder whether this could be used as a way of exporting > > ML functions to create a library that could be called from a C main > > program and came to the conclusion that it was going to be too > > complicated. Poly/ML uses libffi to interface with C. libffi can build > > closures that wrap around ML functions so that these can be passed into > > C. The format of the closure it constructs differs markedly depending > > on the particular architecture since different architectures have > > different calling conventions for C. The closure is a data structure > > with pointers in it. Exporting it would require turning the pointers > > into relocations that the linker/loader will understand. libffi simply > > doesn't provide that information. It's there by implication in the > > source code but not explicitly. > > > > David > > _______________________________________________ > > polyml mailing list > > polyml at inf.ed.ac.uk > > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > > > >

1 0

linking polyML modules to C
by dtopham＠gmail.com 21 Jan '15

21 Jan '15

Thanks David for your response. While searching I found this comment you made earlier: "The foreign-function interface allows for call-back functions so there is the mechanism to produce a C function that when called calls an ML function." in http://stackoverflow.com/questions/17580386/shared-libraries-in-poly-ml Doesn't this indicate a mechanism that allows an SML function to be called from C? I accept your answer though, and wonder then if continuing exploration of toolkit wrappers such as the Motif interface is the best bet for adding a GUI to ML? I wonder how projects such as Isabelle and ProofPower integrate a GUI? If anyone has suggestions I would appreciate it. My goal is not an elaborate interface--just simple I/O with labels, images, buttons, and text input to explore functional approaches. -Dave On Fri, Jan 16, 2015 at 4:00 AM, <polyml-request at inf.ed.ac.uk> wrote: > Send polyml mailing list submissions to > polyml at inf.ed.ac.uk > > To subscribe or unsubscribe via the World Wide Web, visit > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > or, via email, send a message with subject or body 'help' to > polyml-request at inf.ed.ac.uk > > You can reach the person managing the list at > polyml-owner at inf.ed.ac.uk > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of polyml digest..." > > > Today's Topics: > > 1. linking polyML modules to C (David Topham) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 15 Jan 2015 15:54:01 -0800 > From: David Topham <dtopham at gmail.com> > To: polyml at inf.ed.ac.uk > Subject: [polyml] linking polyML modules to C > Message-ID: > < > CAD034BGnBz3tXwiVUAHVsoyvcBVg1K125jwcz4J86optWyA6pw at mail.gmail.com> > Content-Type: text/plain; charset="utf-8" > > After more experimenting with GUI in SML, I would like to now try calling > an SML module from a C program. That way, the GUI could be built using > traditional imperative techniques and the program logic could be written in > SML. I see how to call a C function from SML, but and not so clear on how > to call an SML function from a C program. I want to build code using polyc > and then link with a C main program, but could anyone show me a simple > example of calling that function and getting its return value? for > example, I have defined: > > fun sum i n f = if i > n > then 0.0 > else f i + sum (i+1) n f ; > fun int2real x = real x ; > > in linkToC.sml > > and > > #include <iostream> > #include <fstream> > std::ofstream ofs; > int main() > { > std::cout << sum(1,10,int2real) << std::endl; > ofs.open("table.dat"); > for(int i = 0; i < 20; i++) > ofs << i << '\t' << sum(1,i,int2real) << std::endl; > } > > in linkToC.cpp > > Looking in the polyc script, I thought adding the -c option might allow me > to build > the object code which I could then link to the sml functions, but it > complains about > not having a main. > > Could someone point me in the right direction? Thanks, Dave > > > On Mon, Dec 15, 2014 at 11:44 AM, David Topham <dtopham at gmail.com> wrote: > > > David, Thank you so much! I really appreciate your help with this. Your > > sample below builds fine with polyc on my system (PolyML 5.5.2). I am > using > > a minimal Linux distribution named TinyCore ( > > http://distro.ibiblio.org/tinycorelinux/) which comes with OpenMotif > > 2.3.3 It runs in a virtual machine within another computer only taking > up > > a few hundred MBs! > > > > I am going to use it to help my students explore Discrete Math next > > semester (this textbook uses SML for that purpose: > > http://cs.wheaton.edu/~tvandrun/dmfp/). > > > > I also found a reasonably current project using PolyML and Motif here: > > http://www.lemma-one.com/ProofPower/index/ > > > > ...however it was built on PolyML 4 and has not yet been ported to the > > newer version (e.g. depends on PolyML.commit which no longer seems to be > > supported). > > > > Happy Holidays to everyone in the PolyML community! > > > > -David Topham > > > > > >> Re: GUI Interface (David Matthews) > >> > >> I've experimented with building a stand-alone executable with Motif and > >> succeeded in getting it to work for me using polyc. (It required > >> building Poly/ML with --with-x). I took the example from > >> http://www.polyml.org/docs/Motif.html and wrapped it up in a function. > >> I did find a problem, though. It looks as though the function has to > >> suspend itself with something like Posix.Process.pause otherwise nothing > >> happens. I seem to recall that the Motif stuff is handled on a separate > >> thread to allow the REPL to continue to accept commands. With a > >> stand-alone application there isn't a REPL so without the "pause" it > >> terminates immediately. > >> > >> David > >> > >> open XWindows ; > >> open Motif ; > >> > >> fun main() = > >> let > >> val shell = > >> XtAppInitialise "" "xed" "Editor" [] [XmNwidth 400, XmNheight 400] > ; > >> > >> val main = XmCreateMainWindow shell "main" [] ; > >> > >> val bar = XmCreateMenuBar main "bar" [] ; > >> > >> val fileMenu = XmCreateCascadeButton bar "file" [XmNlabelString "File"] > ; > >> val editMenu = XmCreateCascadeButton bar "edit" [XmNlabelString "Edit"] > ; > >> val viewMenu = XmCreateCascadeButton bar "view" [XmNlabelString "View"] > ; > >> val helpMenu = XmCreateCascadeButton bar "help" [XmNlabelString "Help"] > ; > >> > >> val command = XmCreateText main "command" [XmNeditMode > >> XmSINGLE_LINE_EDIT] ; > >> > >> val hscroll = XmCreateScrollBar main "hscroll" [XmNorientation > >> XmHORIZONTAL] ; > >> val vscroll = XmCreateScrollBar main "vscroll" [XmNorientation > >> XmVERTICAL] ; > >> > >> val work = XmCreateDrawingArea main "work" [] ; > >> in > >> > >> XtManageChildren [fileMenu, editMenu, viewMenu, helpMenu] ; > >> XtManageChildren [bar, command, hscroll, vscroll, work] ; > >> > >> XmMainWindowSetAreas main bar command hscroll vscroll work ; > >> > >> XtManageChild main ; > >> XtRealizeWidget shell; > >> Posix.Process.pause() > >> end; > >> > >> > >> ------------------------------ > >> > >> _______________________________________________ > >> polyml mailing list > >> polyml at inf.ed.ac.uk > >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > >> > >> End of polyml Digest, Vol 110, Issue 12 > >> *************************************** > >> > >> -- > >> The University of Edinburgh is a charitable body, registered in > >> Scotland, with registration number SC005336. > >> > >> >

4 3

PolyML (or just SML) sample code?
by dtopham＠gmail.com 15 Jan '15

15 Jan '15

As part of my SML education, I want to look at sample code...I do have several good books already and that certainly helps, but what about some specific coding ideas people have explored? I noticed there is a website: http://rosettacode.org/wiki/Category:Standard_ML_Implementations that does good comparisons between languages of certain tasks, but don't see PolyML there. Are there other central places where people upload/share SML code? -Dave

2 1

Problem with Real.toLargeInt
by doug＠dougtelford.com 11 Jan '15

11 Jan '15

Hello, I am using Poly/ML 5.5.2 Release ? ?RTS version: X86_64-5.5.1 on Ubuntu 14.04 The following program (test2.sml) demonstrates a problem with Real.toLargeInt fun test1 (r:real) =?? Real.toLargeInt IEEEReal.TO_NEAREST r; fun test2 (r:real) =?? Real.toLargeInt IEEEReal.TO_ZERO r; print "test1: arg = 2.23E34 \n";print ((IntInf.toString (test1 2.23E34)) ^ "\n");print "test1:arg = 2.23E35 \n";print ((IntInf.toString (test1 2.23E35)) ^ "\n"); print "test2: arg = 2.23E34 \n";print ((IntInf.toString (test2 2.23E34)) ^ "\n");print "test2:arg = 2.23E35 \n";print ((IntInf.toString (test2 2.23E35)) ^ "\n"); The output on poly/ml is? > use "test2.sml";val test1 = fn: real -> intval test2 = fn: real -> inttest1: arg = 2.23E34?val it = (): unit22300000000000000356845941540807755val it = (): unittest1:arg = 2.23E35?val it = (): unitException- Size raisedException- Size raised Running the same program on mlton: doug at doug-MS-7642:~/poly$ mlton test2.smldoug at doug-MS-7642:~/poly$ ./test2test1: arg = 2.23E34?22300000000000001034524584994406400test1:arg = 2.23E35?222999999999999991898501776234512384test2: arg = 2.23E34?22300000000000001034524584994406400test2:arg = 2.23E35?222999999999999991898501776234512384 The test2.sml program is attached. I enjoy using poly/ml. Regards,Doug

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML January 2015