polyml@inf.ed.ac.uk

0

replies

MLTEMP files

started 2018-11-13 21:24:49 UTC

2018-11-13 21:24:49 UTC

Gergely Buday

0

replies

polyml Digest, Vol 152, Issue 3

started 2018-11-11 09:28:07 UTC

2018-11-11 09:28:07 UTC

David Topham

8

replies

linking polyML modules to C

started 2015-01-16 05:54:01 UTC

2018-11-09 19:13:17 UTC

David Matthews

1

reply

make problem

started 2018-11-06 20:28:10 UTC

2018-11-06 23:09:20 UTC

David Matthews

2

replies

[RFC]: Modules to support C FFIs -- a proposal and a minor patch

started 2018-10-13 18:31:49 UTC

2018-10-23 13:58:15 UTC

Domagoj Stolfa

12

replies

LInkage and the Foreign structure

started 2018-09-10 01:15:26 UTC

2018-10-17 22:33:53 UTC

David Matthews

3

replies

"Exception- InternalError: asGenReg raised while compiling"

started 2018-09-12 18:17:36 UTC

2018-09-13 17:50:39 UTC

Mark Clements

3

replies

socket from fd

started 2018-08-02 03:19:24 UTC

2018-08-03 14:23:18 UTC

Ramana Kumar

2

replies

Error with poly_smlnj-lib.sml

started 2018-07-30 14:12:13 UTC

2018-08-01 02:12:21 UTC

Mark Clements

1

reply

PolyML and paths for load files.

started 2018-07-05 13:35:09 UTC

2018-07-05 14:17:10 UTC

Kostirya

0

replies

Pattern matching compilation is very slow

started 2018-06-26 15:43:59 UTC

2018-06-26 15:43:59 UTC

Kostirya

0

replies

RPC in SML

started 2018-06-08 13:48:36 UTC

2018-06-08 13:48:36 UTC

David Matthews

2

replies

Building on Windows in batch mode -- Visual Studio

started 2018-03-08 21:36:55 UTC

2018-03-08 23:03:08 UTC

David Matthews

1

reply

fancy tty tricks (with curses?)

started 2018-02-27 09:39:12 UTC

2018-02-27 17:11:35 UTC

Bernard Berthomieu

1

reply

Poly/ML as alternative to ...

started 2018-02-20 16:47:56 UTC

2018-02-20 17:21:29 UTC

Daniil Baturin

2

replies

build failure on recent Cygwin + Windows 10

started 2018-02-16 07:21:03 UTC

2018-02-20 07:29:27 UTC

M***@data61.csiro.au

7

replies

Poly/ML with libgmp on x86_64-darwin

started 2018-02-10 04:06:41 UTC

2018-02-15 18:18:20 UTC

Lawrence Paulson

5

replies

Building portable Poly/ML on Linux

started 2018-02-10 02:55:56 UTC

2018-02-11 21:43:27 UTC

Makarius

11

replies

polyc and libraries

started 2017-12-12 19:14:48 UTC

2018-01-15 21:28:10 UTC

David Matthews

2

replies

Assertion failure in scanaddrs

started 2018-01-15 13:47:54 UTC

2018-01-15 20:31:40 UTC

Ramana Kumar

2

replies

More portable poly compilation

started 2017-12-23 20:24:49 UTC

2017-12-24 16:37:44 UTC

Phil Clayton

6

replies

C++ standard in use

started 2017-12-16 09:03:12 UTC

2017-12-23 16:04:49 UTC

Florian Weimer

1

reply

FFI conversions that are portable across Poly/ML versions

started 2017-12-22 05:34:59 UTC

2017-12-22 19:45:29 UTC

David Matthews

3

replies

Retiring CInterface?

started 2017-12-12 19:16:48 UTC

2017-12-18 21:45:12 UTC

David Matthews

1

reply

Build error: Exception- InternalError: Too many passes raised while compiling

started 2017-12-14 19:17:04 UTC

2017-12-15 14:21:53 UTC

David Matthews

1

reply

PolyML sources [InternalError: asGenReg raised while compiling]

started 2017-12-02 00:17:38 UTC

2017-12-02 02:54:22 UTC

Bernard Berthomieu

30

replies

Approaching release of 5.7.1

started 2017-11-08 20:10:56 UTC

2017-11-30 18:38:40 UTC

David Matthews

5

replies

5.7.1 release candidate

started 2017-11-20 19:23:01 UTC

2017-11-21 19:02:48 UTC

Chun Tian

8

replies

5.7 Release

started 2017-05-12 19:50:05 UTC

2017-11-11 17:12:24 UTC

David Matthews

4

replies

Poly/ML output in LaTeX

started 2017-11-09 14:47:36 UTC

2017-11-09 20:18:50 UTC

Timothy Bourke