polyml@inf.ed.ac.uk

0

replies

current git version crashes

started 2017-11-09 04:45:30 UTC

2017-11-09 04:45:30 UTC

M***@data61.csiro.au

2

replies

brew install polyml

started 2017-09-12 19:11:50 UTC

2017-09-14 08:47:57 UTC

Matthew Fernandez

2

replies

determining link options

started 2017-09-13 12:09:45 UTC

2017-09-13 15:44:28 UTC

M***@data61.csiro.au

3

replies

calling PolyML.shell from inside another executable

started 2017-09-05 21:06:13 UTC

2017-09-07 01:46:28 UTC

David Matthews

5

replies

semantics of SaveState.loadState

started 2017-08-30 17:10:55 UTC

2017-08-31 17:07:58 UTC

David Matthews

0

replies

Exit codes and crowbar timeout

started 2017-08-20 03:42:14 UTC

2017-08-20 03:42:14 UTC

Jerry James

8

replies

Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer'

started 2017-07-04 21:37:04 UTC

2017-07-06 22:30:44 UTC

Jerry James

3

replies

fork/exec woes

started 2017-06-05 13:35:18 UTC

2017-06-06 05:34:31 UTC

M***@data61.csiro.au

0

replies

Final CFP: ML Family Workshop 2017

started 2017-05-28 23:04:34 UTC

2017-05-28 23:04:34 UTC

Sam Lindley

18

replies

Is there a Windows build that can run at the command prompt?

started 2017-05-01 22:49:25 UTC

2017-05-11 22:11:34 UTC

David Matthews

2

replies

What's the difference between "Release" and "IntRelease" ("Debug" and "IntDebug")?

started 2017-05-09 00:33:37 UTC

2017-05-09 03:07:17 UTC

Chun Tian (binghe)

0

replies

Second CFP: ML Family Workshop 2017

started 2017-05-08 04:05:13 UTC

2017-05-08 04:05:13 UTC

Sam Lindley

1

reply

Origins of Poly

started 2017-05-03 12:58:45 UTC

2017-05-03 13:11:48 UTC

David Matthews

2

replies

configure fails

started 2017-04-18 18:59:50 UTC

2017-04-18 20:21:34 UTC

Lawrence Paulson

25

replies

5.7 Release

started 2017-02-21 18:48:16 UTC

2017-03-21 21:15:08 UTC

James Clarke

1

reply

Benchmarks: Poly/ML 5.6.1 vs 5.6.0

started 2017-02-13 17:37:09 UTC

2017-02-21 18:29:48 UTC

David Matthews

1

reply

interfacing object oriented libraries

started 2017-02-16 17:49:58 UTC

2017-02-17 07:04:11 UTC

Phil Clayton

1

reply

Poly/ML 5.6.1 Testing and exception_trace

started 2017-02-10 18:47:41 UTC

2017-02-10 22:25:45 UTC

David Matthews

1

reply

Post-RTS and nonblocking socket functions

started 2017-02-02 15:48:19 UTC

2017-02-09 22:44:02 UTC

David Matthews

0

replies

QUse.use and exceptions

started 2016-12-14 12:12:31 UTC

2016-12-14 12:12:31 UTC

Ramana Kumar

5

replies

Get errno

started 2016-11-11 23:46:57 UTC

2016-12-07 18:37:15 UTC

David Matthews

0

replies

Thank you very much

started 2016-11-18 15:49:42 UTC

2016-11-18 15:49:42 UTC

Kostirya

1

reply

ConditionVar

started 2016-10-24 11:43:17 UTC

2016-10-24 12:06:24 UTC

David Matthews

33

replies

Update to code-generator and run-time system interface

started 2016-09-16 17:20:57 UTC

2016-10-23 15:57:54 UTC

David Matthews

4

replies

Can't unify int (*In Basis*) with LargeInt.int ...

started 2016-10-10 17:18:50 UTC

2016-10-15 20:27:06 UTC

David Matthews

1

reply

sets of sets

started 2016-10-11 19:28:18 UTC

2016-10-11 20:15:04 UTC

Lawrence Paulson

0

replies

curl for Poly/ML and MLton

started 2016-09-30 16:11:23 UTC

2016-09-30 16:11:23 UTC

Kostirya

0

replies

New kqueue and epoll library for MLton and Poly/ML.

started 2016-09-22 19:02:29 UTC

2016-09-22 19:02:29 UTC

Kostirya

3

replies

wrapping socket with tls

started 2016-07-31 03:35:12 UTC

2016-09-21 06:32:49 UTC

Phil Eaton

10

replies

Equality Type Parameter in Datatype Declaration

started 2016-09-16 20:12:15 UTC

2016-09-17 18:44:09 UTC

Bernard Berthomieu