Poly/ML

polyml@lists.polyml.org

2 participants
698 discussions

Start a nNew thread

Bug in x86-64 version of >=PolyML-5.4.1
by rene.neumann＠in.tum.de 21 Nov '12

21 Nov '12

Skipped content of type multipart/mixed

3 3

Re: reading a file on byte level
by David.Matthews＠prolingua.co.uk 17 Oct '12

17 Oct '12

Michael, It's probably a good idea to send questions like this to the Poly/ML mailing list and I'm copying this reply to the list. There are people on the list who may have experience of what you're trying to do and also any replies get archived and reduce the chances of the same question being asked repeatedly. To reply to your specific question: there's no difference in efficiency between TextIO and BinIO on Unix. On Windows TextIO is more complicated because of the need to convert between CRLF and "\n". I'm not clear how you are accessing the file, whether it is random or sequential. To read individual bytes you can always use BinIO.input1 or TextIO.input1. This would save you having to explode a vector. BinIO deals with values of type Word8.word and the vector is Word8Vector.vector. These are unsigned byte values. Regards, David On 16/10/2012 20:59, Michael Moeller wrote: > Hi, > > I've got a problem regarding huge files as input. I need to get access to > the single byteslike with fgetc() in C. TextIO and subsequently exploding > the string does the jobbut performance matters and it seems to me like > BinIOsaves me from the 'explode' step.Unfortunately I can't figure out > how to access theresulting BinIO.vector. I'd be appreciative to seean > exampleand please tell me if this is not the right approach. > > Regards, > Michael >

3 4

32 bit Compiler stuck
by Bernard.Berthomieu＠laas.fr 07 Oct '12

07 Oct '12

Hello, When compiling the following function with 32 bit poly, the compiler does not return (tried on Unixes). No problem with 64 bit poly. fun h x = let val m = 0wx5bd1e995 val h0 = Word.xorb( x, 0wx1e3779b9) val k0 = x * m val k1 = Word.xorb( k0, Word.>>( k0, Word.fromInt 24)) val k2 = k1 * m val h1 = h0 * m in Word.xorb( h1, k2 ) end; Best Regards, Bernard.

2 1

Trends in Functional Programming 2013: 1st Call for Papers
by jay.mccarthy＠gmail.com 05 Oct '12

05 Oct '12

CALL FOR PAPERS 14th International Symposium Trends in Functional Programming 2013 Brigham Young University, Utah, U.S.A. May 14-16, 2013 http://faculty.cs.byu.edu/~jay/conferences/2013-tfp/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below), described in draft papers submitted prior to the symposium. A formal post-symposium refereeing process then selects a subset of the articles presented at the symposium and submitted for formal publication. Selected papers will be published as a Springer Lecture Notes in Computer Science (LNCS: http://www.springer.com/lncs) volume. TFP 2013 will be the main event of a pair of functional programming events at Brigham Young University. First will be the International Workshop on Trends in Functional Programming in Education and then TFP. The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004, in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006, in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008, in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid (Spain) in 2011, and in St. Andrews (UK) in 2012. For further general information about TFP please see the TFP homepage at http://www.tifp.org/. SCOPE OF THE SYMPOSIUM The symposium recognises that new trends may arise through various routes. As part of the symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarising work with respect to a trendy subject Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Articles on the following subject areas are particularly welcome: . Functional programming and multicore/manycore computing . Functional programming in the cloud . Functional programming in education . High performance functional computing . Extra-functional (behavioural) properties of functional programs . Dependently typed functional programming . Validation and verification of functional programs . Using functional techniques to verify/reason about imperative/object-oriented programs . Debugging for functional languages . Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. . Interoperability with imperative programming languages . Novel memory management techniques . Program transformation techniques . Empirical performance studies . Abstract/virtual machines and compilers for functional languages . New implementation strategies . Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2013 program chair, Jay McCarthy, at tfp2013 at easychair.org BEST STUDENT PAPER AWARD TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. SUBMISSION AND DRAFT PROCEEDINGS Acceptance of papers for presentation at the symposium is based on a lightweight screening process of extended abstracts (2 to 10 pages in length) or full papers (max 16 pages). Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings. Latex style files are available from Springer's web page (llncs2e.zip), and are linked below. The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. Formatting details can be found at the TFP 2013 website. Paper submission is done through TFP13's EasyChair page: https://www.easychair.org/conferences/?conf=tfp2013 Important dates (2013): Full papers/extended abstracts submission: March 2nd to April 2nd, 2013 Notification of acceptance for presentation: Submission + one week Early registration deadline: Tuesday, April 16th, 2013 Late registration deadline: TBA, 2013 Camera ready for draft proceeding: Monday, April 29th, 2013 The papers of the local proceedings will also be made available on-line under some copyright conditions, with which all authors are asked to agree. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the symposium draft proceedings, we will continue the previous years' decision of publishing a high-quality subset of contributions in the Springer Lecture Notes in Computer Science (LNCS) series. Proceedings of the last three instances of TFP have been published as LNCS 6546 (TFP10), LNCS 7193 (TFP11), and LNCS TBA (TFP12). All TFP authors will be invited to submit revised papers after the symposium. These will be refereed using normal conference standards and a subset of the submitted papers, over all categories, will be selected for publication. Papers will be judged on their contribution to the research area with appropriate criteria applied to each category of paper. Student papers will be given extra feedback by the Program Committee in order to assist those unfamiliar with the publication process and to help in improving the quality of the paper. Important dates (2013): TFP 2013 Symposium: Tuesday, May 14th, 2013 -- Thursday May 16, 2013 Student papers feedback: Friday, May 24th, 2013 Submission for formal review: Friday, June 21st, 2013 Notification of acceptance for LNCS: Friday, August 30th, 2013 Camera ready paper: Friday, September 27th, 2013 REGISTRATION Registration for TFP13, as well as the adjoined workshops, is handled through the on-line registration page below. Note that for guaranteed on-site accommodation, registration must be completed by the early registration deadline. TBA TFP 2013 ORGANIZATION Steering Committee Chair: Marko van Eekelen, Radboud University Nijmegen and Open University, NL Steering Committee Treasurer: Hans-Wolfgang Loidl, Heriot-Watt University, UK Symposium Organization Chair: Jay McCarthy, Brigham Young University, Utah, U.S.A Local Arrangements: Jay McCarthy, Brigham Young University, Utah, U.S.A TFP 2013 PROGRAMME COMMITTEE Chair: Jay McCarthy from Brigham Young University Andy Gill from the University of Kansas Arjun Guha from Cornell University Clara Segura from Complutense University of Madrid Danny Yoo from the University of Utah Henrik Nilsson from University of Nottingham James Caldwell from the University of Wyoming John Clements from California Polytechnic State University Jurriaan Hage from Universiteit Utrecht Keiko Nakata from Institute of Cybernetics at Tallinn University of Technology Marko van Eekelen from Open University of the Netherlands and Radboud University Nijmegen Nikhil Swamy from Microsoft Research Rita Loogen from Philipps-Universit?t Marburg Sergio Antoy from Portland State University Suresh Jagannathan from Purdue University Tom Shrijvers from Ghent University Vikt?ria Zs?k from E?tv?s Lor?nd University, Budapest Wolfgang De Meuter from Vrije Universiteit Brussel SPONSORS TFP 2013 is sponsored by the Brigham Young University Computer Science department. INVITED SPEAKER In this instance of TFP, an invited talk will be given by Jeremy Siek, Assistant Professor at University of Colorado at Boulder. Prof Siek will be talking on the gradual typing approach to mixing static and dynamic typing. LINKS Main TFP13 page: http://faculty.cs.byu.edu/~jay/conferences/2013-tfp/ TFP home page: http://www.tifp.org/ Submission page: https://www.easychair.org/conferences/?conf=tfp2013 Latex style files: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip Registration page: TBA -- Jay McCarthy <jay(a)cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay "The glory of God is Intelligence" - D&C 93

1 0

Re: [Hol-info] HOL installation problem
by itz＠buug.org 04 Oct '12

04 Oct '12

Mitra> Hello All, I am installing HOL for the first time. I have already Mitra> installed polyml as per the instructions given by its developers. Mitra> However, I face the following problem while smart-configuring. Mitra> OS: linux Mitra> Poly/ML 5.4.1 Release Mitra> # Making tools/mlyacc/mlyacc.exe. Mitra> /net/camugnano/dataL/mpu/CryptographyVerification/TheoremProvers/hol4.k.7/tools/mllex/mllex.exe: Mitra> error while loading shared libraries: libpolyml.so.3: cannot open shared Mitra> object file: No such file or directory Mitra> Failed to build mlyacc. What kind of linux are you on? Distribution, architecture? Have you installed polyml from source or from a package in your distro? What is the output of the following command? locate libpolyml.so.3 This is more suitable for the polyml list, so redirecting there. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png Rule 420: All persons more than eight miles high to leave the court.

2 1

_environ not found in polyml applications on Mac
by Bernard.Berthomieu＠laas.fr 03 Oct '12

03 Oct '12

Hello, poly builds and runs fine on mac, but standalone applications do not work (on OSX 10.6.8, at least). When running aplications, one gets: dyld: Symbol not found: _environ Referenced from: / ... /lib/libpolyml.4.dylib Expected in: flat namespace in / ... /lib/libpolyml.4.dylib Trace/BPT trap It happens that variable environ cannot be accessed directly from shared libraries; there is a paragraph about that in the environ(7) man page (last paragraph). The fix is to replace in file libpolyml/process_env.cpp the line: extern char **environ; by: #if __APPLE__ #include <crt_externs.h> #define environ (*_NSGetEnviron()) #else extern char **environ; #endif Best, Bernard.

2 2

poly configure options
by Bernard.Berthomieu＠laas.fr 02 Oct '12

02 Oct '12

Hello, First, congratulations to the Polyml 5.5 developpers ! To give it a serious try, I need to compile poly for various architectures, in both 32 bit and 64 bit versions. I could successfully compile the 64 bit version for MacOSX on my macbook (that compiles in 64 bits by default), but I failed to build a 32 bit version of poly on that machine. I tried various configure options, like --build=i386-apple-darwin10.8.0, and adding -m32 to CFLAGS, CXXFLAGS and LDFLAGS, but with no success so far :-( Same question, but symmetric, for solaris 11 (x86) 64bit: I could successfully build a 32 bit poly (default for gcc on that machine), but could not build a 64 bit version ... Any hints ? Regards, Bernard.

4 9

Segfault when Printing Exception
by tjark.weber＠gmx.de 01 Oct '12

01 Oct '12

Hi, With Poly/ML 5.5.0 Release RTS version: X86_64-5.5.0, the following code causes a segfault on my machine: signature S = sig val e: exn end; structure s : S = struct exception e end; s.e; Best regards, Tjark

1 0

polyml 5.5 Test071.ML => Failed!!
by gienah＠gentoo.org 26 Sep '12

26 Sep '12

Hi, Thanks for your great work on polyml 5.5. I'd like to bump polyml in Gentoo portage, however this one test fails in the test suite: ./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --libdir=/usr/lib64 --disable-dependency-tracking --with-x --with-gmp --without-portable --with-threads ... make tests ... Test071.ML => Failed!! ... This is 64 bit amd64 (Intel Core i7) Gentoo linux with gcc 4.7.1, no patches applied to polyml 5.5. Thanks, Mark $ emerge --info '=dev-lang/polyml-5.5' Portage 2.1.11.17 (default/linux/amd64/10.0/developer, gcc-4.7.1, glibc-2.15-r2, 3.5.4-gentoo x86_64) ================================================================= System Settings ================================================================= System uname: Linux-3.5.4-gentoo-x86_64-Intel-R-_Core-TM-_i7_CPU_X_940_(a)_2.13GHz-with-gentoo-2.1 Timestamp of tree: Wed, 19 Sep 2012 04:45:01 +0000 app-shells/bash: 4.2_p37 dev-lang/python: 2.7.3-r2, 3.2.3 dev-util/cmake: 2.8.9 dev-util/pkgconfig: 0.27.1 sys-apps/baselayout: 2.1-r1 sys-apps/openrc: 0.9.8.4 sys-apps/sandbox: 2.5 sys-devel/autoconf: 2.68 sys-devel/automake: 1.10.3, 1.11.6 sys-devel/binutils: 2.22-r1 sys-devel/gcc: 4.5.3-r2, 4.6.3, 4.7.1 sys-devel/gcc-config: 1.7.3 sys-devel/libtool: 2.4-r1 sys-devel/make: 3.82-r3 sys-kernel/linux-headers: 3.5 (virtual/os-headers) sys-libs/glibc: 2.15-r2 Repositories: gentoo lisp gentoo-haskell kde-sunset emacs x-portage ACCEPT_KEYWORDS="amd64" ACCEPT_LICENSE="* -@EULA" CBUILD="x86_64-pc-linux-gnu" CFLAGS="-O2 -march=native -pipe" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/share/config /usr/share/gnupg/qualified.txt" CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c" CXXFLAGS="-O2 -march=native -pipe" DISTDIR="/usr/portage/distfiles" EMERGE_DEFAULT_OPTS="-j8 --ask-enter-invalid --autounmask=n" FCFLAGS="-O2 -pipe" FEATURES="assume-digests binpkg-logs collision-protect config-protect-if-modified distlocks ebuild-locks fixlafiles multilib-strict news parallel-fetch protect-owned sandbox sfperms sign splitdebug strict test unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox" FFLAGS="-O2 -pipe" GENTOO_MIRRORS="http://mirror.internode.on.net/pub/gentoo http://ftp.swin.edu.au/gentoo http://ftp.jaist.ac.jp/pub/Linux/Gentoo/" LANG="en_AU.UTF-8" LDFLAGS="-Wl,--hash-style=gnu -Wl,-O1 -Wl,--as-needed" MAKEOPTS="-j8" PKGDIR="/usr/portage/packages" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" PORTDIR_OVERLAY="/var/lib/layman/lisp /var/lib/layman/haskell /var/lib/layman/kde-sunset /var/lib/layman/emacs /usr/local/portage" SYNC="rsync://rsync.au.gentoo.org/gentoo-portage" USE="X a52 aac acl acpi alsa amd64 berkdb bluetooth branding bzip2 cairo cdda cdparanoia cdr cjk cli consolekit corefonts cracklib crypt cups cxx dbus declarative dri dts dvd dvdr emacs emboss encode examples exif fam ffmpeg firefox flac fortran gcj gd gdbm gdu gif ginac gphoto2 gpm gsm gtk hal hoogle hscolour iconv icu ieee1394 imap ipv6 jpeg kde kipi lcms ldap libnotify lm_sensors mad mmx mng modules mp3 mp4 mpeg mplayer mudflap multilib mysql ncurses nls nptl nsplugin nvidia ocaml ocamlopt odbc ogg opengl openmp pam pango pcre pdf phonon plasma png policykit postgres ppds pppd python qt3support qt4 readline scanner sdl session smartcard smp snmp spell sqlite3 sse sse2 ssl startup-notification svg taglib tcpd theora threads tiff truetype type1 udev udisks unicode upower usb v4l2 vim-syntax vorbis wifi wxwidgets x264 xcb xcomposite xft xinerama xml xscreensaver xulrunner xv xvid xvmc zlib zsh-completion" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" ALSA_PCM_PLUGINS="adpcm alaw asym copy dmix dshare dsnoop empty extplug file hooks iec958 ioplug ladspa lfloat linear meter mmap_emul mulaw multi null plug rate route share shm softvol" APACHE2_MODULES="actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" CALLIGRA_FEATURES="kexi words flow plan sheets stage tables krita karbon braindump" CAMERAS="ptp2" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ubx" INPUT_DEVICES="evdev keyboard mouse synaptics" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" PHP_TARGETS="php5-3" PYTHON_TARGETS="python3_2 python2_7" QEMU_SOFTMMU_TARGETS="i386 x86_64" QEMU_USER_TARGETS="i386 x86_64" RUBY_TARGETS="ruby18 ruby19" USERLAND="GNU" VIDEO_CARDS="nvidia" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account" USE_PYTHON="2.7" Unset: CPPFLAGS, CTARGET, INSTALL_MASK, LC_ALL, LINGUAS, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS $

5 9

Re: two poly 5.5 questions
by David.Matthews＠prolingua.co.uk 26 Sep '12

26 Sep '12

On your other question: > Next, a question on CInterface: Is is possible in PolyML to bind an ML > function to a C function found in the current executable (poly), rather > an in a shared library ? This is not essential as I can always build a > shared library that packs the required functions; it would just be > convenient. If you use Poly/ML through the normal shared library mechanism then the executable contains very little more than the exported ML code. The Poly/ML run-time system and everything else is in shared libraries. You can load those shared libraries through the CInterface mechanism and use anything that is exported. That includes functions in libpolyml but bear in mind that this is mostly C++ rather than C and I'm not sure how many of the symbols are exported. If you're looking to use standard C library functions that are also used by the Poly/ML library it may be possible by loading the appropriate library. What this is will vary between operating systems. To be honest I think it would be easiest and most portable to write your own shared library. David

1 0

← Newer
1
...
31
32
33
34
35
36
37
...
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