Re: [polyml] Debugging : breakAt

t;breakHere(); >false > end; > > David > > > On 14/05/2016 09:19, Artella Coding wrote: > >> Hi, suppose that I have the following code ("basics.ml") : >> >> >> (* basics.ml *) >> >> fu

[polyml] Debugging : breakAt

Hi, suppose that I have the following code ("basics.ml") : (* basics.ml *) fun is_divisible(n : int, currentDivisor : int) = if currentDivisor <= n - 1 then n mod currentDivisor = 0 orelse is_divisible(n, currentDivisor + 1) else false; (*

Re: [polyml] ML debugging within Isabelle/PIDE

Hi, I thought I would give this a try (I know nothing about Isabelle or HOL). So I downloaded the executable at http://isabelle.in.tum.de/website-Isabelle2016-RC3/ and then ran ./Isabelle2016-RC3 At first it started building loads of files but I ran out of memory so had to stop that building.

[polyml] polyml mailing list not searchable by search engines

For example : https://encrypted.google.com/search?as_q=_sitesearch=http%3A%2F%2Flists.inf.ed.ac.uk%2Fpipermail%2Fpolyml I personally think it would be better to have the mailing list searchable, either by allowing search engines to have access or having a built in site search. Thanks

Re: [polyml] Changes to Foreign structure

Hi, so if my interpretation of the above is correct the timings shouldn't be changing (i.e. one shouldn't be expecting the timings to improve)? The benchmarks seem to indicate this. I modified the second benchmark in http://lists.inf.ed.ac.uk/pipermail/polyml/2015-October/001673.html [the one with

Re: [polyml] New Foreign Function Interface

Hi, thanks I tried the new FFI and it is definitely faster. Out of curiosity why do the stacks need to be seperate? Would it not be possible to have a ForeignUnsafe for which they share the same stack? Thanks On Sat, Oct 10, 2015 at 1:39 PM, David Matthews < david.matth...@prolingua.co.uk>

Re: [polyml] New Foreign Function Interface

bench i = if i = loops then () else let val _ = () in loop (pData2); bench (i+1) end in bench 1 end fun main () = let val pData = c_createIntArray(size); in benchmarkRun(pData); print (Int.toString (c_getSumIntArray (pData))); print &quo

Re: [polyml] FFI overhead

0 PM, David Matthews < david.matth...@prolingua.co.uk> wrote: > On 21/09/2015 06:49, Artella Coding wrote: > >> Hi, thanks for the pointers on the ffi. >> >> "I strongly suspect that SML functions like IntArray.update take less time >> than the FFI overhead, so n

Re: [polyml] Using a finalizer with multiple arguments

Hi Phil, Can't you wrap the array and size in a struct. For example in https://github.com/polyml/polyml/tree/cb1b36caa242fc6ea9f74b015158466efac68d66/mlsource/extra/CInterface/Examples we have : - //ForeignTest.c typedef struct _tree { struct _tree *left, *right;

[polyml] Program seems to run instead of just compiling

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

Re: [polyml] Entrypoint into sml main from C

error-exit "$1" "$2" } function in polyc.in at https://github.com/polyml/polyml/blob/ce3107ba56c642bb0e1e8f60605018f9f46c49e8/polyc.in ? On Fri, Sep 4, 2015 at 10:59 AM, David Matthews < david.matth...@prolingua.co.uk> wrote: > On 03/09/2015 22:38, Artella Coding

[polyml] Anyone having problems getting through to http://www.polyml.org/ ?

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

Re: [polyml] Building with msys GNU Make 3.82 (windows 7)

Is this because I have Exception : seh instead of : Exception : dwarf in my installation of g++? Thanks On Thu, Aug 27, 2015 at 6:30 AM, Artella Coding artella.cod...@googlemail.com wrote: Hi, now I am getting a new error. To summarise I installed : mingw : version 4.9.3

Re: [polyml] Building with msys GNU Make 3.82 (windows 7)

Thanks On Wed, Aug 26, 2015 at 10:27 PM, David Matthews david.matth...@prolingua.co.uk wrote: On 26/08/2015 22:03, Makarius wrote: On Wed, 26 Aug 2015, Artella Coding wrote: I tried the msys instructions and encountered an error upon running make. /bin/sh: line 9: makeinfo: command