- Glasgow-haskell-users

GHC on Sourceforge
by Simon Marlow 06 Feb '01

06 Feb '01

Hi folks, A while ago we opened a SourceForge project for GHC, mainly to make use of the bug tracking facilities. It's been working quite happily for some time now, so I think it's time to start using the bug tracking system for all bug reports. To report a bug, go to http://sourceforge.net/projects/ghc/ and follow the "bugs" link, then "submit a bug". Please include all the usual information you'd normally give with a bug report on the mailing list. We also plan to start using the task manager (as a kind of wish list / job adverts for GHC), and perhaps some of the other cool gadgets that SourceForge provides. Cheers, Simon

1 0

Semi-applied datatypes in instance declarations
by George Russell 06 Feb '01

06 Feb '01

I apologise if this has been raised before, but the code I am writing now would look rather nicer if "partially applied type constructors" were permitted in instances. For example: class Event e where sync :: e a -> IO a data Event extraData a = blah blah . . . instance (context on extradata) => Event extradata where blah blah . . . Any chance of this? Or are there reasons why this would be wholly ridiculous?

2 2

ANNOUNCE: The Glasgow Haskell Compiler -- version 4.08.2
by Julian Seward (Intl Vendor) 06 Feb '01

06 Feb '01

The Glasgow Haskell Compiler -- version 4.08.2 ================================================ We are pleased to announce a new release of the Glasgow Haskell Compiler (GHC), version 4.08.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, Solaris and Win32 are also available. Haskell is "the" standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998. GHC is a state-of-the-art optimising compiler for Haskell, generating good code for a variety of platforms. 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 4.08.2 ======================= No new features, just a few minor bug fixes. + What's new in 4.08 ===================== This should be a stable release. There have been many enhancements since 4.06, and shed-loads of bug-fixes (one shed (imperial) ~ one ton (US)). There are the following changes - New profiling subsystem, based on cost-centre stacks. - Working x86 native code generator: now it works properly, runs about twice as fast as compiling via C, and is on a par for run-time speed (except in FP-intensive programs). - Implicit parameters (i.e. dynamic scoping without the pain). - DEPRECATED pragma for marking obsolescent interfaces. - In the wake of hslibs, a new package system for libraries. -package should now be used instead of -syslib. - Result type signatures work. - Many tiresome long-standing bugs and problems (e.g. the trace problem) have been fixed. - Many error messages have been made more helpful and/or accurate. For full details see the release notes: http://www.haskell.org/ghc/docs/4.08/users_guide/release-4-08.html + Important Info For Win32 users ================================= ALERT: For reasons as yet not understood, as of January 2001 Cygwin's mingw package has a problem that causes GHC-compiled binaries to be built incorrectly. The fix is to ensure that your mingw package is dated 20001111 (you can set this in the Cygwin installer). See the installation guide for more details. + 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. + 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 + How to get it ================ The easy way is to go to the WWW page, which should be self-explanatory: http://www.haskell.org/ghc/ Once you have the distribution, please follow the pointers in the README file to find all of the documentation about this release. NB: preserve modification times when un-tarring the files (no `m' option for tar, please)! + System requirements ====================== To compile the sources, you need a machine with 32+MB memory, GNU C (`gcc'), `perl' plus a version of GHC installed (3.02 at least). This release is known to work on the following platforms: * i386-unknown-{linux,freebsd,netbsd,cygwin32,mingw32} * sparc-sun-solaris2 * hppa1.1-hp-hpux{9,10} Ports to the following platforms should be relatively easy (for a wunderhacker), but haven't been tested due to lack of time/hardware: * 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/4.08/building/building-guide.html

1 0

RE: Documentation
by Ralf Hinze 02 Feb '01

02 Feb '01

> Yup, you have to explicitly ask for the documentation. Go to > ghc/docs/set, and type 'make set'. The full documentation (combined > Users' Guide and Library reference) will end up in set/ after a while. That does not work. make answers make: *** No rule to make target `set'. Any ideas? Do I have to take special actions when configuring? Ralf

2 1

RE: Documentation
by Simon Marlow 01 Feb '01

01 Feb '01

> > Yup, you have to explicitly ask for the documentation. Go to > > ghc/docs/set, and type 'make set'. The full documentation (combined > > Users' Guide and Library reference) will end up in set/ > after a while. > > That does not work. make answers > make: *** No rule to make target `set'. > Any ideas? Do I have to take special actions when > configuring? oops, sorry I meant 'make html'. You can also do 'make dvi', 'make ps', 'make pdf' etc. Cheers, Simon

1 0

RE: Documentation
by Simon Marlow 01 Feb '01

01 Feb '01

> Dear all, > > I just successfully installed GHC 4.08.1 and Happy 1.9 > from source under SuSE linux. However, it seems that > the doumentation is not generated. Do I have to take > special actions (NB configure seems to be satisfied with > the DocBook installation)? > Yup, you have to explicitly ask for the documentation. Go to ghc/docs/set, and type 'make set'. The full documentation (combined Users' Guide and Library reference) will end up in set/ after a while. Cheers, Simon

1 0

Documentation
by Ralf Hinze 01 Feb '01

01 Feb '01

Dear all, I just successfully installed GHC 4.08.1 and Happy 1.9 from source under SuSE linux. However, it seems that the doumentation is not generated. Do I have to take special actions (NB configure seems to be satisfied with the DocBook installation)? Thanks, Ralf

1 0

RE: Floating point performance
by Julian Seward (Intl Vendor) 29 Jan '01

29 Jan '01

I tried this, with ghc-4.08.1 -O both with and without profiling, on a Sparc box of I believe around 300 MHz, and I can't reproduce it at all. Without profiling, it allocates about 505 k of heap and runs in 0.02 seconds. Ummm ? J | -----Original Message----- | From: Jan Kort [mailto:kort@wins.uva.nl] | Sent: Friday, January 26, 2001 4:40 PM | To: glasgow-haskell-users(a)haskell.org | Subject: Floating point performance | | | Hi, | I noticed ghc (version 4.08.1) floating point performance is | really slow on my computer: a 270Mhz sun ultra5. The program | below does 1 milion floating point multiplications and takes | 2 seconds to run. I made a profile and it says most of the | time (93%) is spent in the function bar. Any idea what is | going on ? | | Regards, | Jan | | module Main where | | foo :: Double -> [Double] | foo 0 = [1] | foo n = bar n:foo (n-1) | | bar :: Double -> Double | bar n = n*1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | *1*1*1*1*1*1*1*1*1*1 | | foldl' :: (a -> b -> a) -> a -> [b] -> a | foldl' _ a [] = a | foldl' f a (x:xs) = (foldl' f $! f a x) xs | | main :: IO() | main = putStrLn (show (foldl' (+) 0 (foo 10000))) | | --------------------------- | Profile: | | total time = 2.60 secs (130 ticks @ 20 ms) | total alloc = 24,845,828 bytes (excludes profiling | overheads) | | COST CENTRE MODULE %time %alloc | | bar Main 93.1 96.1 | foo Main 3.1 2.4 | foldl' Main 3.1 1.4 | | | individual inherited | COST CENTRE MODULE entries %time %alloc | %time %alloc | | MAIN MAIN 0 0.0 0.0 | 100.0 100.0 | main Main 0 0.0 0.0 | 0.0 0.0 | CAF PrelShow 1 0.0 0.0 | 0.0 0.0 | CAF PrelFloat 3 0.0 0.0 | 0.0 0.0 | CAF PrelHandle 3 0.0 0.0 | 0.0 0.0 | CAF Main 9 0.0 0.0 | 100.0 100.0 | main Main 1 0.8 0.0 | 100.0 100.0 | foo Main 10001 3.1 2.4 | 96.2 98.5 | bar Main 10000 93.1 96.1 | 93.1 96.1 | foldl' Main 10002 3.1 1.4 | 3.1 1.4 | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users |

3 2

Using GHC with Green Card under Win32
by Jeremy Shute 29 Jan '01

29 Jan '01

Sigbjorn: Yes, this works perfectly now. Thanks! I've taken the liberty of mailing this to the GHC mailing list so hopefully it can percolate to the archives and be of use to others (I know I usually check there first). I hope this won't be considered misuse of the list... Thanks again! Jeremy Shute > -----Original Message----- > From: Sigbjorn Finne [mailto:sigbjorn_finne@hotmail.com] > Sent: Monday, January 29, 2001 1:21 PM > To: Jeremy Shute > Subject: Re: Troubles running ScriptReg > > > Yes, you don't want to link against the Hugs DLL when > you're working with ghc compiled code. Try adding > -package greencard to the final link line. > > --sigbjorn > > ----- Original Message ----- > From: "Jeremy Shute" <shutej(a)rpi.edu> > To: "Sigbjorn Finne" <sigbjorn_finne(a)hotmail.com> > Sent: Monday, January 29, 2001 18:53 > Subject: RE: Troubles running ScriptReg > > > > Yes, now things work wonderfully. I've written a little shell script to > > automate the process, the .o builds fine! Now I'm trying to make use of > the > > library: > > > > > > > > $ ghc -static Main.hs Gimme.o -fglasgow-exts -fvia-C \ > > > > > '-iF:\\usr\\share\\ghc\\lib\\imports\\greencard;F:\\usr\\share\\gh > c\\lib\\im > > ports\\greencard' > > Compilation IS NOT required > > Output file not specified, defaulting to "main.exe" > > Gimme.o(.text+0x38):ghc1140.c: undefined reference to `__init_StdDIS' > > Gimme.o(.text+0x144):ghc1140.c: undefined reference to > > `StdDIS_unmarshallzustringzu_closure' > > Gimme.o(.text+0x250):ghc1140.c: undefined reference to > > `StdDIS_unmarshallzustringzu_closure' > > collect2: ld returned 1 exit status > > > > > > > > I've crawled the drive and found that the only C code-ish file > for StdDIS > > are StdDIS.dll, and that's in greencard\lib\hugs... I don't > think linking > > against that would be appropriate. When I omit that trailing > '-iF:\\...', > > the same errors are output. Sooo close! > > > > Perhaps I should post all this to the mailing list, just so people can > find > > it while crawling the archives? I would think these are fairly useful > > nuggets of info. :-) > > > > Jeremy > > > > > > > > > -----Original Message----- > > > From: Sigbjorn Finne [mailto:sigbjorn_finne@hotmail.com] > > > Sent: Friday, January 26, 2001 12:30 PM > > > To: Jeremy Shute > > > Subject: Re: Troubles running ScriptReg > > > > > > > > > > > > Good to hear that you're up and running, at least on the HaskellScript > > > side. You're close on the GC side too - to properly process the input > > > you need to use the -i option to inform GC where it can slurp in > > > StdDIS.gc from (Although the docs says so, the binary doesn't > > > automatically > > > figure this out..) So, if you invoke it as follows > > > > > > green-card -tghc Gimme.gc -iF:\\usr\\share\\greencard\\lib\\ghc > > > > > > the warning should go away. To compile Gimme.hs with ghc-4.08, > > > use the following command-line: > > > > > > ghc -static -c Gimme.hs -fglasgow-exts -fvia-C \ > > > > > > '-iF:\\usr\\share\\greencard\\lib\\ghc;F:\\usr\\share\\greencard\\ > > > lib\\ghc' > > > > > > i.e., you need to kludge around a bit to get DOS-style paths to work > > > OK & redundantly give it twice, using ';' as separator. > > > > > > To generate Hugs-compatible output on a Win32 box, Section 12.2 of > > > the manual contains accurate info. > > > > > > hth, > > > --sigbjorn > > > > > > ----- Original Message ----- > > > From: "Jeremy Shute" <shutej(a)rpi.edu> > > > To: "Sigbjorn Finne" <sigbjorn_finne(a)hotmail.com> > > > Sent: Friday, January 26, 2001 02:56 > > > Subject: RE: Troubles running ScriptReg > > > > > > > > > > Howdy, Sigbjorn. > > > > > > > > Confirming again that Hugs now works great with > HaskellScript (or what > > > I've > > > > tested of it, at least, ;-) )... > > > > > > > > Now here I am, staring at Green Card, realizing that you're > one of the > > > > authors. You sure do get around in the Haskell world! > > > > > > > > I'm running GHC-4.08.1 and Green Card 2 (presumably 2.01, I > installed > it > > > > right before Christmas break). I've looked at the example > > > online of GDBM, > > > > and am trying this code: > > > > > > > > ---------------------------------------- > > > > %#include "hello.h" > > > > {- > > > > Testing... This is Gimme.gc! > > > > -} > > > > > > > > module Gimme( gimme ) > > > > > > > > where > > > > > > > > import StdDIS > > > > import Foreign( ForeignObj, > > > > makeForeignObj ) > > > > > > > > %fun gimme :: IO String > > > > %code > > > > %result (string {hello()}) > > > > > > > > ---------------------------------------- > > > > /* > > > > Testing... This is hello.h! > > > > */ > > > > > > > > char* hello( ) { > > > > return "Howdy!\n"; > > > > } > > > > > > > > ---------------------------------------- > > > > > > > > I run: > > > > > > > > green-card.exe -tghc Gimme.gc > > > > > > > > It says: > > > > > > > > Warning: unable to find StdDIS in: > > > > > > > > Notice how it says nothing after the "in"... I've scoured > the manual > > > > looking for ways to set the library path of green card, and > either I'm > > > > missing something or it's not there... Reguardless, I suppose > > > I'm not too > > > > TERRIBLY concerned at this stage, as I still have a > Gimme.hs that it's > > > > produced. The contents of which are (the comment is no longer > correct, > > > but > > > > I left it reguardless): > > > > > > > > ---------------------------------------- > > > > {-# OPTIONS -#include "hello.h" #-} > > > > {- > > > > Testing... This is Gimme.gc! > > > > -} > > > > > > > > module Gimme( gimme ) > > > > > > > > where > > > > > > > > import StdDIS > > > > import Foreign( ForeignObj, > > > > makeForeignObj ) > > > > > > > > gimme :: IO String > > > > gimme = > > > > _casm_ ``do {do {} while(0);} while(0);'' > > > > (unmarshall_string hello()) >>= \ gc_res1 -> > > > > > > > > ---------------------------------------- > > > > > > > > That last line may wrap in your email... gimme= should be > followed by > 2 > > > > lines. The file's contents look OK, so I look up where StdDIS.hs is > > > located > > > > under my Green Card directory, stuff that onto GHC's command > > > line, and try > > > > to whip out an executable of some sort (using the static flag > > > because it's > > > > necessary under this version of GHC for Win32). Okay, so here comes > the > > > > part where I blame it on GHC instead of Green Card: > > > > > > > > I run: > > > > > > > > ghc -static -iF:\\usr\\share\\greencard\\lib\\ghc\\ Gimme.hs > > > > > > > > It says: > > > > > > > > Gimme.hs:15: parse error on input ``' > > > > > > > > I have reinstalled Green Card several times, moved things > around, been > > > > pretty thorough... Tried various other code, and it always > > > lands me with > > > > this message. I can only presume that I'm being foolish, yet again, > and > > > > that perhaps this newer version of GHC is mutually exclusive with > Green > > > > Card? Please advise. > > > > > > > > :-) So far, my experience with the language has been nothing but > > > positive. > > > > I tried out Erlang, too, and Haskell just feels cleaner. > > > However, getting > > > > the implementations set up is quite daunting... > > > > > > > > > > > > > > > > Jeremy Shute > > > > > > > > > > > > > > > > > -----Original Message----- > > > > > From: Sigbjorn Finne [mailto:sigbjorn_finne@hotmail.com] > > > > > Sent: Wednesday, January 17, 2001 7:00 AM > > > > > To: Jeremy Shute > > > > > Cc: daan(a)cs.uu.nl; erik(a)cs.uu.nl > > > > > Subject: Re: Troubles running ScriptReg > > > > > > > > > > > > > > > Hi Jeremy, > > > > > > > > > > I don't know if anyone else has been trying to help you out, > > > > > but the HaskellScript binary you're using is not quite > > > > > up-to-date with the available Hugs98 binaries and libraries, > > > > > i.e., Addr.addrToInt is a recent addition to the Addr lib. > > > > > > > > > > My initial suggestion would be to simply comment-out > > > > > the 'primitive' declaration for addrToInt and try again -- > > > > > addrToInt isn't used all that much, anyway. > > > > > > > > > > --sigbjorn > > > > > > > > > > ----- Original Message ----- > > > > > From: "Jeremy Shute" <shutej(a)rpi.edu> > > > > > To: <daan(a)cs.uu.nl>; <erik(a)cs.uu.nl> > > > > > Cc: <sof(a)dcs.gla.ac.uk> > > > > > Sent: Sunday, January 14, 2001 19:17 > > > > > Subject: Troubles running ScriptReg > > > > > > > > > > > > > > > > I'm having some difficulty with HaskellScript under Windows 2000 > > > > > > Professional. My progress so far: > > > > > > > > > > > > * Downloaded and installed Hugs 98: November 1999 > version. Chose > > > > > "typical" > > > > > > install. Hugs resides in "C:\Hugs98". > > > > > > > > > > > > * Downloaded and installed HaskellScript (build 11). > HaskellScript > > > > > resides > > > > > > in "C:\HScript98". > > > > > > > > > > > > * Started reading through the documentation and figured I'd try > > > > > ScriptReg > > > > > > (in the demos directory) on the included Calculator > > > example, as noted > > > at > > > > > the > > > > > > bottom of > > > http://haskell.cs.yale.edu/haskellscript/osexamples.html. A > > > > > popup > > > > > > window informed me that Prelude.hs was not found. I > > > investigated the > > > > > > contents of my registry and determined that > HaskellScript doesn't > > > assume > > > > > or > > > > > > ask for any information about Hugs' install directory, so I came > up > > > with > > > > > the > > > > > > quick fix I've attached. Maybe you can make it useful to > others... > > > > > > > > > > > > * ScriptReg now fails with a MsgBox. The title of the box is > > > > > "HugsScript" > > > > > > and the error message follows: > > > > > > > > > > > > error: ERROR "C:\Hugs98\lib\exts\Addr.hs" (line 23): > > > Unknown primitive > > > > > > reference "addrToInt" > > > > > > > > > > > > When the "OK" button is pressed, another message box pops > > > up, this one > > > > > > titled "ScriptReg", which states: > > > > > > > > > > > > Run-time error '440': > > > > > > > > > > > > Automation error > > > > > > > > > > > > * Checked out the contents of Addr.hs... Everything looks in > > > > > order. Line > > > > > > 14 in this file reads: > > > > > > > > > > > > -- data Addr -- in Prelude > > > > > > > > > > > > So I looked in Prelude.hs. Line 1605 of Prelude.hs reads: > > > > > > > > > > > > data Addr -- builtin datatype of C pointers > > > > > > > > > > > > Prelude.hs also contains the appropriate Standard Integral > > > types. I'm > > > > > left > > > > > > wondering if Prelude.hs isn't processed before Addr.hs??? > > > This is the > > > > > only > > > > > > suspicion I have, maybe I've missed something? > > > > > > > > > > > > I would appreciate any insight you could give me: Two weeks > > > > > from now I'm > > > > > > starting on a web spider that's going to have to have bayesian > > > > > classifiers > > > > > > and neural networking components. I want to encapsulate these > parts > > > in > > > > > > Haskell, but that would be a much easier case to make to my > > > boss if my > > > > > > coworkers could access my code from COM! > > > > > > > > > > > > Thanks so much! > > > > > > > > > > > > Jeremy > > > > > > > > > > > > > > > > > > > > > > > > > > >

1 0

RE: Floating point performance
by Simon Marlow 29 Jan '01

29 Jan '01

> Fri, 26 Jan 2001 17:40:17 +0100, Jan Kort <kort(a)wins.uva.nl> pisze: > > > I made a profile and it says most of the time (93%) is spent in > > the function bar. > > Did you compile with optimization turned on (option -O)? > I see similar results without -O but quite different with -O. Without optimisation, you get the native code generator which produces particularly brain-dead code for floating point on x86 (mainly due to Intel's brain-dead design of the x86 floating point unit). With optimisation, you get gcc. Cheers, Simon

1 0