.h files not found when compiling via C

2006-08-01 Thread Volker Wysk
Hello When compiling a module, which contains foreign import directives, via C, the C compiler needs to be passed a -I. argument, otherwise the include file mentioned there won't be found. You can do this manually with an -I. argument to ghc (after you figure it out), but since this is always

Re: [GHC] #672: INLINE pragmas for default methods don't work

2006-08-01 Thread GHC
#672: INLINE pragmas for default methods don't work ---+ Reporter: simonpj | Owner: simonpj Type: bug | Status: closed Priority: normal| Milestone: 6.6 Component:

Re: .h files not found when compiling via C

2006-08-01 Thread Duncan Coutts
On Sun, 2006-07-23 at 18:09 +0200, Volker Wysk wrote: Hello When compiling a module, which contains foreign import directives, via C, the C compiler needs to be passed a -I. argument, otherwise the include file mentioned there won't be found. You can do this manually with an -I.

RE: returning to cost of Integer

2006-08-01 Thread Simon Peyton-Jones
If there was an alternative small/big rep, no matter how encoded, it'd still entail conditionals (2 for addition say) to check for that path. And the conditionals also hurt optimisations. But both possibilities would be an interesting thing to try. Simon | -Original Message- | From:

RE: --show-iface grammar?

2006-08-01 Thread Simon Peyton-Jones
The right thing to do is to use the GHC API to parse the interface files. That way, when the details change, your program won't get confused. However, the GHC API is neither well designed nor well documented at the moment. This is a bit chicken-and-egg-ish; until people start to use it, it'll

Re[2]: returning to cost of Integer

2006-08-01 Thread Bulat Ziganshin
Hello John, Tuesday, August 1, 2006, 5:19:37 AM, you wrote: This has made me wonder whether we are better off getting rid of the small integer optimization and turning Integer into a straight unboxable ForeignPtr to a GMP number. this would also mean we could use the standard GMP that comes

Re: returning to cost of Integer

2006-08-01 Thread Lennart Augustsson
Actually, you can keep it to one test for add/subtract if you use a single word that is either a number or a pointer, the pointer being tagged in lowest bit. Then you can add first and check for tags after. Having tags is rare, so the machine should be told so, if possible. This way you can

Replacement for GMP

2006-08-01 Thread Peter Tanski
Esa, In the July thread, (Repost) Replacement for GMP as Bignum: ARPREC? Haskell?; OS X and OpenSSL, you wrote: In past, I tried to get rid of GMP by replacing it with libtommath http://math.libtomcrypt.com/ But I have given up for now - because of related and unrelated problems. Since

Re: Rebuilding GHC on Mac OSX PPC

2006-08-01 Thread Simon Marlow
Joel Reymont wrote: I give up! Mac PPC doesn't like me now that I'm on Intel. This is PPC, btw, and I _do_ have readline installed. GHC from DarwinPorts compiles just fine. [snip] /usr/bin/ld: Undefined symbols: _rl_initialize _rl_reset_terminal _add_history _readline collect2: ld

Re: Rebuilding GHC on Mac OSX PPC

2006-08-01 Thread Gregory Wright
Hi, This is probably the libedit issue. On OS X, NetBSD's libedit is installed. Libedit provides a partial implementation of the readline API. On OS X, Apple has symlinked /usr/lib/libreadline.dylib to libedit. This is not a good idea. I submitted at patch to fix this and I think it

Re: Replacement for GMP as Bignum: ARPREC? Haskell?; OS-X andOpenSSL

2006-08-01 Thread Simon Marlow
Duncan Coutts wrote: On Sun, 2006-07-30 at 20:02 +0100, Brian Hulley wrote: Suppose for a moment that GHC did dynamically link gmp.dll, or indeed HSbase.dll. Where exactly would these files go? I'd install them in the same directory as ghc.exe because this directory has to be on the %PATH%

Re: Replacement for GMP

2006-08-01 Thread Esa Ilari Vuokko
Hi Peter, Peter Tanski wrote: In the July thread, (Repost) Replacement for GMP as Bignum: ARPREC? Haskell?; OS X and OpenSSL, you wrote: In past, I tried to get rid of GMP by replacing it with libtommath http://math.libtomcrypt.com/ But I have given up for now - because of related and

Re: returning to cost of Integer

2006-08-01 Thread John Meacham
On Tue, Aug 01, 2006 at 02:57:31PM +0400, Bulat Ziganshin wrote: John, Integer values in many cases used just to keep small numbers which can be larger than 2^32 (2^64) in rare cases. For example, type FileSize = Integer used in IO library. so it's important to keep operations on small

RE: Internships on GHC and Haskell at MSR Cambridge

2006-08-01 Thread Simon Peyton-Jones
| MSR Cambridge now takes interns *year-round*, not just in the summer months. Simon Marlow and I | are keen to attract motivated and well-qualified folk to work with us on our research, and on improving | or developing GHC. PS: concerning the enclosed, if you are interested in an internship at

Re: Replacement for GMP as Bignum: ARPREC? Haskell?; OS-X andOpenSSL

2006-08-01 Thread Duncan Coutts
On Tue, 2006-08-01 at 17:05 +0100, Simon Marlow wrote: Duncan Coutts wrote: So where do I put the Gtk+ .dlls? At the moment I seem to have no choice but to put them on the %PATH%. And thus the breakage ensues. Old versions of Gtk+ that people have on their systems can interfere. Lots of

Re: Replacement for GMP

2006-08-01 Thread Peter Tanski
Esa, What I have written here might not be the most useful guide to start with, but maybe it is of help for other interested souls. Many thanks for the notes; it would probably be better if more than one programmer worked on it. * The memory handling: The idea on most bignum libs is

Re: Replacement for GMP

2006-08-01 Thread Esa Ilari Vuokko
Hi Peter, Peter Tanski wrote: (This may sound naieve): the in { size, used, payload, sign } are all parts of the info-table for the payload and the RTS re-initialises the mathlib on each invocation, right? I hope my answer helps, but if it gets you more confused, maybe it's just because I'm

Re: Replacement for GMP

2006-08-01 Thread Peter Tanski
Hey Esa, Another great instructive email! Thanks again! I will keep this response short because I am sure you are busy and you have been more than helpful so far. I also need to get back to working through the code... I hope my answer helps, but if it gets you more confused, maybe

[Haskell] AngloHaskell: Call for Participation

2006-08-01 Thread Lemmih
Greetings fellow hackers, It is my great pleasure to call attention to the informal gathering of the Haskell community. The event will take place at Cambridge, UK, on Friday and Saturday the 4-5th of August. Don't miss this opportunity to: * associate IRC handles with faces, * drink beer, * ride

Re: [Haskell] thread-local variables

2006-08-01 Thread Einar Karttunen
On 31.07 23:53, Adrian Hey wrote: Frederik Eaton wrote: On Mon, Jul 31, 2006 at 03:09:59PM +0300, Einar Karttunen wrote: On 31.07 03:18, Frederik Eaton wrote: 4) the library runs the callback code in Tw where the TLS state is invalid. This is even worse than a global variable in this case.

[Haskell] RE: Internships on GHC and Haskell at MSR Cambridge

2006-08-01 Thread Simon Peyton-Jones
| MSR Cambridge now takes interns *year-round*, not just in the summer months. Simon Marlow and I | are keen to attract motivated and well-qualified folk to work with us on our research, and on improving | or developing GHC. PS: concerning the enclosed, if you are interested in an internship at

[Haskell-cafe] A program which never crashes (even when a function calls error)

2006-08-01 Thread Stephane Bortzmeyer
[It is a philosophical question, not a practical programming problem.] I'm used, in imperative programming languages with exceptions (like Python) to call any function without fear of stopping the program because I can always catch the exceptions with things like (Python): while not over:

Re: [Haskell-cafe] A program which never crashes (even when a function calls error)

2006-08-01 Thread J. Garrett Morris
On 8/1/06, Stephane Bortzmeyer [EMAIL PROTECTED] wrote: How to do it in Haskell? How can I call functions like Prelude.head while being sure my program won't stop, even if I call head on an empty list (thus calling error)? Try looking at Control.Exception. For example: module Test where

Re: [Haskell-cafe] A program which never crashes (even when a function calls error)

2006-08-01 Thread Matthias Fischmann
On Tue, Aug 01, 2006 at 08:52:06AM +0200, Stephane Bortzmeyer wrote: To: haskell-cafe@haskell.org From: Stephane Bortzmeyer [EMAIL PROTECTED] Date: Tue, 1 Aug 2006 08:52:06 +0200 Subject: [Haskell-cafe] A program which never crashes (even when a function calls error) [It is a

Reviving wxHaskell (was: Re: [wxhaskell-users] [Haskell-cafe] Trouble compiling wxhaskell)

2006-08-01 Thread Jeremy O'Donoghue
Hi list,Apologies for continuing with the cross-posting, but wxhaskell-users is not exactly active.It seems like there may be enough interest in wxHaskell to justify trying to revive the project.At present, from what I can tell, Daan Leijen, the principal developer of wxHaskell, no longer has much

Re: [Haskell-cafe] A program which never crashes (even when a function calls error)

2006-08-01 Thread Henning Thielemann
On Tue, 1 Aug 2006, Stephane Bortzmeyer wrote: [It is a philosophical question, not a practical programming problem.] I'm used, in imperative programming languages with exceptions (like Python) to call any function without fear of stopping the program because I can always catch the

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Einar Karttunen
On 31.07 16:27, Brian Hulley wrote: None of the above type classes would be compatible with Data.ByteString! (You mentioned this issue before wrt Data.Edison.Seq but it just clicked with me now for the above refactoring.) For compatibility, the element type would need to appear also thus:

Re[2]: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Bulat Ziganshin
Hello Brian, Tuesday, August 1, 2006, 4:23:53 AM, you wrote: That's a tough call to make. Changing the kind of Sequence to * from * - * means losing the Functor, Monad, and MonadPlus superclasses and all the various maps and zips. But there's no option if you want to be able to support

Re[2]: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Bulat Ziganshin
Hello Brian, Tuesday, August 1, 2006, 4:43:23 AM, you wrote: As you've pointed out, there are 2 separate issues that are in danger of being confused: 1) Forcing all sequence instances to support all operations 2) Bundling all the ops into a single huge class Collections library (darcs get

Re[2]: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Bulat Ziganshin
Hello John, Tuesday, August 1, 2006, 6:27:29 AM, you wrote: It is best to think of haskell primitives as something completely new, they reuse some naming conventions from OO programming, but that doesn't mean they suffer from the same limitations. It took me a few trys to wrap my brain

Re: [Haskell-cafe] A program which never crashes (even when a function calls error)

2006-08-01 Thread Bulat Ziganshin
Hello Stephane, Tuesday, August 1, 2006, 10:52:06 AM, you wrote: except Exception e: don't look at anything except than Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

Re[2]: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Bulat Ziganshin
Hello Einar, Tuesday, August 1, 2006, 1:58:30 PM, you wrote: class ElementType c a | c - a class Foldable c where fold :: ElementType c a = (a - b - b) - b - c - b i love it! will it be possible to write smth like this: class Stream m h | h-m data T h = (Stream m h) = C (m Int) ?

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Robert Dockins
On Jul 31, 2006, at 10:27 PM, John Meacham wrote: [snip] It is best to think of haskell primitives as something completely new, they reuse some naming conventions from OO programming, but that doesn't mean they suffer from the same limitations. It took me a few trys to wrap my brain

[Haskell-cafe] Memoizing longest-common-subsequence

2006-08-01 Thread Mark T.B. Carroll
I wanted a longest common subsequence function and a bit of Googling failed to turn up a functional one, except for in a scary bit of darcs. So, I tried making a memoized functional version of the LCS delta algorithm on the problem's Wikipedia page. It's not the fastest, but it's simple and should

Re: [Haskell-cafe] Memoizing longest-common-subsequence

2006-08-01 Thread Janis Voigtlaender
Mark T.B. Carroll wrote: Take this as your cue to point out the much better LCS algorithm that already exists in the standard libraries, that I couldn't find. (-: I don't know of a version in the libraries, but since you mentioned you were unsuccessful looking for any functional algorithms

[Haskell-cafe] Future Edison directions

2006-08-01 Thread Robert Dockins
Hello all, There has been very recently a thread discussing the design decisions involved in creating a sequence abstraction. This was naturally of interest to me as the current Edison maintainer, and generated a fair bit of interesting discussion. I'd like to kick off a new thread

[Haskell-cafe] Re: Memoizing longest-common-subsequence

2006-08-01 Thread Benedikt Schmidt
[EMAIL PROTECTED] (Mark T.B. Carroll) writes: I wanted a longest common subsequence function and a bit of Googling failed to turn up a functional one, except for in a scary bit of darcs. The code in darcs is a translation of the example code in the Eugene Myers paper mentioned in the comments

Re: [Haskell-cafe] Trouble compiling wxhaskell

2006-08-01 Thread Jinwoo Lee
Hi, You can post wxHaskell related questions to the wxHaskell mailing list ([EMAIL PROTECTED]). I had problems when compiling wxhaskell 0.9.4 using wxWidgets 2.6.3. And I found out that in wxWidgets 2.6.3, some DB-related field names have changed: columnSize -- columnLength bufferLength

RE: [Haskell-cafe] Re: Memoizing longest-common-subsequence

2006-08-01 Thread Bayley, Alistair
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of [EMAIL PROTECTED] (Mark T.B. Carroll) writes: I wanted a longest common subsequence function and a bit of Googling failed to turn up a functional one, except for in a scary bit of darcs. The code in darcs is a

Re: Re[2]: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Brian Hulley
Bulat Ziganshin wrote: Hello Brian, Tuesday, August 1, 2006, 4:43:23 AM, you wrote: As you've pointed out, there are 2 separate issues that are in danger of being confused: 1) Forcing all sequence instances to support all operations 2) Bundling all the ops into a single huge class

Re: Re[2]: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Duncan Coutts
On Tue, 2006-08-01 at 14:37 +0400, Bulat Ziganshin wrote: Hello Brian, Tuesday, August 1, 2006, 4:23:53 AM, you wrote: That's a tough call to make. Changing the kind of Sequence to * from * - * means losing the Functor, Monad, and MonadPlus superclasses and all the various maps and

Re: [Haskell-cafe] Memoizing longest-common-subsequence

2006-08-01 Thread Jared Updike
On 8/1/06, Mark T.B. Carroll [EMAIL PROTECTED] wrote: I wanted a longest common subsequence function and a bit of Googling failed to turn up a functional one, except for in a scary bit of darcs. I saw a thread from back in the day about this when I was looking for a good implementation of

Re: [Haskell-cafe] The difficulty of designing a sequence class

2006-08-01 Thread Brian Hulley
John Meacham wrote: On Tue, Aug 01, 2006 at 02:56:21AM +0100, Brian Hulley wrote: Now the problem is that person C may come along and notice that there is a useful abstraction to be made by inheriting both from ClassA and ClassB. But both of these define foo and there is no mechanism in the

Re: [Haskell-cafe] Future Edison directions

2006-08-01 Thread Brian Hulley
Robert Dockins wrote: [snip other points] 7) Finally, I somehow feel like there should be a nice categorical formulation of these datastructure abstractions which would help to drive a refactoring of the API typeclasses in a principled way, rather than on an ad-hoc

Re: [Haskell-cafe] Future Edison directions

2006-08-01 Thread Jared Updike
This page: http://jaortega.wordpress.com/2006/03/17/programmers-go-bananas/ lists some references at the bottom. Perhaps they would be useful. Jared. On 8/1/06, Brian Hulley [EMAIL PROTECTED] wrote: Robert Dockins wrote: [snip other points] 7) Finally, I somehow feel like there should be

FW: Reviving wxHaskell (was: Re: [wxhaskell-users] [Haskell-cafe] Troublecompiling wxhaskell)

2006-08-01 Thread Daan Leijen
Dear wxHaskell users, First of all, I apologize for not being responsive on the wxHaskell users mailing list. I recently changed jobs and countries and didnt properly take care of older email aliases. Anyway, even though I am motivated to support wxHaskell, practice proves that the

[Haskell-cafe] Re: [Parsec] Backtracking with try does not work for me?

2006-08-01 Thread Stephane Bortzmeyer
On Tue, Aug 01, 2006 at 09:41:40AM +0100, Chris Kuklewicz [EMAIL PROTECTED] wrote a message of 105 lines which said: The problem is mentioned here: http://www.cs.uu.nl/people/daan/download/parsec/parsec.html#notFollowedBy notFollowedBy seems to work for me and is quite simple, even for my

Re: [Haskell-cafe] Future Edison directions

2006-08-01 Thread Brian Hulley
Robert Dockins wrote: [snip] 7) Finally, I somehow feel like there should be a nice categorical formulation of these datastructure abstractions which would help to drive a refactoring of the API typeclasses in a principled way, rather than on an ad-hoc I-sort-of-think-these-go-together sort of

[Haskell-cafe] Re: [wxhaskell-users] FW: Reviving wxHaskell

2006-08-01 Thread Eric Y. Kow
On Tue, Aug 01, 2006 at 13:03:52 -0700, Daan Leijen wrote: One potential challenge is to find a group of testers that are willing to help compiling wxHaskell on different target systems: Windows, MacOS X, and Unix/GTK variations. I volunteer to help test on MacOS X I am happy to give

Re: [Haskell-cafe] Future Edison directions

2006-08-01 Thread Brian Hulley
Jared Updike wrote: This page: http://jaortega.wordpress.com/2006/03/17/programmers-go-bananas/ lists some references at the bottom. Perhaps they would be useful. Thanks! That page looks really interesting and useful, Brian. ___ Haskell-Cafe

Re: [Haskell-cafe] A program which never crashes (even when a function calls error)

2006-08-01 Thread Clifford Beshers
Stephane Bortzmeyer wrote: [It is a philosophical question, not a practical programming problem.] I'm used, in imperative programming languages with exceptions (like Python) to call any function without fear of stopping the program because I can always catch the exceptions with things like

Re: [Haskell-cafe] Re: [Parsec] Backtracking with try does not work for me?

2006-08-01 Thread Udo Stenzel
Stephane Bortzmeyer wrote: The first would be to test whether bb is followed by eof or comma before accepting it. notFollowedBy actually does the opposite (checking that there are no more letters). Are you sure that you don't actually want * many1 letter `sepBy1` comma ? Just asking,

Re: [Haskell-cafe] Future Edison directions

2006-08-01 Thread Brian Hulley
Brian Hulley wrote: splitWith :: (v - Bool) - c - (c,c) splitWith p t | isEmpty t = (empty, empty) | p (measure t) = let (l,x,r) = splitWithInternal p mempty t in (l, pushL x r) | otherwise =