Poly/ML

polyml@lists.polyml.org

698 discussions

5.7 Release
by David.Matthews＠prolingua.co.uk 11 Nov '17

11 Nov '17

I've finally got round to releasing version 5.7. The source code was actually tagged as 5.7 on Github a while ago and Github considered that a release. There are Windows installers for 32-bit and 64-bit as well as the normal source code for everything else. I'm aware that there are still some unresolved issues with this version but it seems to be stable enough for release. David

3 8

FW: Poly/ML output in LaTeX
by Michael.Norrish＠data61.csiro.au 09 Nov '17

09 Nov '17

On 9/11/17, 22:20, "Norrish, Michael (Data61, Acton)" <Michael.Norrish at data61.csiro.au> wrote: Start up with poly ?q and then emit a PolyML.print_depth 100 to get it back to printing things back to the user? Michael On 9/11/17, 20:42, "polyml on behalf of Timothy Bourke" <polyml-bounces at inf.ed.ac.uk on behalf of tim at tbrk.org> wrote: I wrote a simple LaTeX package [1,2] for exporting code snippets to validate them in an external tool and to import the resulting inferred types and error messages back into the document. Someone contacted me about supporting Poly/ML as an external tool. To do that properly, I need to resolve three issues : 1. Suppress the "Poly/ML 5.7 Release" banner on startup while still showing the inferred types (-q seems to suppress both). 2. Import a source file without showing the inferred types (PolyML.use seems always to show them). 3. Have Poly/ML terminate with a non-zero return code when an error is found (after printing the error message). Is it already possible to do such things? If not, would it be reasonable and worthwhile to add them? Tim. [1]: http://www.ctan.org/pkg/checklistings [2]: https://github.com/tbrk/checklistings

2 1

Poly/ML output in LaTeX
by tim＠tbrk.org 09 Nov '17

09 Nov '17

I wrote a simple LaTeX package [1,2] for exporting code snippets to validate them in an external tool and to import the resulting inferred types and error messages back into the document. Someone contacted me about supporting Poly/ML as an external tool. To do that properly, I need to resolve three issues : 1. Suppress the "Poly/ML 5.7 Release" banner on startup while still showing the inferred types (-q seems to suppress both). 2. Import a source file without showing the inferred types (PolyML.use seems always to show them). 3. Have Poly/ML terminate with a non-zero return code when an error is found (after printing the error message). Is it already possible to do such things? If not, would it be reasonable and worthwhile to add them? Tim. [1]: http://www.ctan.org/pkg/checklistings [2]: https://github.com/tbrk/checklistings

2 2

current git version crashes
by Michael.Norrish＠data61.csiro.au 08 Nov '17

08 Nov '17

As visible on our CI machinery at travis-ci.org, polyml?s latest git checkouts (Poly/ML 5.7 Release (Git version v5.7-283-g04d3c957)) are crashing when trying to build HOL. See for example https://travis-ci.org/HOL-Theorem-Prover/HOL/jobs/298998364 where the end of the transcript reads /home/travis/build/HOL-Theorem-Prover/HOL/bin/hol.state0 FAILED! <1> Loading /home/travis/build/HOL-Theorem-Prover/HOL/sigobj/boolLib error in quse /home/travis/build/HOL-Theorem-Prover/HOL/src/1/Prim_rec.sml : Fail "Exception- InternalError: codeToPRegRev raised while compiling" error in load $(HOLDIR)/src/1/Prim_rec : Fail "Exception- InternalError: codeToPRegRev raised while compiling" error in load /home/travis/build/HOL-Theorem-Prover/HOL/sigobj/boolLib : Fail "Exception- InternalError: codeToPRegRev raised while compiling" Loading /home/travis/build/HOL-Theorem-Prover/HOL/sigobj/boolLib: Fail "Exception- InternalError: codeToPRegRev raised while compiling" Exception- InternalError: codeToPRegRev raised while compiling Michael

1 0

brew install polyml
by lp15＠cam.ac.uk 14 Sep '17

14 Sep '17

As I?ve mentioned before, attempts to build Poly/ML on my machine (OS X 10.12.6) don?t get very far (see errors below). I do have success with "brew install polyml?. But this presumably does not use the --with-gmp option. Is there a way of getting that using homebrew? Larry Paulson -darwin13.1.0/libstdc++-v3/libsupc++/.libs' ld: warning: could not create compact unwind for _ffi_call_unix64: does not use RBP or RSP based frame Undefined symbols for architecture x86_64: "std::__1::__vector_base_common<true>::__throw_length_error() const", referenced from: std::__1::vector<LocalMemSpace*, std::__1::allocator<LocalMemSpace*> >::insert(std::__1::__wrap_iter<LocalMemSpace* const*>, LocalMemSpace* const&) in libpolyml.a(memmgr.o) void std::__1::vector<LocalMemSpace*, std::__1::allocator<LocalMemSpace*> >::__push_back_slow_path<LocalMemSpace* const>(LocalMemSpace* const&) in libpolyml.a(memmgr.o) void std::__1::vector<PermanentMemSpace*, std::__1::allocator<PermanentMemSpace*> >::__push_back_slow_path<PermanentMemSpace* const>(PermanentMemSpace* const&) in libpolyml.a(memmgr.o) void std::__1::vector<CodeSpace*, std::__1::allocator<CodeSpace*> >::__push_back_slow_path<CodeSpace* const>(CodeSpace* const&) in libpolyml.a(memmgr.o) void std::__1::vector<StackSpace*, std::__1::allocator<StackSpace*> >::__push_back_slow_path<StackSpace* const>(StackSpace* const&) in libpolyml.a(memmgr.o) ld: symbol(s) not found for architecture x86_64 clang: error: linker command failed with exit code 1 (use -v to see invocation) make[2]: *** [polyimport] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2

3 2

determining link options
by Michael.Norrish＠data61.csiro.au 13 Sep '17

13 Sep '17

I was wondering if there was any way (short of trying to parse the polyc shell-script) of programmatically knowing what the right options might be when calling the linker to link object files dumped by PolyML.export. Thanks, Michael

2 2

calling PolyML.shell from inside another executable
by Michael.Norrish＠data61.csiro.au 06 Sep '17

06 Sep '17

If I write foo.ML: ```` fun main() = PolyML.shell() ```` and compile this with polyc: ```` $ polyc foo.ML -o foo ```` the resulting executable doesn?t give me the usual acknowledgements of my declarations: ```` $ ./foo > 3; > 4; > print "hello\n"; hello > 3 + true; poly: : error: Type error in function application. Function: + : int * int -> int Argument: (3, true) : int * bool Reason: Can't unify int (*In Basis*) with bool (*In Basis*) (Different type constructors) Found near 3 + true Static Errors ```` Here I?d have expected to see lines like `val it = 3 : int`. The behaviour after the compilation of the print call suggests that stdout is live, and that things really are being compiled. The error message after the last interaction is similarly reassuring. If I call PolyML.main() inside a standard poly shell (a funny thing to do), it does work as expected. I also tried to write code like that behind PolyML.shell by hand, and though I was providing a CPOutStream TextIO.print, I also failed to see any output from the compiler. Is there something I should be doing differently? Michael

2 3

semantics of SaveState.loadState
by Michael.Norrish＠data61.csiro.au 31 Aug '17

31 Aug '17

If I have a program I?d like to compile with polyc that looks like fun main () = let val _ = PolyML.SaveState.loadState (hd (CommandLine.arguments())) in ? end what, if anything can I put in the ? and have it work? All I really want is what is effectively a sequence of calls to ?use? in that slot, but there seem to be many ways of generating executables that silently crash. Michael

3 5

Exit codes and crowbar timeout
by loganjerry＠gmail.com 19 Aug '17

19 Aug '17

Greetings, The PolyML 5.7 build has been failing seemingly randomly on the Fedora builders. On one run it fails on the ppc64le build; on the next, ppc64le succeeds but the 32-bit ARM build fails. The part of the build where the failure happens varies from run to run, as well. The builder always reports that polyml exited with error code 1. I looked in the code. There are several exit(1) calls in there. That leads to my first request. Would you, please, give the different reasons why polyml might exit different exit codes? That would make tracking down problems like this easier. That's essentially what I did. I patched the polyml code to differentiate, and found that these build failures stem from the crowbar code in libpolyml/processes.cpp. I'm sure that 20 seconds is more than adequate for a typical desktop environment, but it is apparently often not enough on a busy build box with multiple compile jobs running simultaneously. My second request is: would you please increase that timeout? Since the builds almost always fail on only a single architecture, and a different one each time at that, I think that 20 seconds is *almost* enough. Perhaps 30 seconds would be enough to avoid this kind of build failure. Thank you and regards, -- Jerry James http://www.jamezone.org/

1 0

Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer'
by ronignc＠gmail.com 06 Jul '17

06 Jul '17

Hello, everyone! I am reading The Little MLer from Matthias Felleisen and Daniel Friedman using Poly/ML interpreter. In chapter 7, whe have some sort of stream implementation: datatype chain = Link of datatype chain = Link of int * (int -> chain); fun ints(n) = Link(n + 1, ints); When I try to define the function ints in Poly/ML 5.6 interpreter, it does not work, it runs forever. But when I write the same code in SML/NJ v110.78 interpreter, things work. Is this difference in their behaviors a bug or is it normal or expected? Best regards, Ron? Gon?alves.

6 8

← Newer
1
...
10
11
12
13
14
15
16
...
70
Older →

Jump to page:

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