Poly/ML November 2018

polyml@lists.polyml.org

5 participants
4 discussions

MLTEMP files
by buday.gergely＠uni-eszterhazy.hu 13 Nov '18

13 Nov '18

Hi there, running a CakeML bootstrapping process I got an error no space left on device Actually, the disk was not full but consumed all possible inodes: $ sudo df -i / [sudo] password for gbuday: Filesystem Inodes IUsed IFree IUse% Mounted on /dev/sda1 512064 512064 0 100% / That was because of 361391 MLTEMPXXXX files in /tmp. Is that a Poly/ML thing? - Gergely

3 2

polyml Digest, Vol 152, Issue 3
by dtopham＠gmail.com 11 Nov '18

11 Nov '18

Thank you David, That is very helpful information and maybe good to add to the Debugger tutorial to help others. If I explicitly add type information to variables the debugger works. On Sat, Nov 10, 2018 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: Debugger (David Matthews) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 9 Nov 2018 13:13:17 +0000 > From: David Matthews <David.Matthews at prolingua.co.uk> > To: polyml at inf.ed.ac.uk > Subject: Re: [polyml] Debugger > Message-ID: <ab525449-d652-c995-211a-675dc359063b at prolingua.co.uk> > Content-Type: text/plain; charset=utf-8; format=flowed > > Dave, > It seems to be a bug with printing the value of a polymorphic equality > type variable. "s" has type ''a and that upsets the debugger. It works > either if there is a type constraint to force the type of "s" to be int > list or if "member" is changed so that the equality function is passed > as an argument and the functions are fully polymorphic. I need to find > out why equality types cause problems. > > David > > On 09/11/2018 05:29, David Topham wrote: > > I am trying to use the debugger in PolyML but always get errors. Here is > > my code: > > > > PolyML.Compiler.debug := true; > > open PolyML.Debug; > > fun member(x,[]) = false > > | member(x,(y::ys)) = if x = y then true else member(x,(ys)); > > member(2,[2,3,4]); (* expect true *) > > member(5,[2,3,4]); (* expect false *) > > fun subset([],s) = true > > | subset((x::xs),s) = member(x,s) andalso subset(xs,s); > > fun equals(s1,s2) = subset(s1,s2) andalso subset(s2,s1); > > breakIn "subset"; > > > > subset([],[1,2,3]); (* expect true *) > > subset([2],[1,2,3]); (* expect true *) > > > > It does break at the debug prompt, but when typing > > > > dump(); > > > > it crashes with: Function subset:Exception- Cast "toAddress" raised > > > > Do you have any suggestions? > > > > I am using Debian 9 64-bit and installed using apt-get > > > > "polyml is already the newest version (5.6-8)" > > > > -Dave > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > polyml mailing list > polyml at inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > > ------------------------------ > > End of polyml Digest, Vol 152, Issue 3 > ************************************** > > -- > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. > > -- -Dave

1 0

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

make problem
by buday.gergely＠uni-eszterhazy.hu 06 Nov '18

06 Nov '18

Hi there, cloning polyml from github I did configure --prefix=/home/gbuday/polyml Running make I get the following error: make[2]: Entering directory `/home/gbuday/polyml' /bin/sh ./libtool --tag=CC --mode=link gcc -O3 -Ilibffi/include -o polyimport polyimport.o libpolyml/libpolyml.la -lrt -lm -ldl -lgcc_s -lgcc libtool: link: gcc -O3 -Ilibffi/include -o .libs/polyimport polyimport.o libpolyml/.libs/libpolyml.so -lrt -lm -ldl -lgcc_s -lgcc -Wl,-rpath -Wl,/home/gbuday/polyml/lib gcc: libpolyml/.libs/libpolyml.so: No such file or directory It exists as a symbolic link: $ ls -l libpolyml/.libs/libpolyml.so lrwxrwxrwx. 1 gbuday gbuday 18 nov 6 15.08 libpolyml/.libs/libpolyml.so -> libpolyml.so.9.0.0 but the versioned libpolyml.so.9.0.0 does not. Is this a bug or I haven't managed something well? - Gergely

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 November 2018