Poly/ML March 2011

polyml@lists.polyml.org

5 participants
6 discussions

Inspecting structures
by ramana.kumar＠gmail.com 27 Jan '16

27 Jan '16

Is there a way to look at the contents (i.e. signature) of a structure without opening it? (I suppose you could just open it then call a lot of PolyML.Compiler.forgetXXX, but that's quite tedious) Also, is it possible to retrieve the long path of an identifier in scope? Something that will, for example, take the rev in scope and say that it came from List. Finally, what about searching for an identifier that would come into scope if you opened some structures?

3 5

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 29 Dec '14

29 Dec '14

I wrote: > I am completely baffled. I thought I hada solved all my problems on > MacOS X > 10.6 and was just tidying up, when I had to recompile a 32 bit > version of > Poly/ML to test a tidied up make file. This failed because > PolyML.Compiler.printTypesWithStructureName no longer exists. The same > problem happened when i rebuild a 64 bit version. What has happened? but it was a false alarm: my make file was wrong for other reasons and the absence of PolyML.Compiler.printTypesWithStructureName was not relevant. No doubt there are good reasons why this variable has been withdrawn. Regards, Rob.

3 6

Fwd: creating heterogeneous array in the Poly/ML codetree
by yli＠cse.tamu.edu 15 Mar '11

15 Mar '11

To the list. -------- Original Message -------- Subject: creating heterogeneous array in the Poly/ML codetree Date: Thu, 10 Mar 2011 16:07:50 -0600 From: Yue Li <yli(a)cse.tamu.edu> Organization: CSE Department, Texas A&M To: David Matthews <David.Matthews(a)prolingua.co.uk> CC: Gabriel Dos Reis <gdr(a)cs.tamu.edu> Dear David, Is there any way to create a heterogeneous array in the Poly/ML codetree with known size, but whose elements can be values of any type and I don't necessarily want to use ML-style datatype. For instance, elements in the array can be integer values, or function values or arrays? Best, Yue

4 4

Re: creating heterogeneous array in the Poly/ML codetree
by David.Matthews＠prolingua.co.uk 12 Mar '11

12 Mar '11

This sounds like an ML tuple but tuples are always immutable i.e. the fields cannot be updated. In ML "array" is used for an updatable data-structure. Is that what you mean? By "known size" do you mean a size specified at compile-time? Are the index values always compile-time constants or can they be calculated at run-time? Regards, David On 10/03/2011 22:07, Yue Li wrote: > Dear David, > > Is there any way to create a heterogeneous array in the Poly/ML codetree > with known size, but whose elements can be values of any type and I don't > necessarily want to use ML-style datatype. For instance, elements in the > array can be integer values, or function values or arrays? > > Best, > > > Yue

1 0

Infinite loop when forcing GC after creating a weak pointer
by ivan.tomac＠gmail.com 03 Mar '11

03 Mar '11

Entering this from the REPL appears to make Poly/ML go into an infinite loop: $ rlwrap poly Poly/ML 5.4 Release > val w = let val x = SOME (ref 3) in Weak.weak x end; val w = ref (SOME (ref 3)): int ref option ref > PolyML.fullGC ();

2 1

Poly/ML codetree generation
by yli＠cse.tamu.edu 01 Mar '11

01 Mar '11

Dear David, So far I've been able to generate Poly/ML style codetree for a subset of Spad language used in OpenAxiom. The codetree is written into a text file. As an example, for the following spad function: foo (a : Integer) : Integer == a := a + 1 a I currently generate the following intermediate code: DECL #1{0 uses} = LAMBDA( foo(2) CL=false CR=0 LEV=0 LOCALS=0 ARGS=G ARGLIVES= RES=G CLOS=() BLOCK(BLOCK(DECL #2{0 uses} = RECCONSTR(PARAM(0,1), PARAM(0,2)); BLOCK(DECL #3{0 uses} = GLOBAL (FUN "run_call2(1)", LAMBDAINLINE( runcall2(1) CL=false CR=0 LEV=0 LOCALS=0 ARGS=G ARGLIVES= RES=G CLOS=() LOCAL(1,1) G $(INDIRECT(0, PARAM(0,1)) G, INDIRECT(1, PARAM(0,1)) G)){LAMBDA} ) (*GLOBAL*){early} G $(INDIRECT(0, LOCAL(0, 2)), LIT1 G); DECL #4{0 uses} = LOCAL(0, 3); LOCAL(0, 4) ) ) )){LAMBDA}" I also wrote a ML library which reads in and parses the codetree string. Does my current approach look sensible to you? What would you suggest if improvements are needed? I'm thinking that the next step for me is to call Poly/ML middle functions that would take the codetree and evaluate the entire codetree for a Spad function (and then hopefully a Spad domain.) I've read the code and the documentation in the codetree source code files. Is there any way for me to call the codetree functions as a library in my ML code? Thanks, Yue

2 4

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 March 2011