Poly/ML

polyml@lists.polyml.org

695 discussions

Program seems to run instead of just compiling
by artella.coding＠googlemail.com 14 Sep '15

14 Sep '15

Hi, Suppose that I have the following code : (* Test.sml *) fun f() = print "-------test------"; val test = f(); Then if I compile this via "polyc -c Test.sml" the program actually runs before emitting an error message : -------test------poly: : error: Value or constructor (main) has not been declared Found near PolyML.export (List.nth (CommandLine.arguments (), 3), main) Static Errors Why does the program attempt to run instead of merely compiling? Thanks

2 1

The History of Standard ML: Ideas, Principles, Culture
by makarius＠sketis.net 12 Sep '15

12 Sep '15

Here is an interesting talk at the ML Workshop http://www.mlworkshop.org/ml2015 at ICFP 2015: David MacQueen The History of Standard ML: Ideas, Principles, Culture https://www.youtube.com/watch?v=NVEgyJCTee4 It briefly mentions the heroic efforts by David Matthews to make the first complete SML implementation, based on the existing Poly compiler. Glad to see that this very first SML project still defines the cutting edge until today! Makarius

1 0

Windows Unicode
by David.Matthews＠prolingua.co.uk 10 Sep '15

10 Sep '15

This was something that came out of a discussion with Makarius about using the native Windows version with Isabelle but it's probably of general interest to anyone who uses or might use the native Windows version. The current master version uses the ANSI interface to Windows API calls rather than Unicode. I've been experimenting with a version that uses the Unicode, or more correctly UTF-16, interface. What this means is that the conversion between ML strings and, for example file-names, is handled by Poly/ML itself rather than defaulting to the current code-page. It only affects non-ASCII characters. The experimental code is in the Windows-Unicode branch and requires ./configure CPPFLAGS="-DUNICODE -D_UNICODE" to build the Unicode version. The resulting poly takes a --codepage option to set the code-page to be used for conversion. Probably "utf8" is the most useful argument to give here. I've been wondering whether to make the Unicode version the default rather than ANSI. There's also the question of how best to specify the codepage. For backwards compatibility I think it should default to the system code-page but UTF-8 is likely to be very popular. Perhaps there should be some programmatic way (PolyML.setWindowCodePage ???) to set it as well as/instead of the command line argument. Setting the code-page affects file-names, both those used for reading and writing files but also the names returned by OS.FileSys.readDir. It also affects command-line arguments and environment variables. When using the Windows GUI in "poly.exe" it affects the way characters are displayed when text is written to TextIO.stdOut. David

4 5

Entrypoint into sml main from C
by artella.coding＠googlemail.com 04 Sep '15

04 Sep '15

Is "Handle IntTaskData::EnterPolyCode()" in interpret.cpp ( https://github.com/polyml/polyml/blob/ce3107ba56c642bb0e1e8f60605018f9f46c4…) the point at which the sml main function is invoked from the C code? Thanks

2 2

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

Truth Tables
by dtopham＠gmail.com 30 Jul '15

30 Jul '15

As part of my ongoing efforts to introduce the use of SML to complement the teaching of discrete math, I have prepared some slides showing one way to print truth tables. Since my knowledge and experience in SML is so limited, I would appreciate any constructive comments on how to improve this approach. (I am afraid my many years of using C++ has made it difficult to transition to the functional way of thinking!) Attached is pdf of slides with SML embedded. (similar to literate programming). I am grateful for the use of ProofPower as a development environment since it allows me to combine Latex and SML in one document and extract the pieces when needed. -Dave

1 0

← Newer
1
...
20
21
22
23
24
25
26
...
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