Poly/ML October 2014

polyml@lists.polyml.org

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

[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

polyc crash
by di.gama＠gmail.com 13 Oct '14

13 Oct '14

Hello, I'm trying to diagnose a problem with polyc. $ echo 'fun main() = TextIO.output(TextIO.stdOut,"Hello World");' > helloworld.sml $ polyc -o helloworld helloworld.sml Exception- SysErr ... raised This happens regardless of the program being compiled. I took a look at what polyc is doing, and so I ended up with the following: $ echo "use \"helloworld.sml\"; PolyML.export(\"helloworld\", main);" | poly -q --error-exit $ gcc -O3 -I../libffi/include helloworld.obj -o helloworld -L/usr/local/lib -lpolymain -lpolyml -lgdi32 -lwsock32 -lstdc++ -lgcc_s -lgcc /usr/lib/gcc/i686-pc-cygwin/4.8.3/../../../../i686-pc-cygwin/bin/ld: cannot find -lpolymain /usr/lib/gcc/i686-pc-cygwin/4.8.3/../../../../i686-pc-cygwin/bin/ld: cannot find -lpolyml collect2: error: ld returned 1 exit status I am running Windows with Cygwin. Was there a configuration I should have done that I missed? "poly" appears to work fine; the error occurs in gcc because the libraries weren't found. When I checked /usr/local/lib/ or /usr/lib/, I also could not find any libpolymain.a or libpolyml.a files. Shouldn't these have been created by the make script? Mario

2 1

address type in Poly/ML interface to C (FFI)
by me＠beroal.in.ua 06 Oct '14

06 Oct '14

Hello. As I can see, there is no address type. The suggested conversion for C pointers (POINTER : vol Conversion) converts a C pointer to "vol". As follows from http://www.polyml.org/docs/CInterface.html#17%20Volatile%20Implementation , "vol" contains an address of a heap object. If its boolean field "owns" is true, it garbage-collects its heap object. If a C library requires that freeing a heap object be done explicitely, managing an address to that heap object by "vol" is inefficient and confusing. A "vol" value contains an index of the element of the "vols" array which contains an address of a memory block which contains an address of the heap object. What I really need is an ML integer type that is wide enough to hold a C pointer; I called it "address type". I'm trying to create a binding to the XCB library ( http://xcb.freedesktop.org/ ). Some functions from XCB don't manage memory (so the Poly/ML garbage collector may be used); some functions are allocating objects, and those objects must be freed by the function "free" or "xcb_disconnect".

2 4

Isabelle/ML IDE (update)
by makarius＠sketis.net 03 Oct '14

03 Oct '14

On Thu, 2 Oct 2014, Tjark Weber wrote: > 1. I suspect that the ITP aspect of Isabelle may put off people who > just want to write SML code. (For instance, there are many documents > and panels visible in the UI that are entirely irrelevant to SML > programming.) If you had unlimited time, I would suggest that the SML > IDE be released separately from Isabelle. This is only the first release of the SML PIDE, but I have started thinking about these questions before. It is probably mainly a matter to re-package the system such that it looks more like an SML IDE outright. Many things are possible, but it also requires some work. Does anybody has smart ideas to find some funding for such projects? It might be also interesting for David Matthews himself, to provide even more IDE support at the bottom, e.g. inclusion of the debugger. We also need to find out how many people are still there to use SML. So far there are already 9 supporters on http://stackoverflow.com/questions/2036744/ml-ide-and-compiler-for-windows-… and the green tick has changed as well :-) > 2. The need to have a theory file (no matter how simple) is slightly > unfortunate. Would an Isabelle/jEdit option "-sml" (or similar) be > feasible to make the enclosing theory redundant, at least for > single-file SML projects? "Unfortunate" (like "fix") is a word of this odd street language that has emerged in recent years and is better ignored. The enclosing theory file is like a project file, but with slightly odd syntax for that purpose, although not too bad compared to the traditional "use" script. There might be other ways emerging to assemble ML files; or maybe just some IDE support to generate such templates. There was also a private discussion with Larry Paulson, to re-use the model of the SML/NJ compilation management, whatever that might be exactly -- we still need to find out. > 3. I noticed that "use" is not available, and that "print" doesn't > affect the output panel. A document that summarizes such differences > (and explains, e.g., how to perform I/O instead) might be useful. Note that "use" is not part of Standard ML. This touches again the question how SML projects are actually managed. For the IDE to work, the control over the ML files needs to be given to the IDE, not the ML program. Further note that "print" is also not Standard ML, although TextIO.print is covered by the Basis Library. That raw stateful output is in conflict with the stateless model of PIDE, but it works as specified: via stdout, which is shown in PIDE in the Raw Output panel. In contrast, the Documentation panel includes src/Tools/SML/Examples.thy with some examples to re-use stateless Isabelle output in SML. > 4. Ctrl+click on certain built-in operators, such as *, takes me to an > empty buffer called "Standard Basis". Surely some explanatory message > could be displayed in the buffer. This information is produced by Poly/ML at the very bottom. E.g. the "length" function refers to $ML_SOURCE/basis/List.sml as expected. David Matthews might be able to tell what happens with * (or +). I know myself from Isabelle/Pure bootstrapping, that formal references to very basic things are sometimes surprising, by construction of the initial environment. Makarius

3 4

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