Poly/ML August 2015

polyml@lists.polyml.org

7 participants
7 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

Anyone having problems getting through to http://www.polyml.org/ ?
by artella.coding＠googlemail.com 30 Aug '15

30 Aug '15

Hi, http://downforeveryoneorjustme.com/www.polyml.org seems to indicate it is up and running, and David also mentioned that it is fine, but I am having problems getting through (computer just hangs). Is anyone else having problems getting through to the website http://www.polyml.org/ ? Thanks

2 1

Building with msys & GNU Make 3.82 (windows 7)
by artella.coding＠googlemail.com 28 Aug '15

28 Aug '15

Has anyone had success building via msys? I got the latest copy from github & "./configure" runs fine, but when I do "make" I eventually get errors like : C:\Temp\sml\make: invalid option -- a C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- = C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- C:\Temp\sml\make: invalid option -- J Thanks

3 12

Fwd: [Sml-basis-discuss] Standard ML Basis Library proposals
by David.Matthews＠prolingua.co.uk 21 Aug '15

21 Aug '15

This message appeared on the, long inactive, Sml-basis-discuss mailing list a couple of weeks ago and may be of interest to Poly/ML users. I think there are a number of issues that could be put forward. One thing I'd like to see would be the addition of gcd and lcm to IntInf. At the moment they're in PolyML.IntInf which isn't ideal. David -------- Forwarded Message -------- Subject: [Sml-basis-discuss] Standard ML Basis Library proposals Date: Mon, 10 Aug 2015 11:43:00 +0200 From: John Reppy <jhr at cs.uchicago.edu> To: Sml-basis-discuss at mailman.cs.uchicago.edu As part of the activity at sml-family.org, I have created a repository and wiki for hosting proposals for improvements to the SML Basis Library specification. To get things started, I've posted three initial proposals to the Wiki, along with reference implementations. These proposals have benefited from comments from David MacQueen, Matthew Fluet, and Ken Friis Larsen. You can find the proposals at https://github.com/SMLFamily/BasisLibrary One important question is what process should we use for handing and approving proposals. A possible model is the SRFI process (http://srfi.schemers.org), which has a well-defined structure for how proposals are handled and a small number of editors who are responsible for managing the process. Because the SRFIs are not required, the process for accepting an SFRI is more lenient that we would want for the Basis Library, but their baseline set of requirements for a draft proposal seems reasonable. _______________________________________________ Sml-basis-discuss mailing list Sml-basis-discuss at mailman.cs.uchicago.edu https://mailman.cs.uchicago.edu/mailman/listinfo/sml-basis-discuss

1 0

Isabelle/PIDE front-end for Poly/ML debugger
by makarius＠sketis.net 20 Aug '15

20 Aug '15

Dear friends of the most advanced Standard ML system on the planet. Some month ago, David Matthews has reworked the internal interface for source-level debugging, see also http://www.polyml.org/documentation/Reference/PolyMLDebuggerInterface.html (This requires an intermediate repository version of Poly/ML, until a proper release emerges.) I've already wrapped up the debugger in the Prover IDE framework of Isabelle. A fully integrated version can be downloaded for testing here: http://www4.in.tum.de/~wenzelm/test/Isabelle_20-Aug-2015 and a minal example here: http://www4.in.tum.de/~wenzelm/test/Isabelle_20-Aug-2015/Debugger_Example.t… The Debugger panel can be opened via the Isabelle/jEdit menu "Plugins / Isabelle / Debugger panel" or the jEdit action "isabelle-debugger". Without such a panel, there is no effect on the running ML program. What is also interesting in this preview of the next Poly/ML release is native support for x86-windows, based on MingW32 instead of Cygwin. Cygwin remains the portable system glue for the Isabelle environment, but both the IDE front-end (Scala/JVM) and the ML backend are now fully at home on Windows. Makarius

1 0

error building from SVN
by Michael.Norrish＠nicta.com.au 11 Aug '15

11 Aug '15

My Travis CI builds of HOL using a Subversion checkout of Poly (as opposed to the released version, which I also check), are failing to build Poly with the error below. (See also https://travis-ci.org/HOL-Theorem-Prover/HOL/jobs/56529081). Is this expected, or some quirk of the Travis setup? Michael -- Error- in './basis/FinalPolyML.sml', line 1607. Value or constructor (decodeBinary) has not been declared Error- in './basis/FinalPolyML.sml', line 1608. Value or constructor (encodeBinary) has not been declared Exception trace for exception - Fail raised in mlsource/MLCompiler/MAKE_.ML line 423 MAKE_().useIntoEnv(2) <top level> CODETREE().genCode(3)(1) COMPILER_BODY().baseCompiler(3)executeCode(1) End of trace Exception trace for exception - Fail raised in mlsource/MLCompiler/MAKE_.ML line 423 MAKE_().useIntoEnv(2) <top level> CODETREE().genCode(3)(1) COMPILER_BODY().baseCompiler(3)executeCode(1) End of trace ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

9 18

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 August 2015