Poly/ML

polyml@lists.polyml.org

695 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

Compilation errors
by karabot＠gmail.com 25 Nov '07

25 Nov '07

Hi, I am having problems compiling Poly-ML 5.1 for Linux (Slackware distro). Here's a partial output of the compilation: % ./configure .... % make .... /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -Wall -O3 -MT xwindows.lo -MD -MP -MF .deps/xwindows.Tpo -c -o xwindows.lo xwindows.cpp g++ -DHAVE_CONFIG_H -I. -I.. -Wall -O3 -MT xwindows.lo -MD -MP -MF .deps/xwindows.Tpo -c xwindows.cpp -fPIC -DPIC -o .libs/xwindows.o /usr/include/X11/VendorP.h:87: error: previous declaration of 'VendorShellClassRec vendorShellClassRec' with 'C++' linkage /usr/include/Xm/VendorSP.h:58: error: conflicts with new declaration with 'C' linkage As well as some info on my system. % uname -a Linux kalamata 2.6.23.1 #3 SMP Fri Oct 19 15:48:57 EDT 2007 i686 Intel(R) Pentium(R) D CPU 3.40GHz GenuineIntel GNU/Linux Has anyone run into such problems? Any suggestions will be appreciated. George

2 1

Patch to Socket.sml and a portable asynchronous programming library for SML
by vesa.a.j.k＠gmail.com 14 Nov '07

14 Nov '07

QXR0YWNoZWQgaXMgYSBwYXRjaCB0byBtYWtlIFBvbHkvTUwncyBTb2NrZXQuaW9EZXNjIGNvbmZv cm0gdG8gdGhlCkJhc2lzIGxpYnJhcnkgc3BlY2lmaWNhdGlvbgooaHR0cDovL3d3dy5zdGFuZGFy ZG1sLm9yZy9CYXNpcy9zb2NrZXQuaHRtbCNTSUc6U09DS0VULmlvRGVzYzpWQUwpLgoKTk9URTog SSBoYXZlbid0IHRlc3RlZCB0aGlzIHBhdGNoIG90aGVyIHRoYW4gYnkgY29tcGlsaW5nIGEgcHJv Z3JhbQooc21sYm90KSB0aGF0IHVzZXMgc29ja2V0cy4gIFlvdSBjYW4gZmluZCB0aGUgcHJvZ3Jh bSBmcm9tIG1sdG9ubGliOgoKICBodHRwOi8vbWx0b24ub3JnL2NnaS1iaW4vdmlld3N2bi5jZ2kv bWx0b25saWIvdHJ1bmsvY29tL3NzaC9hc3luYy91bnN0YWJsZS9leGFtcGxlL3NtbGJvdC8KClRo ZSBwcm9ncmFtIGlzIGFuIGV4YW1wbGUgb2YgdXNpbmcgYSBwb3J0YWJsZSAoY29tcGlsZXMgbm93 IHdpdGgKTUxLaXQsIE1MdG9uLCBQb2x5L01MLCBhbmQgU01ML05KKSBhc3luY2hyb25vdXMgcHJv Z3JhbW1pbmcgbGlicmFyeQpmb3IgU01MOgoKICBodHRwOi8vbWx0b24ub3JnL2NnaS1iaW4vdmll d3N2bi5jZ2kvKmNoZWNrb3V0Ki9tbHRvbmxpYi90cnVuay9jb20vc3NoL2FzeW5jL3Vuc3RhYmxl L1JFQURNRQogIGh0dHA6Ly9tbHRvbi5vcmcvY2dpLWJpbi92aWV3c3ZuLmNnaS8qY2hlY2tvdXQq L21sdG9ubGliL3RydW5rL2NvbS9zc2gvYXN5bmMvdW5zdGFibGUvcHVibGljL2FzeW5jLnNpZwoK LVZlc2EgS2Fydm9uZW4KLS0tLS0tLS0tLS0tLS0gbmV4dCBwYXJ0IC0tLS0tLS0tLS0tLS0tCkEg bm9uLXRleHQgYXR0YWNobWVudCB3YXMgc2NydWJiZWQuLi4KTmFtZTogc29ja2V0LnBhdGNoClR5 cGU6IHRleHQveC1kaWZmClNpemU6IDE0MDIgYnl0ZXMKRGVzYzogbm90IGF2YWlsYWJsZQpVcmwg OiBodHRwOi8vbGlzdHMuaW5mLmVkLmFjLnVrL21haWxtYW4vcHJpdmF0ZS9wb2x5bWwvYXR0YWNo bWVudHMvMjAwNzExMTQvYjI1ZmI0NzIvc29ja2V0LmJpbgo=

2 1

Re: [Alice-users] hello world in Alice
by vesa.a.j.k＠gmail.com 14 Nov '07

14 Nov '07

T24gTm92IDE0LCAyMDA3IDU6NDggUE0sIE1pY2hlbGUgU2ltaW9uYXRvIDxtaWNoZWxlLnNpbWlv bmF0b0BnbWFpbC5jb20+IHdyb3RlOgo+IE9uIE5vdiAxNCwgMjAwNyA0OjMwIFBNLCAgPHJvc3Ni ZXJnQG1waS1zd3MubXBnLmRlPiB3cm90ZToKWy4uLl0KPiBXZWxsLCBpZiBhIGxhbmd1YWdlIGhh cyBhbiBpbnRlcmFjdGl2ZSB0b3BsZXZlbCAob3IgYSB2ZXJ5IGZhc3QgY29tcGlsZXIpIEkKPiBk b24ndCBzZWUgd2h5IG5vdCB0byB1c2UgaXQgYSBzY3JpcHRpbmcgbGFuZ3VhZ2UuIFsuLi5dCgpS aWdodC4gIFBvbHkvTUwgaGFzIGEgdmVyeSBmYXN0IGNvbXBpbGVyICh0aG91c2FuZHMgb2YgbGlu ZXMgcGVyIHNlY29uZCkuCgo+IFlvdSBkb24ndCBuZWVkIHRvIGNoYW5nZSB0aGUgc3ludGF4IG9m IFNNTC4KClJpZ2h0IGFnYWluLgoKPiBZb3UganVzdCBuZWVkIHRvIHB1dCBhIGZyb250LWVuZCBz dHJpcHBpbmcgdGhlIGZpcnN0IGxpbmUgaWYgaXQgYmVnaW5zIHdpdGgKPiAjISBhbmQgZGlzcGF0 Y2hpbmcgdGhlIGNvZGUgdG8gdGhlIGludGVyYWN0aXZlIGludGVycHJldGVyLgoKSW5kZWVkLiAg SSBqdXN0IHdyb3RlIGEgdG95L2tsdWRnZSBzY3JpcHQgbGlrZSB0aGF0IGZvciBleHBlcmltZW50 aW5nCndpdGggd3JpdGluZyBQb2x5L01MIHNjcmlwdHMuICBZb3UgY291bGQgcHJvYmFibHkgYWRh cHQgaXQgZm9yIEFsaWNlCk1MLiAgTm90ZSwgaG93ZXZlciwgdGhhdCB0aGUgc2NyaXB0ICJwb2x5 c2NyaXB0IiBpcyBkZWZpbml0ZWx5IGtsdW5reQphbmQgZG9lc24ndCBoYW5kbGUgYWxsIGtpbmRz IG9mIGlucHV0IHByb3Blcmx5LiAgSW4gcGFydGljdWxhciwgdGhlCndheSBpdCBwYXNzZXMgdGhl IHBhcmFtZXRlcnMgdG8gdGhlIHNjcmlwdCBpcyB0b3RhbGx5IHVnbHkgYW5kCmZyYWdpbGUuICBU aGUgc2FtZSBnb2VzIGZvciB0aGUga2x1ZGdlIHRvIHN0cmlwIG9mIHVud2FudGVkIG91dHB1dApw ZXJmb3JtZWQgYnkgUG9seS9NTC4gIEl0IHdvdWxkIGJlIGJldHRlciB0byBleHRlbmQgdGhlIFBv bHkvTUwKY29tcGlsZXIgd2l0aCBhbiBvcHRpb24gdG8gc3RvcCBwcm9jZXNzaW5nIGFyZ3VtZW50 cyAoYW5kIG1ha2UKIkNvbW1hbmRMaW5lLmFyZ3VtZW50cyAoKSIgcmV0dXJuIHRoZSByZXN0IG9m IHRoZSBhcmd1bWVudHMpLCBhbm90aGVyCm9wdGlvbiB0byBub3QgcHJpbnQgYW55IHByb21wdCBh bmQgb25lIG1vcmUgb3B0aW9uIHRvIHNldCB0aGUKcHJpbnRfZGVwdGggKHRoZXNlIG9wdGlvbnMg c2hvdWxkIG5vdCBiZSB0b28gZGlmZmljdWx0IHRvIGltcGxlbWVudCkuCgotVmVzYSBLYXJ2b25l bgotLS0tLS0tLS0tLS0tLSBuZXh0IHBhcnQgLS0tLS0tLS0tLS0tLS0KAnontextattachmentwa sscrubbedNameargssmlTypeapplication/smilSize214bytesDescnotavailableUrlhttp/ /listsinfedacuk/mailman/private/polyml/attachments/20071114/fff17980/argssmi LS0tLS0tLS0tLS0tLS0gbmV4dCBwYXJ0IC0tLS0tLS0tLS0tLS0tCkEgbm9uLXRleHQgYXR0YWNo bWVudCB3YXMgc2NydWJiZWQuLi4KTmFtZTogcG9seXNjcmlwdApUeXBlOiBhcHBsaWNhdGlvbi9v Y3RldC1zdHJlYW0KU2l6ZTogMTAzMyBieXRlcwpEZXNjOiBub3QgYXZhaWxhYmxlClVybCA6IGh0 dHA6Ly9saXN0cy5pbmYuZWQuYWMudWsvbWFpbG1hbi9wcml2YXRlL3BvbHltbC9hdHRhY2htZW50 cy8yMDA3MTExNC9mZmYxNzk4MC9wb2x5c2NyaXB0Lm9iago=

1 0

← Newer
1
...
55
56
57
58
59
60
61
...
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