June 2001 - Glasgow-haskell-users

RE: GHC core representation
by Simon Peyton-Jones 25 Jun '01

25 Jun '01

| * I would like to make GHC generate only the core file and | the hi file, nothing more. However, I haven't found a way of | making GHC stop after outputting the hi file. Being able to | do this is useful in some other cases as well; I sometimes | look at the raw core that comes is printed with the -ddump* | flags. It is often the case that I don't want anything to be | generated then. This would be a Good Thing and not too hard. How would you like to specify where to stop? "After the last blob of debug output" might be a reasonable answer, but we definitely also want to be able to carry on. Yet another flag? | * Speaking of arguments, it would be a nice thing if one | could get the output in A-normal-form. This is done by GHC | anyway when converting to STG and in some cases it would be | really useful. GHC is controlled by a little script, one "instruction" of which is "dump the ext-core". I have long wanted to externalise the script file so that you can write it youself; just one more thing we have not done yet. Simon

2 1

RE: [ ghc-Bugs-434259 ] <<loop>>
by Simon Peyton-Jones 25 Jun '01

25 Jun '01

Folks, Sorry to bother you all with this, but someone submitted the enclosed bug report to SourceForge. Unfortunately, s/he didn't give an email address, nor did s/he give a source file that we can compile to expose the bug. If you submitted this, could you declare your identity! Otherwise this will stay unfixed. (Pls also try with 5.00.2 because it may well be fixed already.) Simon | -----Original Message----- | From: noreply(a)sourceforge.net [mailto:noreply@sourceforge.net] | Sent: 18 June 2001 19:47 | To: noreply(a)sourceforge.net | Subject: [ ghc-Bugs-434259 ] <<loop>> | | | Bugs item #434259, was updated on 2001-06-18 11:46 | You can respond by visiting: | http://sourceforge.net/tracker/?func=detail&atid=108032&aid=43 | 4259&group_id=8032 | | Category: Compiler (Parser) | Group: None | Status: Open | Resolution: None | Priority: 5 | Submitted By: Nobody/Anonymous (nobody) | Assigned to: Nobody/Anonymous (nobody) | Summary: <<loop>> | | Initial Comment: | ghc -c -fglasgow-exts Typedecl.hs (and without flag) | ghc-5.00: panic! (the `impossible' happened, GHC | version 5.00): | <<loop>> | | Please report it as a compiler bug to | glasgow-haskell-bugs(a)haskell.org, or | http://sourceforge.net/projects/ghc/. | | | data Val = | ....... | | Fun (Val -> TM Val) | | | type TM a = EnvT | ( ST1 Record | ( ST3 String | ( MaybeT | ( IdM)))) a | | | | | ---------------------------------------------------------------------- | | You can respond by visiting: | http://sourceforge.net/tracker/?func=detail&atid=108032&aid=43 4259&group_id=8032 _______________________________________________ Cvs-ghc mailing list Cvs-ghc(a)haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

1 0

ThreadId
by Manuel M. T. Chakravarty 24 Jun '01

24 Jun '01

How much of a thread's memory is kept alive - after the thread has terminated - as long as a program holds on to the thread's `ThreadId'? The following ToDo comment in `PrelConc' seems to indicate that it is currently more than we really want: data ThreadId = ThreadId ThreadId# -- ToDo: data ThreadId = ThreadId (Weak ThreadId#) -- But since ThreadId# is unlifted, the Weak type must use open -- type variables. In combination with finalisers, this can be troublesome. Cheers, Manuel

1 0

Agent Systems?
by Ted Goranson 23 Jun '01

23 Jun '01

Can someone point me to resources or people employing a functional approach to agent systems. Am particularly interested in multi-level agency. Thanks, Ted -- _____________ Ted Goranson Fusecap and Sirius-Beta, Virginia Beach USA 757/426-6704 tedg(a)sirius-beta.com Symmetry Conference: http://www.isis-s.unsw.edu.au

1 0

Re:Check this out
by Peter Rogers 21 Jun '01

21 Jun '01

THIS IS THE FUNNIEST THING THAT YOU WILL EVER HEAR! Are you in the UK? Got a great sense of humour? Then you must try this: Just call 0905 100 0967 and after choosing the wind-up, enter your victims phone number (even a mobile number) and then listen in as they are driven up the wall by one of the recordings, choose from: Mr Fury Mr Stutter The Detective. My Daughter's Pregnant The Irate Delivery Driver +more added every week. YOU CAN HEAR THEM BUT THEY CAN'T HEAR YOU! WARNING: These conversations are very realistic, please take care. Just Dial 0905 100 0967 from any UK phone. Calls to 0905 numbers are charged from a uk phone at 100p a minute Average call less than 3 minutes Ring4Fun, Po Box 43, Warminster, BA12 7PR We are sorry if this email is not required, please delete if not wanted. To be removed from the mailing list please send a blank email to: nothanks101(a)hotmail.com

1 0

GHC version 5.00.2 is available
by Julian Seward (Intl Vendor) 21 Jun '01

21 Jun '01

The (Interactive) Glasgow Haskell Compiler -- version 5.00.2 ============================================================== We are pleased to announce a new patchlevel release of the Glasgow Haskell Compiler (GHC), version 5.00.2. The source distribution is freely available via the World-Wide Web and through anon. FTP, under a BSD-style license. See below for download details. Pre-built packages for Linux, FreeBSD, and Solaris(sparc) are also available. Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, C++, whatever). A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page at http://www.haskell.org/ GHC's Web page lives at http://www.haskell.org/ghc/ What's new in 5.00.2 ====================== Fixed a few more bugs which turned out to be showstoppers for various people. Symptoms of the fixed bugs are: * Panics in the bytecode (interactive) linker (two different bugs). * Compiled code dies with a segfault (two different bugs). * Interpreted code crashes or acts weird. * A panic in the CPR analyser. * An infinite loop in the strictness analyser. * Nested comments are not properly handled during module chasing. * :module command doesn't accept underscores in module names. * -L<dir> doesn't work on the ghci command line. * Posix.executeFile mistakenly propagates SIGVTALRM to children. * Exceptions during an interactive session cause the UI to forget some important state information. * (a new feature) Packages can now loaded at the ghci prompt. Do ":s -package <packagename>". What's new in 5.00.1 ====================== This is a bug-fix release. Most reported bugs in 5.00 have been fixed, including a substantial number of show-stopping bugs. The system should be much more usable for more people. Upgrading to 5.00.1 is recommended. To all those who tried out 5.00 and reported bugs, we thank you for your feedback and patience. At the moment there is no Win32 build of 5.00 or 5.00.1 available. We decided to push Win32 support to the 5.02 release, so as not to delay 5.00.1 any further. What's new in 5.00 ==================== 5.00 has been majorly revamped since the previous stable version, 4.08.2. This should be a stable release. Major changes since 4.08.2 are: - An interactive system, similar in style to Hugs. You can interactively load and unload modules, run expressions, ask the types of things. Module dependencies are tracked and chased automatically. Combinations of compiled and interpreted modules may be used. All the GHC libraries are available in interactive mode, as are most of the Glasgow extensions to Haskell 98. Compilation in interactive mode (to bytecode) is about three times faster than compiling to object code. - Batch compilation of multiple modules at once, with automatic dependency chasing. For large programs this can halve compilation times, and removes the need for Makefiles. - Enhanced package (library) management system. Packages may be installed and removed from an installation using the ghc-pkg tool. - Initial Unicode support - the Char type is now 31 bits. - Sparc native code generator, giving much faster compilation on sparcs. (Native code generation for x86s has been available for a while). - Improved heap profiling - you can restrict heap profiles by type, closure description, cost centre, and module. - Support for the latest Foreign Function Interface (FFI) proposals. Marcin Kowalczyk's hsc2hs tool is included. - Language extensions: parallel list comprehensions and functional dependencies. - The usual huge collection of bug fixes. Most reported bugs have been fixed. For full details see the release notes: http://www.haskell.org/ghc/docs/5.00/set/release-5-00.html How to get it =============== The easy way is to go to the WWW page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in .rpm/.deb form for all you Linux junkies out there, and in InstallShield form for Windows folks. Everybody else gets a .tar.gz which can be installed where you want. Once you have the distribution, please follow the pointers in the README file to find all of the documentation about this release. On-line GHC-related resources =============================== Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ Haskell home page http://www.haskell.org/ comp.lang.functional FAQ http://www.cs.nott.ac.uk/~gmh/faq.html System requirements ===================== To compile programs with GHC, you need a machine with 32+MB memory, GNU C and perl. This release is known to work on the following platforms: * i386-unknown-{linux,freebsd,mingw32} * sparc-sun-solaris2 Ports to the following platforms should be relatively easy (for a wunderhacker), but haven't been tested due to lack of time/hardware: * hppa1.1-hp-hpux{9,10} * i386-unknown-solaris2 * alpha-dec-osf{2,3} * mips-sgi-irix{5,6} * {rs6000,powerpc}-ibm-aix The builder's guide included in distribution gives a complete run-down of what ports work; an on-line version can be found at http://www.haskell.org/ghc/docs/5.00/building/building-guide.html Mailing lists =============== We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Please send bug reports about GHC to glasgow-haskell-bugs(a)haskell.org; GHC users hang out on glasgow-haskell-users(a)haskell.org. Bleeding edge CVS users party on cvs-ghc(a)haskell.org.

4 4

RE: GHC version 5.00.2 is available
by Julian Seward (Intl Vendor) 21 Jun '01

21 Jun '01

| > ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/src/ghc-5.00.2-1.sr | > c.rpm | | The source rpm has permission -rw------- in the above URL. Could you fix it, please? I think the source RPM is also corrupted somehow -- it has a size of 832 k and it should be about 3.5M. It's almost as if the process creating it opened the file -rw------- and intended to change it to something world-readable once done, but died before it finished. J

1 0

RPMs for: GHC version 5.00.2 is available
by Julian Seward (Intl Vendor) 21 Jun '01

21 Jun '01

Thanks once again to Tom and Manuel for building RH6.2 and RH7.x RPMs of ghc-5.00.2. I'll shortly put these RPMs at the usual place, the download pages at http://www.haskell.org/ghc, so you can get them from there too. Note also that a build for Solaris 2.7 (sparc) is also now available. J | -----Original Message----- | From: Manuel M. T. Chakravarty [mailto:chak@cse.unsw.edu.au] | Sent: Thursday, June 21, 2001 3:02 AM | To: Julian Seward (Intl Vendor) | Cc: glasgow-haskell-users(a)haskell.org; haskell(a)haskell.org | Subject: Re: GHC version 5.00.2 is available | | | "Julian Seward (Intl Vendor)" <v-julsew(a)microsoft.com> wrote, | | > The (Interactive) Glasgow Haskell Compiler -- version 5.00.2 | > ============================================================== | > | > We are pleased to announce a new patchlevel release of the Glasgow | > Haskell Compiler (GHC), version 5.00.2. | | For your installation pleasure, RPM packages built on RedHat | are now available. Binary packages built for RedHat 7.x are at | ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/i386/ghc-5.00.2-1.i38 6.rpm ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/i386/ghc-prof-5.00.2- 1.i386.rpm and those for RedHat 6.2 are at ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/i386-rh6.2/ghc-5.00.2 -1.i386.rpm ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/i386-rh6.2/ghc-prof-5 .00.2-1.i386.rpm The ghc-prof-* packages contain optional libraries for profiling. The packages for 6.2 are courtesy of Tom Moertel. The source rpm used to built the above binaries is at ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/src/ghc-5.00.2-1.src. rpm If you build from the source rpm using an older version of GHC, note that you have to build the system twice if you like to use the interactive environment. The second build should use the compiler generated in the first. Manuel

1 0

RE: passing Strings with FFI
by Corneliu Popeea 21 Jun '01

21 Jun '01

>foreign import "fooble" fooble > fooble :: PackedString -> Int -> IO Int > >type PackedString = ByteArray Int With the code above I'm getting the following error: -- Unacceptable argument type in foreign declaration: PackedString -- When checking declaration: -- foreign import _ccall "fooble" fooble :: PackedString -> Int -> IO Int Is there any option that I must include when I launch ghc (I'm very new to this compiler, as to Haskell)? -- I'm trying with "ghc -c -fglasgow-exts test.hs" Best regards, Corneliu

1 0

RE: passing Strings with FFI
by Julian Seward (Intl Vendor) 21 Jun '01

21 Jun '01

| I want to pass a String to a function which is imported from C code: | foreign import "pass" prim_pass :: String -> String | The declaration above gives me an error from ghc like "String | type not | supported for imported functions". | I thought that String being [Char] should be supported | (somehow like a | definition with "newtype" keyword). | Can you tell me how can I pass strings to and from C code, as | simple as | possible (I know about HDirect, but I couldn't make it work | for me: red-hat | 7.1, ghc 5.00)? First of all, upgrade to 5.00.2, since it is significantly less buggy than 5.00. int fooble ( char* str, int n ) { fprintf(stderr, "fooble called: %s %d\n", str, n ); return 42; } import PrelByteArr import PrelPack (packString) foreign import "fooble" fooble fooble :: PackedString -> Int -> IO Int type PackedString = ByteArray Int main = do n <- fooble (packString "hello, C world") 99 putStrLn ("Returned value is " ++ show n) For more examples read the compiler sources, at fptools/ghc/compiler/ghci/Linker.lhs. J

2 1