[ ghc-Bugs-1115805 ] ghc-6.2.2 requires special configure flag...

2005-02-04 Thread SourceForge.net
Bugs item #1115805, was opened at 2005-02-03 22:19 Message generated for change (Comment added) made by simonmar You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1115805group_id=8032 Category: Build System Group: None Status: Open Resolution: None Priority:

[ ghc-Bugs-1116210 ] GADT constructor constraints ignored

2005-02-04 Thread SourceForge.net
Bugs item #1116210, was opened at 2005-02-04 09:28 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1116210group_id=8032 Category: Compiler (Type checker) Group: 6.4 Status: Open

[ ghc-Bugs-1116210 ] GADT constructor constraints ignored

2005-02-04 Thread SourceForge.net
Bugs item #1116210, was opened at 2005-02-04 09:28 Message generated for change (Comment added) made by wolfram_kahl You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1116210group_id=8032 Category: Compiler (Type checker) Group: 6.4 Status: Open Resolution:

[ ghc-Bugs-1115805 ] ghc-6.2.2 requires special configure flag...

2005-02-04 Thread SourceForge.net
Bugs item #1115805, was opened at 2005-02-03 14:19 Message generated for change (Comment added) made by titus You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=1115805group_id=8032 Category: Build System Group: None Status: Open Resolution: None Priority: 5

installing current binary distribution

2005-02-04 Thread Christian Maeder
Hi, I've installed ghc-6.3.20050202-i386-unknown-linux.tar.bz2 only to find out that gcc-3.4.1 seems to be hard-wired into this ghc: ghc-6.3.20050202: could not execute: gcc-3.4.1 Why is this so. Do I need to install from sources? My current gcc version is: gcc (GCC) 3.3.1 (SuSE Linux) Cheers

Re: installing current binary distribution

2005-02-04 Thread Christian Maeder
Simon Marlow wrote: On 04 February 2005 12:23, Christian Maeder wrote: ghc-6.3.20050202: could not execute: gcc-3.4.1 This is because we currently configure the nightly builds to use gcc-3.4.1, and unfortunately that gets baked into the GHC binary. You can compile from source to get around this.

installing current binary distribution

2005-02-04 Thread Alain Cremieux
Hi, I've installed ghc-6.3.20050202-i386-unknown-linux.tar.bz2 only to find out that gcc-3.4.1 seems to be hard-wired into this ghc: ghc-6.3.20050202: could not execute: gcc-3.4.1 Why is this so. Do I need to install from sources? My current gcc version is: gcc (GCC) 3.3.1 (SuSE Linux) Cheers

[Haskell] RE: Implicit parameters:

2005-02-04 Thread Simon Peyton-Jones
| Sent: 19 January 2005 14:42 | Unbound implicit parameter (?global_counter::IORef a) | arising from use of `get_unique' at Test.hs:17:13-22 | | Is this a bug? Is there some reason why this is not possible? (and if it | is not possible | shouldn't the documentation be changed to reflect

[Haskell] International M.Sc. Program in COMPUTATIONAL LOGIC

2005-02-04 Thread Int. Center for Computational Logic
International M.Sc. Program in COMPUTATIONAL LOGIC The International Center for Computational Logic at the Technische Universitaet Dresden is offering a two-year study program, in English, leading to a master of science (M.Sc.) in computer science. This is part of the European Master's Program

Re: [Possible Spam]RE: [Haskell] Job Posting (Looking for a few good functionalprogrammers)

2005-02-04 Thread Yaron Minsky
David Bergman wrote: Yaron, This is probably out-of-topic, but: are you, or have you considered, using the .NET implementation of OCaml. I managed - painstakingly - to integrate it into a toy .NET project of mine, using .NET Direct3D, and see some virtue in that combination. I've been following

RE: [Possible Spam]RE: [Haskell] Job Posting (Looking for a few goodfunctionalprogrammers)

2005-02-04 Thread David Bergman
Yaron wrote: I've been following OCaml/.NET integration, and it does seem potentially quite interesting, particularly in a business environment like ours where all of the traders use Windows machines. Which .NET implementation did you look at, OCamIL? Or F#? F# I wish there was an

Re: [Haskell-cafe] Haskell binding to Berkeley DB?

2005-02-04 Thread Christian Maeder
our uniform workbench has a simpleDB binding to BDB. http://www.informatik.uni-bremen.de/uniform/wb/ The sources can be downloaded with cvs -d \ :pserver:[EMAIL PROTECTED]:/repository \ co uni and can be compiled with a recent ghc-6.2.2. The only documentation that I'm aware of is a

Re: [Haskell-cafe] Re: mathematical notation and functional programming

2005-02-04 Thread Dylan Thurston
(Resurrecting a somewhat old thread...) On Fri, Jan 28, 2005 at 08:16:59PM +0100, Henning Thielemann wrote: On Fri, 28 Jan 2005, Chung-chieh Shan wrote: But I would hesitate with some of your examples, because they may simply illustrate that mathematical notation is a language with side

Re: [Haskell-cafe] Re: mathematical notation and functional programming

2005-02-04 Thread William Lee Irwin III
On Fri, Jan 28, 2005 at 08:16:59PM +0100, Henning Thielemann wrote: But what do you mean with 1/O(n^2) ? O(f) is defined as the set of functions bounded to the upper by f. So 1/O(f) has no meaning at the first glance. I could interpret it as lifting (1/) to (\f x - 1 / f x) (i.e. lifting from

[Haskell-cafe] Re: Haskell binding to Berkeley DB?

2005-02-04 Thread John Goerzen
On 2005-02-04, Dimitry Golubovsky [EMAIL PROTECTED] wrote: Hi, Has anyone tried/been successful on developing such a binding? Funny you should ask. I released one yesterday. http://quux.org/devel/missingpy/html/MissingPy.AnyDBM.html#v%3AopenSpecificDBM (Download from