From seanmcl at gmail.com Wed Sep 2 05:52:30 2009 From: seanmcl at gmail.com (Sean McLaughlin) Date: Wed Sep 2 05:53:04 2009 Subject: [MLton-user] unicode yet? Message-ID: <6579f8680909020552yba92dc2x45b96c3e434f9895@mail.gmail.com> Hi, The last I could find about unicode support in MLton is from 2007. Has any progress been made on this? Thanks, Sean -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mlton.org/pipermail/mlton-user/attachments/20090902/02127914/attachment.html From adam at spicenitz.org Wed Sep 2 06:12:12 2009 From: adam at spicenitz.org (Adam Goode) Date: Wed Sep 2 06:12:48 2009 Subject: [MLton-user] unicode yet? In-Reply-To: <6579f8680909020552yba92dc2x45b96c3e434f9895@mail.gmail.com> References: <6579f8680909020552yba92dc2x45b96c3e434f9895@mail.gmail.com> Message-ID: <4A9E6F2C.8070903@spicenitz.org> On 09/02/2009 08:52 AM, Sean McLaughlin wrote: > Hi, > > The last I could find about unicode support in MLton is from 2007. Has > any progress been made on this? > > Thanks, > > Sean Hi Sean, What kind of unicode support are you looking for? Many/most unicode things work fine as-is. Are you looking to directly manipulate and analyze unicode strings? Adam From seanmcl at gmail.com Wed Sep 2 07:04:22 2009 From: seanmcl at gmail.com (Sean McLaughlin) Date: Wed Sep 2 07:04:55 2009 Subject: Fwd: [MLton-user] unicode yet? In-Reply-To: <6579f8680909020649n30f01965l6a5430b288131993@mail.gmail.com> References: <6579f8680909020552yba92dc2x45b96c3e434f9895@mail.gmail.com> <4A9E6F2C.8070903@spicenitz.org> <6579f8680909020649n30f01965l6a5430b288131993@mail.gmail.com> Message-ID: <6579f8680909020704i1a483b91w134f31cd6722c101@mail.gmail.com> Hi Adam, I'm looking for, in decreasing priority 1) unicode in strings val x = "?" does not compile in MLton. I see there's a WideString type, but I can't get MLton to accept "..." syntax for any Wide* structure. Can you do that? SML/NJ does fine with the above, by the way. 2) unicode identifiers val ? = "?" I'd really like this, but I can live without it. 3) unicode constructors datatype t = ? of string this is just because I'm greedy. I think I'd survive with just #1. Thanks, Sean On Wed, Sep 2, 2009 at 9:12 AM, Adam Goode wrote: > On 09/02/2009 08:52 AM, Sean McLaughlin wrote: > >> Hi, >> >> The last I could find about unicode support in MLton is from 2007. Has >> any progress been made on this? >> >> Thanks, >> >> Sean >> > > Hi Sean, > > What kind of unicode support are you looking for? Many/most unicode things > work fine as-is. Are you looking to directly manipulate and analyze unicode > strings? > > > Adam > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mlton.org/pipermail/mlton-user/attachments/20090902/4932d2e8/attachment.htm From blume at tti-c.org Thu Sep 3 08:17:39 2009 From: blume at tti-c.org (Matthias Blume) Date: Thu Sep 3 08:18:13 2009 Subject: [MLton-user] *** FLOPS 2010: 2nd Call for Papers *** Message-ID: <2E68BAB5-5E21-48B8-B1A2-FEB34545D946@tti-c.org> ---------------------------------------------------------------------------- SECOND CALL FOR PAPERS Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) April 19-21, 2010 Sendai, Japan http://www.kb.ecei.tohoku.ac.jp/flops2010/ Submission deadline: October 16, 2009 FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications. Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing. Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems. Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings will be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2008) were published as LNCS 4989. INVITED SPEAKERS TBD PC CO-CHAIRS Matthias Blume (Google, Chicago, USA) German Vidal (Technical University of Valencia, Spain) CONFERENCE CHAIR Naoki Kobayashi (Tohoku University, Sendai, Japan) PC MEMBERS Nick Benton (Microsoft Research, Cambridge, UK) Manuel Chakravarty (University of New South Wales, Australia) Michael Codish (Ben-Gurion University of the Negev, Israel) Bart Demoen (Katholieke Universiteit Leuven, Belgium) Agostino Dovier (University of Udine, Italy) John P. Gallagher (Roskilde University, Denmark) Maria Garcia de la Banda (Monash University, Australia) Michael Hanus (University of Kiel, Germany) Atsushi Igarashi (Kyoto University, Japan) Patricia Johann (Rutgers University, USA) Shin-ya Katsumata (Kyoto University, Japan) Michael Leuschel (University of Dusseldorf, Germany) Francisco Lopez-Fraguas (Complutense University of Madrid, Spain) Paqui Lucio (University of the Basque Country, Spain) Yasuhiko Minamide (University of Tsukuba, Japan) Frank Pfenning (Carnegie Mellon University, USA) Francois Pottier (INRIA, France) Tom Schrijvers (Katholieke Universiteit Leuven, Belgium) Chung-chieh "Ken" Shan (Rutgers University, USA) Zhong Shao (Yale University, USA) Jan-Georg Smaus (University of Freiburg, Germany) Nobuko Yoshida (Imperial College London, UK) LOCAL CHAIR Eijiro Sumii (Tohoku University, Sendai, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at http://www.easychair.org/conferences/?conf=flops2010 IMPORTANT DATES Submission deadlines: - Abstract: October 16, 2009 - Paper: October 23, 2009 Author notification: December 21, 2009 Camera-ready copy: January 24, 2010 Conference: April 19-21, 2010 PLACE Sendai, Japan Some previous FLOPS: FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR JSSST SIG-PPL IN COOPERATION with AAFS (Asian Association for Foundation of Software) ACM SIGPLAN ALP (Association for Logic Programming) ---------------------------------------------------------------------------- From leaf.petersen at intel.com Fri Sep 4 20:00:53 2009 From: leaf.petersen at intel.com (Petersen, Leaf) Date: Fri Sep 4 20:01:28 2009 Subject: [MLton-user] DAMP 2010 Final Call For Papers Message-ID: <517AF11CC9FF404E8B27650E116B147CA547B534@orsmsx505.amr.corp.intel.com> DAMP 2010: Workshop Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January 19, 2010 damp10.cs.nmsu.edu SUBMISSION DEADLINE: SEPTEMBER 21, 2009 The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness. DAMP 2010 is the fifth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Specific topics include, but are not limited to: * investigation of applications of logic, constraint logic, and functional programing to multicore programing * run-time issues of exploitation of parallelism using declarative programming approaches (e.g., garbage collection, scheduling) * architectural impact on exploitation of parallelism from declarative languages * type systems and analysis for accurately detecting dependencies, aliasing, side effects, and impure features * language level declarative constructs for expressing parallelism * declarative language specification for the description of data placement and distribution * compilation and static analysis techniques to support exploitation of parallelism from declarative languages (e.g., granularity control) * practical experiences and challenges arising from parallel declarative programming * technology for debugging parallel programs * design and implementation of domain-specific declarative languages for multicore programming Submission: Submitted papers papers should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp10 Accepted papers will be published in the ACM Digital Library and in a physical proceedings. Papers must adhere to the SIGPLAN Republication Policy: http://www.sigplan.org/republicationpolicy.htm Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed. However, DAMP is intended to be a venue for discussion and exploration of works-in-progress, and so publication of a paper at DAMP 2010 is not intended to preclude later publication as appropriate. Additional information about the submission process can be found at the conference web site. Important dates: Abstract submission: Sept. 21 Paper submission: Sept. 25 Notification to authors: Oct. 26 Camera ready: Nov. 9 Program Chair: Enrico Pontelli New Mexico State University General Chairs: Leaf Petersen Intel Corporation Santa Clara, CA, USA Program Committee: Manuel Carro Universidad Politecnica de Madrid Clemens Grelck University of Hertfordshire Haifeng Guo University of Nebraska at Omaha Gabriele Keller University of New South Wales Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen Leaf Petersen Intel Corporation John Reppy University of Chicago Ricardo Rocha University of Porto Kostis Sagonas National Technical University of Athens Vitor Santos Costa University of Porto Satnam Singh Microsoft Research Philip Trinder Heriot-Watt University Pascal Van Hentenryck Brown University URL: http://damp10.cs.nmsu.edu From mtf at cs.rit.edu Fri Sep 11 07:57:14 2009 From: mtf at cs.rit.edu (Matthew Fluet) Date: Fri Sep 11 07:57:19 2009 Subject: Fwd: [MLton-user] unicode yet? In-Reply-To: <6579f8680909020704i1a483b91w134f31cd6722c101@mail.gmail.com> References: <6579f8680909020552yba92dc2x45b96c3e434f9895@mail.gmail.com> <4A9E6F2C.8070903@spicenitz.org> <6579f8680909020649n30f01965l6a5430b288131993@mail.gmail.com> <6579f8680909020704i1a483b91w134f31cd6722c101@mail.gmail.com> Message-ID: On Wed, 2 Sep 2009, Sean McLaughlin wrote: > 1) unicode in strings > > val x = "ñ" > > does not compile in MLton. I see there's a WideString type, but > I can't get MLton to accept "..." syntax for any Wide* structure. Can > you do that? > SML/NJ does fine with the above, by the way. MLton supports \Uxxxxxxxx escape sequences for describing characters with ordinal value greater than 2^16. (The SML Definition allows \uxxxx.) Note that the overload resolution depends on how the value is used, not the constant that defines it; so, you might need a WideString.string constraint. The lexer knows nothing about Unicode; it expects the source to be plain ASCII characters (not even UTF-8), so dropping a multibyte sequence into a string literal will yield a normal String.string value with some odd characters. > 2) unicode identifiers > 3) unicode constructors You wouldn't get one without the other. But, as noted above, the lexer currently doesn't handle it. From nitralime at googlemail.com Mon Sep 14 10:02:03 2009 From: nitralime at googlemail.com (nitralime) Date: Mon Sep 14 10:02:38 2009 Subject: [MLton-user] Documentation Message-ID: <53e0cac60909141002x5df57f93ta5741c04605bace3@mail.gmail.com> Hi folks, Is the documentation of MLton on the website (http://mlton.org/Documentation) up to date? Regards Nik -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mlton.org/pipermail/mlton-user/attachments/20090914/49f52ccc/attachment.htm From wesley at terpstra.ca Mon Sep 14 10:19:53 2009 From: wesley at terpstra.ca (Wesley W. Terpstra) Date: Mon Sep 14 10:20:28 2009 Subject: [MLton-user] Documentation In-Reply-To: <53e0cac60909141002x5df57f93ta5741c04605bace3@mail.gmail.com> References: <53e0cac60909141002x5df57f93ta5741c04605bace3@mail.gmail.com> Message-ID: <162de7480909141019m71fc38ddjb296cd2f80f63c24@mail.gmail.com> On Mon, Sep 14, 2009 at 7:02 PM, nitralime wrote: > Is the documentation of MLton on the website ( > http://mlton.org/Documentation) up to date? > It should be. If you find something wrong/missing report it. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mlton.org/pipermail/mlton-user/attachments/20090914/c275fd58/attachment.html From mtf at cs.rit.edu Mon Sep 14 12:07:53 2009 From: mtf at cs.rit.edu (Matthew Fluet) Date: Mon Sep 14 12:07:53 2009 Subject: [MLton-user] Documentation In-Reply-To: <53e0cac60909141002x5df57f93ta5741c04605bace3@mail.gmail.com> References: <53e0cac60909141002x5df57f93ta5741c04605bace3@mail.gmail.com> Message-ID: On Mon, 14 Sep 2009, nitralime wrote: > Is the documentation of MLton on the website (http://mlton.org/Documentation) > up to date? It is kept up to date with active development, so it might no longer correspond exactly to a previous release. Documentation for a packaged release should be distributed with the release (/usr/share/doc/mlton/guide/index.html and /usr/share/doc/mlton/mlton-guide.pdf). The documentation is also archived on the mlton.org website (http://mlton.org/guide/20051202 and http://mlton.org/guide/20070826). From hansel at reactive-systems.com Tue Sep 15 17:40:29 2009 From: hansel at reactive-systems.com (David Hansel) Date: Tue Sep 15 17:40:06 2009 Subject: [MLton-user] IntInf.fromString and leading spaces Message-ID: <4AB033FD.3070301@reactive-systems.com> Hi all, We have come across one minor issue: The IntInf.fromString function does not appear to handle leading spaces well. Other fromString functions have no problem with leading spaces. For example, (IntInf.fromString " 1") evaluates to NONE whereas (Int.fromString " 1") evalutates to SOME 1. We are currently using MLton MLTONVERSION (built Tue Feb 03 16:33:30 2009 on orange) Best regards, David -- ---------------------------------------------------------- David Hansel Reactive Systems, Inc. http://www.reactive-systems.com/ ---------------------------------------------------------- From mtf at cs.rit.edu Tue Sep 15 18:30:39 2009 From: mtf at cs.rit.edu (Matthew Fluet) Date: Tue Sep 15 18:30:45 2009 Subject: [MLton-user] IntInf.fromString and leading spaces In-Reply-To: <4AB033FD.3070301@reactive-systems.com> References: <4AB033FD.3070301@reactive-systems.com> Message-ID: On Tue, 15 Sep 2009, David Hansel wrote: > We have come across one minor issue: The IntInf.fromString > function does not appear to handle leading spaces well. Other > fromString functions have no problem with leading spaces. > > For example, (IntInf.fromString " 1") evaluates to NONE > whereas (Int.fromString " 1") evalutates to SOME 1. Yes, there was a bug in IntInf.scan (and IntInf.fromString) spaces were only accepted if the stream had an explicit sign character. Thanks for the report. The bug is now fixed by SVN r7227 (http://mlton.org/cgi-bin/viewsvn.cgi?view=rev&rev=7227). Since the patch only affects the Basis Library, you can apply it to an existing install of MLton (/usr/lib/mlton/sml/basis/integer/int-inf.sml). There is no need to rebuild the compiler. From vr17 at hw.ac.uk Wed Sep 16 14:17:04 2009 From: vr17 at hw.ac.uk (Rahli, Vincent) Date: Sat Sep 19 18:36:32 2009 Subject: [MLton-user] First public release of ULTRA type error slicer for SML Message-ID: We are happy to announce the first public release of our type error slicing software for the SML programming language. All information can be found at this URL: http://www.macs.hw.ac.uk/ultra/compositional-analysis/type-error-slicing/ The aim of our type error slicer is to provide useful type error reports for pieces of code written in SML. Our type error slicer: * Identifies all of the program points that contribute to a type error (including the spot with the actual programming error that caused the type error), * Highlights these program points in the original, unchanged source code, and * Avoids showing internal details of the operation of the type inference machinery. At the URL mentioned above, you can find a compiled package of the software that is ready to be used. The package contains: * Installation instructions and an installation shell script. * A compiled SML binary for Linux on the i386 architecture. We have tested this on CentOS 5.3, Fedora 7, Ubuntu 9.04 and Gentoo. * Emacs Lisp code that extends GNU Emacs with commands that highlight source code with information about type error slices. We have tested this with GNU Emacs versions 22.1, 22.3 and 23.1. * A 19 page user guide containing detailed explanations of how to use the software and interpret the type error slices. * A very large number of sample test cases. Known limitations: * We have not yet built the software for other operating systems than Linux. * The only currently supported user interface is via GNU Emacs (or our web demo). * Some features of the SML language are not parsed (the user will be notified if this is the case), and some type errors are not yet discovered (the user will need to rely on their usual type checker in these cases). Notable spots where the implementation is incomplete are functors, overloading, equality types, and fixity declarations. * The details of the SML basis library are woefully incomplete (fortunately the user can add any additional details they are using). * The software does not currently scale well to very large programs (we are still improving this). It is currently suitable for small programs and use in teaching. * We have some known issues with statuses of long identifiers and exceptions which yields wrong error reports. There is also a web demonstration of the software with over 270 sample test cases, so you can try without needing to install the software. Best wishes, Vincent Rahli and Joe Wells -- Heriot-Watt University is a Scottish charity registered under charity number SC000278. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mlton.org/pipermail/mlton-user/attachments/20090916/f7732598/attachment.htm From oivulf at gmail.com Tue Sep 22 08:27:13 2009 From: oivulf at gmail.com (fulvio ciriaco) Date: Tue Sep 22 08:27:26 2009 Subject: [MLton-user] mlton and netbsd Message-ID: <20090922.172713.146599291.oivulf@gmail.com> Hallo, is there anybody having mlton working on netbsd 5.0? I tried mlton-20051202-1.i386-netbsd on a "hello world" program but the generated executable segfaults in mutatorStackInvariant() Fulvio From jesper.louis.andersen at gmail.com Thu Sep 24 09:56:31 2009 From: jesper.louis.andersen at gmail.com (Jesper Louis Andersen) Date: Thu Sep 24 09:56:57 2009 Subject: [MLton-user] mlton and netbsd In-Reply-To: <20090922.172713.146599291.oivulf@gmail.com> References: <20090922.172713.146599291.oivulf@gmail.com> Message-ID: <56a0a2840909240956t53651808h35287105384f991c@mail.gmail.com> On Tue, Sep 22, 2009 at 17:27, fulvio ciriaco wrote: > Hallo, > is there anybody having mlton working on netbsd 5.0? > I tried mlton-20051202-1.i386-netbsd on a "hello world" program > but the generated executable > segfaults in mutatorStackInvariant() It is a long time since I last tried mlton on NetBSD. I think the last NetBSD I ran it on was a 4.x-something. I wonder what changes were made to memory for you to segfault in that part. -- J. From oivulf at gmail.com Thu Sep 24 12:39:38 2009 From: oivulf at gmail.com (fulvio ciriaco) Date: Thu Sep 24 12:39:47 2009 Subject: [MLton-user] mlton and netbsd In-Reply-To: <56a0a2840909240956t53651808h35287105384f991c@mail.gmail.com> References: <20090922.172713.146599291.oivulf@gmail.com> <56a0a2840909240956t53651808h35287105384f991c@mail.gmail.com> Message-ID: <20090924.213938.107963436.oivulf@gmail.com> I created smlnj-mlton from mlton in svn trunk and it works fine. It is now two days that it is compiling mlton, and I do not know when it will see the end. My hardware is a bit outdated, a thinkpad t42 with 1 GiB ram. Fulvio From: Jesper Louis Andersen Subject: Re: [MLton-user] mlton and netbsd Date: Thu, 24 Sep 2009 18:56:31 +0200 > On Tue, Sep 22, 2009 at 17:27, fulvio ciriaco wrote: >> Hallo, >> is there anybody having mlton working on netbsd 5.0? >> I tried mlton-20051202-1.i386-netbsd on a "hello world" program >> but the generated executable >> segfaults in mutatorStackInvariant() > > It is a long time since I last tried mlton on NetBSD. I think the last > NetBSD I ran it on was a 4.x-something. I wonder what changes were > made to memory for you to segfault in that part. > > > -- > J. From mtf at cs.rit.edu Fri Sep 25 12:31:38 2009 From: mtf at cs.rit.edu (Matthew Fluet) Date: Fri Sep 25 12:31:43 2009 Subject: [MLton-user] mlton and netbsd In-Reply-To: <20090924.213938.107963436.oivulf@gmail.com> References: <20090922.172713.146599291.oivulf@gmail.com> <56a0a2840909240956t53651808h35287105384f991c@mail.gmail.com> <20090924.213938.107963436.oivulf@gmail.com> Message-ID: Bootstrapping with an smlnj-mlton build is infeasible on pretty much any hardware. 1GB is just about enough for a (32-bit) self-compile, but you'll need a working mlton on your platform. I'm surprised that the latest NetBSD isn't sufficiently binary compatible with the older mlton. On Thu, 24 Sep 2009, fulvio ciriaco wrote: > I created smlnj-mlton from mlton in svn trunk and it works fine. > It is now two days that it is compiling mlton, and I do not know > when it will see the end. > My hardware is a bit outdated, a thinkpad t42 with 1 GiB ram. > Fulvio > From: Jesper Louis Andersen > Subject: Re: [MLton-user] mlton and netbsd > Date: Thu, 24 Sep 2009 18:56:31 +0200 > >> On Tue, Sep 22, 2009 at 17:27, fulvio ciriaco wrote: >>> Hallo, >>> is there anybody having mlton working on netbsd 5.0? >>> I tried mlton-20051202-1.i386-netbsd on a "hello world" program >>> but the generated executable >>> segfaults in mutatorStackInvariant() >> >> It is a long time since I last tried mlton on NetBSD. I think the last >> NetBSD I ran it on was a 4.x-something. I wonder what changes were >> made to memory for you to segfault in that part. >> >> >> -- >> J. > > _______________________________________________ > MLton-user mailing list > MLton-user@mlton.org > http://mlton.org/mailman/listinfo/mlton-user > From oivulf at gmail.com Sat Sep 26 01:35:17 2009 From: oivulf at gmail.com (fulvio ciriaco) Date: Sat Sep 26 01:35:26 2009 Subject: [MLton-user] mlton and netbsd In-Reply-To: References: <56a0a2840909240956t53651808h35287105384f991c@mail.gmail.com> <20090924.213938.107963436.oivulf@gmail.com> Message-ID: <20090926.103517.156046162.oivulf@gmail.com> Hallo, the compiler works, but it generates buggy executables. "Hello world" dumps core, the backtrace is #0 0x08050b75 in mutatorStackInvariant () #1 0x08052e51 in doGC () #2 0x07b09aac in ?? () #3 0xbbbeb000 in ?? () #4 0xbfbfeb04 in ?? () #5 0x00000001 in ?? () #6 0x08048964 in ?? () #7 0xbbbeb000 in ?? () #8 0xbbbf6dc8 in _rtld_find_symdef () from /usr/libexec/ld.elf_so #9 0x00001002 in ?? () #10 0xffffffff in ?? () #11 0x00000000 in ?? () Any good advice? Fulvio From: Matthew Fluet Subject: Re: [MLton-user] mlton and netbsd Date: Fri, 25 Sep 2009 15:31:38 -0400 (EDT) > > Bootstrapping with an smlnj-mlton build is infeasible on pretty much > any hardware. 1GB is just about enough for a (32-bit) self-compile, > but you'll need a working mlton on your platform. > > I'm surprised that the latest NetBSD isn't sufficiently binary > compatible with the older mlton. > > On Thu, 24 Sep 2009, fulvio ciriaco wrote: >> I created smlnj-mlton from mlton in svn trunk and it works fine. >> It is now two days that it is compiling mlton, and I do not know >> when it will see the end. >> My hardware is a bit outdated, a thinkpad t42 with 1 GiB ram. >> Fulvio >> From: Jesper Louis Andersen >> Subject: Re: [MLton-user] mlton and netbsd >> Date: Thu, 24 Sep 2009 18:56:31 +0200 >> >>> On Tue, Sep 22, 2009 at 17:27, fulvio ciriaco >>> wrote: >>>> Hallo, >>>> is there anybody having mlton working on netbsd 5.0? >>>> I tried mlton-20051202-1.i386-netbsd on a "hello world" program >>>> but the generated executable >>>> segfaults in mutatorStackInvariant() >>> >>> It is a long time since I last tried mlton on NetBSD. I think the last >>> NetBSD I ran it on was a 4.x-something. I wonder what changes were >>> made to memory for you to segfault in that part. >>> >>> >>> -- >>> J. >> >> _______________________________________________ >> MLton-user mailing list >> MLton-user@mlton.org >> http://mlton.org/mailman/listinfo/mlton-user >>