On 16/11/11 18:27, David Matthews wrote:
On 16/11/2011 18:07, Phil Clayton wrote:
The calling conventions for x86_64 appear to pass via registers not only
the initial floating point arguments but also the initial int/pointer
arguments:
http://en.wikipedia.org/wiki/X86_calling_conventions
So I su
On 16/11/11 17:59, David Matthews wrote:
On 16/11/2011 17:15, Makarius wrote:
On Wed, 16 Nov 2011, Rob Arthan wrote:
On 16 Nov 2011, at 15:17, Phil Clayton wrote:
I suspect those involved with large scale theorem proving will start
moving to 64 bit OSes, if not already, so one application ca
On 16/11/2011 18:07, Phil Clayton wrote:
The calling conventions for x86_64 appear to pass via registers not only
the initial floating point arguments but also the initial int/pointer
arguments:
http://en.wikipedia.org/wiki/X86_calling_conventions
So I suspect all arguments, not just floating poi
I don't know (apart from the source code). I can't imagine you need to
know much more than the type
'a -> string
which Poly/ML will print back when you enter
PolyML.makestring
On 16/11/11 18:13, Dave Thayer wrote:
Where do I find info on that function?
-Original Message-
From: Ph
What do you mean by the structure? Just typing the value at the
top-level will print a value which may be an arbitrary data structure.
There's no standard way in ML to include general print function within a
piece of code. There is the non-standard PolyML.print function to
pretty-print a valu
Ah. Perhaps PolyML.makestring then?
On 16/11/11 18:11, Dave Thayer wrote:
No you have to know the type of the object to invoke a type specific pretty
printer I want to print arbitrary objects it could be anything. (usually a
small subset of anything) :)
-Original Message-
From: Phil
On 16/11/11 17:59, Dave Thayer wrote:
I have searched the online docs (which are extraordinarily skimpy) for
how I can print the structure of some arbitrary object and can find no
info. Can anyone help please.
Does this one help?
http://www.polyml.org/docs/PrettyPrint.html
Phil
_
On 16/11/11 15:38, David Matthews wrote:
On 16/11/2011 15:17, Phil Clayton wrote:
On 16/11/11 11:17, David Matthews wrote:
On 16/11/2011 04:15, Ian Zimmerman wrote:
Phil> David, My situation is slightly unusual so perhaps it's
Phil> useful/interesting to explain some background. I'm working o
I have searched the online docs (which are extraordinarily skimpy) for how I
can print the structure of some arbitrary object and can find no info. Can
anyone help please.
David
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/
On 16/11/2011 17:15, Makarius wrote:
On Wed, 16 Nov 2011, Rob Arthan wrote:
On 16 Nov 2011, at 15:17, Phil Clayton wrote:
I suspect those involved with large scale theorem proving will start
moving to 64 bit OSes, if not already, so one application can address
more than 4GB memory, as that am
On Wed, 16 Nov 2011, Rob Arthan wrote:
On 16 Nov 2011, at 15:17, Phil Clayton wrote:
I suspect those involved with large scale theorem proving will start
moving to 64 bit OSes, if not already, so one application can address
more than 4GB memory, as that amount of physical memory is becoming
On 16 Nov 2011, at 15:17, Phil Clayton wrote:
> I suspect those involved with large scale theorem proving will start moving
> to 64 bit OSes, if not already, so one application can address more than 4GB
> memory, as that amount of physical memory is becoming quite common these days.
Seconded:
On 16/11/2011 15:17, Phil Clayton wrote:
On 16/11/11 11:17, David Matthews wrote:
On 16/11/2011 04:15, Ian Zimmerman wrote:
Phil> David, My situation is slightly unusual so perhaps it's
Phil> useful/interesting to explain some background. I'm working on
Phil> support for GLib/GTK in SML which
On 16/11/11 11:17, David Matthews wrote:
On 16/11/2011 04:15, Ian Zimmerman wrote:
Phil> David, My situation is slightly unusual so perhaps it's
Phil> useful/interesting to explain some background. I'm working on
Phil> support for GLib/GTK in SML which involves a significant number of
Phil> cal
Andreas,
How much real memory do you have on this machine? I would not expect
that the size of the live data or the CPU time will have changed much,
indeed I would have expected the CPU time to have reduced. There has,
though, been a major change in the garbage-collector and in the way that
On 16/11/2011 04:15, Ian Zimmerman wrote:
Phil> David, My situation is slightly unusual so perhaps it's
Phil> useful/interesting to explain some background. I'm working on
Phil> support for GLib/GTK in SML which involves a significant number of
Phil> calls to C functions.
Last I knew, this
Hi all,
when I build a large session in Isabelle2011-1 (to be precise, an extension of
of JinjaThreads in the Archive of Formal Proofs) with PolyML 5.4.1, this takes
1:51h. While running the session, polyml requires 12GB of memory (VmSize in
/proc//status). The final call to PolyML.shareCommon
17 matches
Mail list logo
