exhaustive pattern warning bug with irrefutable patterns

2005-12-03 Thread John Meacham
the following gives a 'non-exhaustive pattern matching' error when it shouldn't. the ~-pattern always matches. It is not the function that is non-exhausitive, but the irrefutable binding, which are necessarily always non-exhausive so warning about it is the wrong thing to do. f :: [a] -> a f [x]

ghc --make and make

2005-12-03 Thread John Meacham
I was thinking it would be nice if ghc --make could touch the output file with the timestamp of the most recently modified source file. As it is, if you edit a file in between when ghc --make starts and it finishes (a substantial amount of time in some cases) then 'make' will not realize the depen

recommended build system

2005-12-03 Thread Frederik Eaton
Hi all, I'm looking for a build system for my projects which will correctly handle all of ghc's dependencies. I.e. every time I ask it to rebuild an output file, it will only do the minimum amount of compilation necessary. This is important to me because "ghc --make" and cabal currently (AFAICT) w

Re: GHCI and archive libraries.

2005-12-03 Thread Sven Panne
Am Samstag, 3. Dezember 2005 15:17 schrieb Lennart Augustsson: > And on many platforms (well, at least a few years ago) a "shared" > library doesn't have to be PIC. The dynamic loader can do relocation > when it loads the file. (Then it can't be shared.) > > But this was a few years ago on Solari

Re: GHCI and archive libraries.

2005-12-03 Thread Lennart Augustsson
And on many platforms (well, at least a few years ago) a "shared" library doesn't have to be PIC. The dynamic loader can do relocation when it loads the file. (Then it can't be shared.) But this was a few years ago on Solaris and BSDs, it could be different now. -- Lennart Sven Panne

Re: GHCI and archive libraries.

2005-12-03 Thread Sven Panne
Am Samstag, 3. Dezember 2005 14:48 schrieb Lennart Augustsson: > Can't you unpack the ar library and then link the object files > into a shared library? On most platforms the code in a *.a library is not shared library code, e.g. it is not PIC or something like that. Nevertheless, I think that th

Re: GHCI and archive libraries.

2005-12-03 Thread Lennart Augustsson
Can't you unpack the ar library and then link the object files into a shared library? -- Lennart Keean Schupke wrote: GHCI does not load archive libraries. Is it possible (easy?) to get it to load (.a) archive libraries as well as .o and .so files? The problem is some optimized "cbla

GHCI and archive libraries.

2005-12-03 Thread Keean Schupke
GHCI does not load archive libraries. Is it possible (easy?) to get it to load (.a) archive libraries as well as .o and .so files? The problem is some optimized "cblas" libraries are not available as shared libraries due to the performace loss. Regards, Keean. _