Poly/ML December 2014

polyml@lists.polyml.org

16 participants
15 discussions

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

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

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 29 Dec '14

29 Dec '14

I wrote: > I am completely baffled. I thought I hada solved all my problems on > MacOS X > 10.6 and was just tidying up, when I had to recompile a 32 bit > version of > Poly/ML to test a tidied up make file. This failed because > PolyML.Compiler.printTypesWithStructureName no longer exists. The same > problem happened when i rebuild a 64 bit version. What has happened? but it was a false alarm: my make file was wrong for other reasons and the absence of PolyML.Compiler.printTypesWithStructureName was not relevant. No doubt there are good reasons why this variable has been withdrawn. Regards, Rob.

3 6

ProofPower as an SML environment and IDE
by dtopham＠gmail.com 26 Dec '14

26 Dec '14

Omar, I recently installed ProofPower <http://www.lemma-one.com/ProofPower/index/index.html>and discovered that it has capabilities as an efficient and effective PolyML IDE too! It also uses a simplified variation of Knuth's "literate programming" idea where you can intersperse mathematics with the correct symbols (rather than ASCII code approximations). In an earlier post, I had mistakenly claimed that ProofPower required an earilier version of PolyML (v 4), but Rob Arthan helped me through the very minor update to a makefile to get it to build easily using the latest PolyML version, so that is not a problem. I have attached a small sample to show how the integration works with math using a few macros in the source code. The source (in the doc file) was entered using the xpp "IDE" which allows you to run the SML code right in the editor. -Dave Topham > 2. Re: [isabelle] Isabelle as an SML environment and IDE > (Omar Montano Rivas) > > ------------------------------ > Date: Mon, 22 Dec 2014 11:50:28 -0600 > From: Omar Montano Rivas <omarmrivas at gmail.com> > To: Aleks Kissinger <aleks0 at gmail.com> > Cc: isabelle-users at cl.cam.ac.uk, Poly/ML Mailing List > <polyml at inf.ed.ac.uk> > Subject: Re: [isabelle] Isabelle as an SML environment and IDE > > Really useful. Thanks for sharing. > > Best, > Omar. > > 2014-12-19 10:49 GMT-06:00 Aleks Kissinger <aleks0 at gmail.com>: > > > It recently came up on the Poly/ML mailing list that Isabelle/jEdit > > makes a pretty efficient SML IDE these days. I manage a fairly large > > SML project called Quantomatic, so I thought I'd have a go at getting > > a setup to work. I've got a setup now that I am pretty happy with, so > > I thought I'd share my results. Hopefully other people will find this > > helpful. > > > > Quantomatic is fairly unique in that it is designed to run inside of > > Isabelle or as a standalone project. As a result, the whole codebase > > is implemented on top of an Isabelle/ML-like environment, obtained by > > importing chunks of the ML code in Pure. This can be done by copying > > src/Pure from Isabelle 2014 into an SML project and using this file: > > > > > > > https://github.com/Quantomatic/quantomatic/blob/integration/core/isabelle_e… > > > > In the past, we used a slightly hacked-up version of Pure, but for the > > sake of maintainability, we now use an exact copy. > > > > The project itself is loaded with special "thy" files that only > > contain comments and "ML_file" commands. These can be run from inside > > Isabelle/jEdit (in the "real" Isabelle/ML environment), or they can be > > imported in poly/ML with the function "use_thy": > > > > > https://github.com/Quantomatic/quantomatic/blob/integration/core/use_thy.ML > > > > This implements a baby version of the outer syntax parser, which > > ignores imports and translates the ML_file commands into use > > statements. This makes the external ROOT.ML tiny and easy to maintain: > > > > https://github.com/Quantomatic/quantomatic/blob/integration/core/ROOT.ML > > > > This can be executed with, e.g. "poly --use ROOT.ML" > > > > >

1 0

GUI Interface: drawing using Xlib primitives
by dtopham＠gmail.com 23 Dec '14

23 Dec '14

I know that there isn't a whole lot of interest in reviving the PolyML/Motif bindings idea, but it does have the advantage (over GTK+ or QT for example) of already existing! (a bird in the hand is worth two in the bush)... ...so, as part of my learning experience in PolyML, I set out to get a program working to draw on the screen. I saw comments in the XReference manual claiming that there are examples available, but searching google and the docs came up with nothing beyond the API so I had to reinvent the wheel. Since I am new at SML, I would appreciate any comments or suggestions on improving this approach to drawing. Here is what I have so far (and it works!) ------------------------------------------------------- open XWindows ; open Motif; fun square x = x * x ; fun odd x = x mod 2 = 1 ; fun power base exp = if exp = 0 then 1 else if odd exp then base * power base (exp-1) else square (power base (exp div 2)) ; fun draw1 w gc x1 y1 = let val p = XPoint {x=x1,y=y1} in XDrawPoint w gc p ; if x1 < 200 then draw1 w gc (x1 + 1) (y1 + 1) else XDrawPoint w gc p end; fun draw2 w gc x1 y1 = let val p1 = XPoint {x=x1,y=y1} ; val p2 = XPoint {x=x1+100,y=y1} in XDrawLine w gc p1 p2 ; if x1 < 100 then draw2 w gc (x1 + 1) (power x1 2) else let val p = XPoint {x=50,y=95} in XDrawString w gc p "PolyML" end end; fun main() = let val pt = XPoint {x=0,y=0} ; val rt = XRectangle {bottom=0,left=0,right=200,top=200} ; val ar = Area {x=0,y=0,w=200,h=200} ; val shell = XtAppInitialise "" "xlib" "xlib" [] [] ; val display = XtDisplay shell ; val dr = RootWindow display ; val bp = BlackPixel display ; val wp = WhitePixel display ; val w = XCreateSimpleWindow dr pt ar 5 bp wp ; val gc = XCreateGC w [] ; fun hdraw (Expose {sendEvent,region,window,count},s) = draw2 w gc 0 0 | hdraw (DeleteRequest {window},s) = XDestroyWindow window ; in XMapWindow w ; XSelectInput w [ExposureMask,ButtonPressMask] ; XSetHandler w hdraw () ; XFlush display (* Posix.Process.pause() *) end; ---------------------------------------------------- The Posix pause is needed if compiling with polyc to keep window open, but in poly interactive it is not. The attached image is what is produced. -Dave Topham

1 0

Isabelle as an SML environment and IDE
by aleks0＠gmail.com 22 Dec '14

22 Dec '14

It recently came up on the Poly/ML mailing list that Isabelle/jEdit makes a pretty efficient SML IDE these days. I manage a fairly large SML project called Quantomatic, so I thought I'd have a go at getting a setup to work. I've got a setup now that I am pretty happy with, so I thought I'd share my results. Hopefully other people will find this helpful. Quantomatic is fairly unique in that it is designed to run inside of Isabelle or as a standalone project. As a result, the whole codebase is implemented on top of an Isabelle/ML-like environment, obtained by importing chunks of the ML code in Pure. This can be done by copying src/Pure from Isabelle 2014 into an SML project and using this file: https://github.com/Quantomatic/quantomatic/blob/integration/core/isabelle_e… In the past, we used a slightly hacked-up version of Pure, but for the sake of maintainability, we now use an exact copy. The project itself is loaded with special "thy" files that only contain comments and "ML_file" commands. These can be run from inside Isabelle/jEdit (in the "real" Isabelle/ML environment), or they can be imported in poly/ML with the function "use_thy": https://github.com/Quantomatic/quantomatic/blob/integration/core/use_thy.ML This implements a baby version of the outer syntax parser, which ignores imports and translates the ML_file commands into use statements. This makes the external ROOT.ML tiny and easy to maintain: https://github.com/Quantomatic/quantomatic/blob/integration/core/ROOT.ML This can be executed with, e.g. "poly --use ROOT.ML"

2 1

Posix / BinIO bug (?)
by peteg42＠gmail.com 22 Dec '14

22 Dec '14

I apologise if ?bug? is not proper nomenclature in this forum. Consider the following program, stored as ?binio.sml? in the current directory: structure FS = Posix.FileSys structure IO = Posix.IO fun main () = let val fname = "binio.sml" val fd = FS.openf (fname, FS.O_RDONLY, (FS.O.flags [])) val rd = IO.mkBinReader {fd=fd, initBlkMode=false, name=fname} val stream = BinIO.mkInstream (BinIO.StreamIO.mkInstream (rd, Word8Vector.fromList [])) in print (Byte.bytesToString (BinIO.inputAll stream)) end ; main() On OS X 10.9.5 I get: $ poly --use binio.sml Poly/ML 5.5.2 Release structure FS : POSIX_FILE_SYS structure IO : POSIX_IO val main = fn: unit -> unit Assertion failed: (save_vec_addr < save_vec+1000), function push, file save_vec.cpp, line 70. Abort trap: 6 BTW is there a simpler/more canonical way to take a Posix.FileSys.file_desc into a BinIO.instream? I copied the above pretty much verbatim from the Poly/ML sources. thanks, peter

2 1

ML_dbase
by dtopham＠gmail.com 20 Dec '14

20 Dec '14

I noticed several references to ML_dbase in the documentation (obviously I am a new user!), but do not see that file anywhere after my (virgin) PolyML version 5 installation. Is this file needed? Is it created automatically? What is it for? -Dave >

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 December 2014