Poly/ML December 2007

polyml@lists.polyml.org

8 participants
7 discussions

How to return void from a callback function
by homma＠gf6.so-net.ne.jp 31 Dec '07

31 Dec '07

Hi, I wrote a program(glut01.sml) that uses GLUT library through Poly/ML's CInterface infrastructure on Mac OS X. But it doesn't work. It aborts with an IOException after "glutDisplayFunc". An execution log(glut-exec.log) and an error message (glut-error.log) are attached. I thought there are some problems around the callback function. So I wrote 2nd program(glut02.sml). As you see, I changed the "glutDisplayFunc" to accept a function that returns "LONG" (which is wrong by the definition of the original function) instead of "VOID". And it works fine(does not abort). Also, I wrote some test code(prog01.c, prog01.sml) those have the same problem as glut01.sml. And a wrong "fixed" version(prog02.c, prog02.sml) that works as I intent. What is the right way to write a callback function that returns (void) without writing it as returning long value? best regards, Daisuke Homma

2 2

funny error: not a type construction
by itz＠madbat.mine.nu 28 Dec '07

28 Dec '07

I get this: Exception- Fail "Invalid type (not a type construction)" raised The context: I run a toplevel built by compiling Vesa Karvonen's "extended-basis" library and doing PolyML.export (_, PolyML.rootFunction). Into this toplevel I load the enclosed Word31 module. My guess is this happens because extended-basis rebinds some basis types which are normally special-cased by the poly pretty-printer, but aren't recognized as special anymore after the rebinding. Anyway, it works ok with the normal poly. Who's to "blame"? And is there a workaround? structure Word31 :> WORD = struct infix 8 << >> ~>> type word = Word32.word val wordSize = 31 val toLarge = Word32.toLarge val toLargeWord = toLarge fun toLargeX w = let open Word32 in if andb (w, 0wx40000000) = 0wx0 then toLargeX w else toLargeX (orb (w, 0wx80000000)) end val toLargeWordX = toLargeX fun fromLarge wl = let open Word32 in andb (fromLarge wl, 0wx7fffffff) end val fromLargeWord = fromLarge val toLargeInt = Word32.toLargeInt fun toLargeIntX w = let open Word32 in if andb (w, 0wx40000000) = 0wx0 then toLargeIntX w else toLargeIntX (orb (w, 0wx80000000)) end fun fromLargeInt i = let open Word32 in andb (fromLargeInt i, 0wx7fffffff) end val toInt = Word32.toInt fun toIntX w = let open Word32 in if andb (w, 0wx40000000) = 0wx0 then toIntX w else toIntX (orb (w, 0wx80000000)) end fun fromInt i = let open Word32 in andb (fromInt i, 0wx7fffffff) end val andb = Word32.andb val orb = Word32.orb val xorb = Word32.xorb fun notb w = let open Word32 in andb (notb w, 0wx7fffffff) end fun w << i = let open Word32 in andb (w << i, 0wx7fffffff) end val op >> = Word32.>> fun w ~>> i = let open Word32 in if andb (w, 0wx40000000) = 0wx0 then w ~>> i else orb (w ~>> i, 0wx40000000) end fun w1 + w2 = let open Word32 in andb (w1 + w2, 0wx7fffffff) end fun w1 - w2 = let open Word32 in andb (w1 - w2, 0wx7fffffff) end fun w1 * w2 = let open Word32 in andb (w1 * w2, 0wx7fffffff) end val op div = Word32.div val op mod = Word32.mod val compare = Word32.compare val op < = Word32.< val op > = Word32.> val op <= = Word32.<= val op >= = Word32.>= fun ~ w = let open Word32 in andb (~ w, 0wx7fffffff) end val min = Word32.min val max = Word32.max val fmt = Word32.fmt val toString = Word32.toString fun scan radix getc strm = let open Word32 in case scan radix getc strm of NONE => NONE | res as SOME (w, strm') => if andb (w, 0wx80000000) = 0wx0 then res else raise Overflow end val fromString = StringCvt.scanString (scan StringCvt.HEX) (* the rest is for building on top of Vesa Karvonen's mltonlib extensions *) type largeable_large = LargeWord.word type bitwise = word val numBytes = 4 local fun mk idx w = Word8Vector.tabulate (numBytes, fn i => (Word8.fromLarge o LargeWord.>>) (toLarge w, Word.<< (Word.fromInt (idx i), 0w3))) in val toBigBytes = mk (fn i => Int.- (Int.- (numBytes, 1), i)) val toLittleBytes = mk (fn i => i) end val toWord8 = Word8.fromLarge o toLarge val toWord8X = toWord8 val fromWord8 = fromLarge o Word8.toLarge val fromWord8X = fromLarge o Word8.toLargeX local fun mk fold bs = if numBytes <> Word8Vector.length bs then raise Subscript else fold (fn (b, w) => Word32.orb (Word32.<< (w, 0w8), fromWord8 b)) (Word32.fromInt 0) bs in val fromBigBytes = mk Word8Vector.foldl val fromLittleBytes = mk Word8Vector.foldr end val isoWord8 = (toWord8, fromWord8) val isoWord8X = (toWord8X, fromWord8X) val toWord = Word.fromLarge o toLarge val toWordX = Word.fromLarge o toLargeX val fromWord = fromLarge o Word.toLarge val fromWordX = fromLarge o Word.toLargeX val isoWord = (toWord, fromWord) val isoWordX = (toWordX, fromWordX) val toFixedInt = Int32.fromLarge o toLargeInt val fromFixedInt = fromLargeInt o Int32.toLarge val toFixedIntX = Int32.fromLarge o toLargeIntX val isoFixedInt = (toFixedInt, fromFixedInt) val isoFixedIntX = (toFixedIntX, fromFixedInt) val isoLarge = (toLarge, fromLarge) val isoLargeInt = (toLargeInt, fromLargeInt) val isoLargeX = (toLargeX, fromLarge) val isoLargeIntX = (toLargeIntX, fromLargeInt) val isoInt = (toInt, fromInt) val isoIntX = (toIntX, fromInt) val isoLargeWord = isoLarge val isoLargeWordX = isoLargeX val isoBigBytes = (toBigBytes, fromBigBytes) val isoLittleBytes = (toLittleBytes, fromLittleBytes) fun op == (w1, w2) = w1 = w2 fun op != (w1, w2) = w1 <> w2 fun inRange (w1, w2) w = if w1 > w2 then raise Domain else w1 <= w andalso w <= w2 fun isEven w = (w andb 0wx1) = 0wx0 fun isOdd w = (w andb 0wx1) = 0wx1 fun isZero w = w = 0wx0 type bounded = word type bounded_ex = word val minValue = 0wx0 val maxValue = 0wx7fffffff val largestPrime = maxValue val bounds = (minValue, maxValue) type formattable = word type scannable = word type intable = word type largeable = word type equality = word type equality_ex = word type ordered = word type ordered_ex = word type shiftable = word type stringable = word type stringable_ex = word type wordable = word type formattable_format = StringCvt.radix type scannable_format = StringCvt.radix val embString = (toString, fromString) type t = word end (* Because we are using opaque signature matching we have to install type-dependent functions OUTSIDE the structure. *) local open RuntimeCalls structure Conversion = RunCall.Run_exception1 ( type ex_type = string; val ex_iden = EXC_conversion ); exception Conversion = Conversion.ex; (* The string may be either 0wnnn or 0wxXXX *) fun convWord s : Word31.word = let val radix = (* The word value must consist of at least 0w and a digit. *) if String.sub(s, 2) = #"x" then StringCvt.HEX else StringCvt.DEC in case StringCvt.scanString (Word31.scan radix) s of NONE => raise Conversion "Invalid word8 constant" | SOME res => res end (* Install the pretty printer for Word31.word *) fun pretty(p, _, _, _) _ _ x = p("0wx" ^ Word31.toString x) in val it: unit = RunCall.addOverload convWord "convWord" val it: unit = RunCall.Inner.install_pp pretty end; (* Add the overloaded operators. *) RunCall.addOverload Word31.~ "~"; RunCall.addOverload Word31.+ "+"; RunCall.addOverload Word31.- "-"; RunCall.addOverload Word31.* "*"; RunCall.addOverload Word31.div "div"; RunCall.addOverload Word31.mod "mod"; RunCall.addOverload Word31.< "<"; RunCall.addOverload Word31.> ">"; RunCall.addOverload Word31.<= "<="; RunCall.addOverload Word31.>= ">="; -- Ham is for reading, not for eating.

3 4

Accessing the x from a "SOME x" option datatype expression
by karabot＠gmail.com 22 Dec '07

22 Dec '07

Hello, Isabelle has the following definition under HOL: consts the :: "'a option => 'a" primrec "the (Some x) = x" I am wondering if there is anything equivalent in ML? TIA, George

3 2

Re: Q: meta programming (runtime code generation) in PolyML ?
by David.Matthews＠prolingua.co.uk 17 Dec '07

17 Dec '07

I thought I'd sent this to the list but I put the wrong address and I've only just realised! Basile STARYNKEVITCH wrote: > Does PolyML provide facilities to generate (machine) code at runtime (on > Linux/AMD64 or Linux/x86), either in a type safe way (in the spirit of > MetaML or MetaOcaml) or in a more low level unsafe way (e.g. like LLVM, > Libjit, GNU lightning, ....) No, the best solution is certainly to generate ML code and then run that through the compiler. It might be possible to interact with the compiler at a different level if an interface were provided to do that and there are really two levels where that might be possible. The compiler first parses the source into an abstract syntax tree and then runs over that to do type-checking. After that it generates a second "code tree" from the parse tree. The code tree goes through the optimiser which generates a new, optimised version and feeds this into the machine-dependent code-generator. You can see the results of the various phases by turning on the parsetree, codetree, codetreeAfterOpt and assemblyCode flags in PolyML.Compiler. There's little advantage in generating the abstract syntax tree (parse tree) compared with feeding in ML source directly. Generating the code tree is a possible route in and might be a way to make use of the back-end of the compiler if you had a programming language with a different type system from ML's. Since there's no checking of code tree for type-safety or validity you would be very much on your own. Actually, that was the way the original Poly/ML compiler was developed. Originally, Poly was a compiler for the Poly language written in Poly and the ML part was a separate front end that took Standard ML and generated the code tree. Only much later was the whole thing translated into ML and the Poly compiler removed. David.

1 0

stumped
by itz＠madbat.mine.nu 17 Dec '07

17 Dec '07

For the last 4 hours or so, I have been trying to compile the enclosed fragment of SML/NJ Util library with Poly/ML 5.1. I can't understand why it behaves this way: itz@unicorn:~/smlnj-lib-poly/Util$ poly Poly/ML 5.1 Release > use "lib-base-sig.sml" ; ... (* fine *) > use "lib-base.sml" ; ... (* fine *) > use "bit-vector-sig.sml"; ... (* fine *) > use "bit-vector2.sml"; Error: in 'bit-vector2.sml', line 1. Can't match BitVector.vector to {} (Incompatible types) While checking (update) near structure BitVector :> BIT_VECTOR = struct local structure W8A = Word8Array; structure W8V = Word8Vector; val ...; ...; ... in type elem = bool; val ... = ...; datatype ...; ...; ... end end Exception- Fail "Static errors (pass2)" raised > Is poly trying to unify BitVector.vector with a record type? Why?

2 1

Q: meta programming (runtime code generation) in PolyML ?
by basile＠starynkevitch.net 08 Dec '07

08 Dec '07

Hello All, (I asked something similar to poly@prolingua...) Does PolyML provide facilities to generate (machine) code at runtime (on Linux/AMD64 or Linux/x86), either in a type safe way (in the spirit of MetaML or MetaOcaml) or in a more low level unsafe way (e.g. like LLVM, Libjit, GNU lightning, ....) Regards Ref: http://metaocaml.org/ http://llvm.org/ https://savannah.gnu.org/projects/lightning/ http://www.gnu.org/software/lightning/ Regards -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***

2 3

Release of version 5.1
by David.Matthews＠prolingua.co.uk 03 Dec '07

03 Dec '07

I've now installed the official release of Poly/ML 5.1 on sourceforge. I'll update the web site shortly. As well as the various fixes and updates I mentioned earlier, such as threading and saving state, there were also some last-minute fixes to get Poly/ML working on the new Mac OS X release. There are a few minor bugs that were reported that I have held over to the next release rather than risk breaking existing code. I'll add the fixes to CVS. That version will become a testing release of 5.2. It would be helpful to be kept aware if anyone is planning to package Poly/ML for any of the distributions just to keep track of them and to avoid duplication of effort. David.

3 2

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 December 2007