Poly/ML

polyml@lists.polyml.org

1 participants
698 discussions

Can't unify int (*In Basis*) with LargeInt.int ...
by David.Matthews＠prolingua.co.uk 15 Oct '16

15 Oct '16

I think Mlton uses the same precision for C int and ML int so there won't be the issue of an overflow exception when passing values from C to ML. That's easier to do with a full program compiler than the incremental compilation of Poly/ML. David On 10/10/2016 15:40, Kostirya wrote: > I think it should "to turn these conversions back to use FixedInt.int and > raise an exception". > It's important to preserve full compatibility with MLton, SML/NY, SML# ... > > MLton: > val plus = _import "plus": (int * int) -> int; > val r = 0 + plus(1, 2) > val _ = print ( (Int.toString(r) ^ "\n" ) ) > > New Poly/ML: > val plus = buildCall2 ((getSymbol mylib "plus"), (cInt, cInt), cInt) > val r = 0 + plus(1, 2) > val _ = print ( (LargeInt.toString(r) ^ "\n" ) ) > > The difference in SML code has already appeared in: > > MLton: val _ = print ( (Int.toString(r) ^ "\n" ) ) > PolyML: val _ = print ( (LargeInt.toString(r) ^ "\n" ) ) > > > 2016-10-10 16:02 GMT+03:00 David Matthews <David.Matthews at prolingua.co.uk>: > >> I noticed this and thought I'd committed a fix but it seems not. The >> issue is that the C "int" type may have, depending on the platform, one >> more bit of precision than FixedInt.int in Poly/ML. >> >> Now that the default int in Poly/ML is FixedInt.int that raises a question >> about how to deal with the various conversions (e.g. cInt) that could >> return a value that would overflow. Currently, c(U)Int8 and 16 have type >> "int conversion" and the rest, c(U)Int32/64 and c(U)Int have type >> "LargeInt.int conversion". While this ensures that there will never be an >> overflow when converting C values to ML it does mean there's a mismatch >> between C "int" and ML "int". I'm wondering whether to turn these >> conversions back to use FixedInt.int and raise an exception when a value >> will not fit and perhaps introduce new conversions (e.g. cIntLarge) to >> handle the full range of values. >> >> Does anyone have any comments? >> David >> >> >> On 10/10/2016 13:18, Kostirya wrote: >> >>> Hello. >>> I updated Poly/ML from git (commit >>> aa7bea141f227ea5d7feaa849763ad53fb4147d3) and found that >>> mlsource/extra/CInterface/Examples/NewForeignTest.sml is broken: >>> >>> env LD_LIBRARY_PATH=. poly --script NewForeignTest.sml >>>> >>> (4, 4) >>> (5, 5) >>> (12345, ...) >>> NewForeignTest.sml:133: error: Type error in function application. >>> Function: buildClosure1 : >>> (int -> unit) * int conversion * unit conversion -> >>> (int -> unit) closure >>> Argument: (fn i => print (Int.toString i), cInt, cVoid) : >>> (int -> unit) * LargeInt.int conversion * unit conversion >>> Reason: >>> Can't unify int (*In Basis*) with LargeInt.int (*In Basis*) >>> (Different type constructors) >>> Found near buildClosure1 (fn i => print (... ...), cInt, cVoid) >>> >>> Is LargeInt.int a default int type for FFI now? >>> >>> Nick. >>> >>> >>> >>> _______________________________________________ >>> polyml mailing list >>> polyml at inf.ed.ac.uk >>> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >>> >>> _______________________________________________ >> polyml mailing list >> polyml at inf.ed.ac.uk >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> >

2 2

sets of sets
by dtopham＠ohlone.edu 11 Oct '16

11 Oct '16

I doubt if I am the first person to ask this question, but I have not seen an "answer" in any of the ML books I have read yet... Is there a way to represent a "set of sets" so that a function can process a query such as " is [2] an element of [ 3 , [2], 4, 5]?" I know we can easily do a query such as " is 2 an element of [ 3 , 2, 4, 5]?" I know the problem is that lists cannot have different types, but this is a common, normal query in mathematics so someone must have figured out a way to do it perhaps? -Dave

2 1

Can't unify int (*In Basis*) with LargeInt.int ...
by kostirya＠gmail.com 10 Oct '16

10 Oct '16

Hello. I updated Poly/ML from git (commit aa7bea141f227ea5d7feaa849763ad53fb4147d3) and found that mlsource/extra/CInterface/Examples/NewForeignTest.sml is broken: > env LD_LIBRARY_PATH=. poly --script NewForeignTest.sml (4, 4) (5, 5) (12345, ...) NewForeignTest.sml:133: error: Type error in function application. Function: buildClosure1 : (int -> unit) * int conversion * unit conversion -> (int -> unit) closure Argument: (fn i => print (Int.toString i), cInt, cVoid) : (int -> unit) * LargeInt.int conversion * unit conversion Reason: Can't unify int (*In Basis*) with LargeInt.int (*In Basis*) (Different type constructors) Found near buildClosure1 (fn i => print (... ...), cInt, cVoid) Is LargeInt.int a default int type for FFI now? Nick.

2 1

curl for Poly/ML and MLton
by kostirya＠gmail.com 30 Sep '16

30 Sep '16

Hello Let me introduce you the libcurl for Standard ML and http client with asynchronous support (via sml-ev) https://github.com/kni/sml-curl I hope someone will find it helpful. Nick. P.S. Output of asynchronous example: > ./t-ev-poly libcurl/7.46.0 OpenSSL/1.0.1p zlib/1.2.8 Request: https://www.google.com/ Request: http://sml-family.org/ Request: http://www.polyml.org/ Request: http://www.mlton.org/ Request: http://melsman.github.io/mlkit Answer: 200 (OK) http://www.polyml.org/ Request: http://www.smlserver.org Answer: 200 (OK) http://www.mlton.org/ Request: http://www.mpi-sws.org/~rossberg/hamlet/ Answer: 200 (OK) http://sml-family.org/ Request: http://www.smlnj.org/ Answer: 200 (OK) http://www.elsman.com/mlkit/ Request: http://www.pllab.riec.tohoku.ac.jp/smlsharp/ Answer: 200 (OK) https://www.google.com.ua/?gfe_rd=cr&ei= jCDuV47qFqfA7gSTsbhg Request: http://manticore.cs.uchicago.edu/ Answer: 200 (OK) http://www.mpi-sws.org/~rossberg/hamlet/ Answer: 200 (OK) http://www.smlserver.org/ Answer: 200 (OK) http://www.smlnj.org/ Answer: 200 (OK) http://manticore.cs.uchicago.edu/ Answer: 200 () http://www.pllab.riec.tohoku.ac.jp/smlsharp/

1 0

New kqueue and epoll library for MLton and Poly/ML.
by kostirya＠gmail.com 22 Sep '16

22 Sep '16

Hello. Let me introduce you the kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML). https://github.com/kni/sml-ev I hope someone will find it helpful. Nick.

1 0

wrapping socket with tls
by philneaton95＠gmail.com 21 Sep '16

21 Sep '16

Hello! I've come to in impasse with Ponyo trying to access common REST APIs. I've gotten this far ignoring SSL but it's time to start attacking that. Has anyone done any work on SSL/TLS in Standard ML? I could not find anything on SML/NJ and MLton email archives (and couldn't find a reasonable way to search Poly/ML's). It seems like the Socket module makes the underlying socket int pointer completely opaque. Since that pointer is what you'd need to make the tls call to wrap it in a tls context, it seems like it won't be possible to use the Socket module. I hope I am mistaken because otherwise the necessary step will be to reimplement the Socket module functionality in Ponyo. Any thoughts or suggestions on moving forward? -- Phil Eaton

2 3

Equality Type Parameter in Datatype Declaration
by tjark.weber＠it.uu.se 17 Sep '16

17 Sep '16

Hi, Is the following behavior (of Poly/ML 5.6) intended? > datatype ''a t = C of ''a; datatype 'a t = C of ''b Moreover, Poly/ML rejects a following > C 1.0; while SML/NJ accepts it. Best, Tjark

5 10

FFI overhead
by kostirya＠gmail.com 29 Aug '16

29 Aug '16

I noticed that PolyML FFI (v5.6, Foreign structure) 100 times slower than MLton and Haskell FFI, and 10 times than Perl. :-( But why? After all, Haskell uses also libffi... P.S. I used buildCall3 ((getSymbol libc "foo"), (cUlong, cString, cUint), cUlong) (0, s, String.size s) and buildCall3 ((getSymbol libc "foo"), (cUlong, cPointer, cUint), cUlong) (0, s, String.size s) for test. Nick.

2 2

Interpretation of the profiler output data.
by kostirya＠gmail.com 19 Aug '16

19 Aug '16

Hello. There is profiler output for ProfileTime profileMode: 10 GARBAGE COLLECTION (total) 11 servers_stream(5)c_cb(1) 12 ForeignMemory.addFree(2) 12 VectorSliceOperations().subslice(3) 13 ForeignMemory.memoise(2)(1) 14 main_handle(1) 15 Int.scan(3)read_digits(3) 17 client_stream(7)to_channel(2) 18 ForeignMemory.memoise(2)(1) 23 client_stream(7)s_cb(1)(1) 29 ThreadLib.protect(3) 30 String.concat(1) 35 CoParser.takeStr(1)(1) 41 Substring.string(1) 109 CRC32.crcstringi(2)loop(2) 329 EV.kevent(4) 1132 Socket.recvVec'(3) Where can I get to know the meaning of these numbers? Best regards, Nick.

2 2

reasonably reliably inducing a "run out of store" runtime error in OSX with 5.6 (and a fix!?)
by Michael.Norrish＠data61.csiro.au 09 Aug '16

09 Aug '16

I don't have a small reproduction of the issue, but if you use bin/Holmake --qof with HOL4 at SHA1 6bf2bfd with the following file on a quiet (without much else running at the same time) Macbook Pro (OSX 10.11.6) open HolKernel boolLib bossLib Parse val _ = new_theory"foo248" val _ = Define`foo a b = a < b` val _ = overload_on("<:",``\a b. foo b a``) val _ = export_theory() then you will almost certainly get the following error out of Poly: Run out of store - interrupting threads The file is being read into Poly through a custom use function with its own lexer (to handle the backquotes) with calls to PolyML.compiler. If you add a semicolon at the end of the second line, you don't get the error. With just a bit of load, the error is harder to get. Michael

1 0

← Newer
1
...
13
14
15
16
17
18
19
...
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