[Haskell] Re: Implicit Parameters

2006-03-02 Thread Lauri Alanko
On Wed, Mar 01, 2006 at 11:53:42AM +, Simon Marlow wrote: something along these lines is likely to be quite straightforward to implement, won't require any changes to the type system, and gives you a useful form of implicit parameters without any of the drawbacks. The main difference

Re: [Haskell] Re: Implicit Parameters

2006-03-02 Thread Bulat Ziganshin
Hello Lauri, Thursday, March 2, 2006, 3:25:31 PM, you wrote: LA Now, I wonder whether we really really really need to track implicit LA parameters in the type system. After all, exceptions, too, introduce a there is also another way - allow partial function signatures -- Best regards, Bulat

[GHC] #708: Error: Data.Generics / Cast

2006-03-02 Thread GHC
#708: Error: Data.Generics / Cast --+- Reporter: [EMAIL PROTECTED] |Owner: Type: bug| Status: new Priority: normal |

[GHC] #709: Fixup too large error with -fasm on PowerPC

2006-03-02 Thread GHC
#709: Fixup too large error with -fasm on PowerPC ---+ Reporter: simonmar|Owner: Type: bug | Status: new Priority: low |

[GHC] #711: shutdownHaskell() does not return allocated memory

2006-03-02 Thread GHC
#711: shutdownHaskell() does not return allocated memory -+-- Reporter: [EMAIL PROTECTED] |Owner: Type: bug | Status: new Priority:

darcs: internal error: update_fwd: unknown/strange object 57

2006-03-02 Thread David F. Place
Trying to get the sources as instructed on the developer wiki: /usr/local/bin/darcs get --partial http://darcs.haskell.org/ghc This is the GHC darcs repostory (HEAD branch) For more information, visit the GHC developer wiki at http://hackage.haskell.org/trac/ghc ** darcs:

Re: Missing Folder in ghc?

2006-03-02 Thread Simon Marlow
Ashley Yakeley wrote: Lemmih wrote: Did you run 'sh darcs-all get'? Oh, that wasn't in the README. Thanks. The instructions for getting GHC by darcs are here: http://cvs.haskell.org/trac/ghc/wiki/GhcDarcs It looks like you expected to build GHC by grabbing the darcs repo and reading

Re[2]: factorial: let's get ahead of jhc! :)

2006-03-02 Thread Bulat Ziganshin
Hello Simon, Friday, February 24, 2006, 7:18:30 PM, you wrote: 1) add for/if/while to the C-- statement types list (data CmmStmt) SM Please don't extend the C-- data type - it's very small and simple SM because that makes it easy to manipulate and reason about. SM I don't see why you need

Re: GHC 6.4.1 and Win32 DLLs: Bug in shutdownHaskell?

2006-03-02 Thread Cyril Schmidt
Did you try to link the DLL statically (i.e. via import library) and remove the call to shutdownHaskell() ? It worked for me (I am using Visual Studio 7, though). Cheers, Cyril ___ I wrapped up some Haskell modules in a Win32 DLL. Loading the DLL dynamically (with LoadLibrary) works fine.

--make keep going?

2006-03-02 Thread John Meacham
is there an option to get ghc to keep going if it encounters an error building a file with --make? as in, I'd like it to continue compiling as much as it can only skipping what actually depends on the file that failed rather than completly aborting everything. John -- John Meacham -

Re: Missing Folder in ghc?

2006-03-02 Thread Ashley Yakeley
Simon Marlow wrote: It looks like you expected to build GHC by grabbing the darcs repo and reading the README file - that isn't a route I anticipated :-) I'll make sure the README gets updated at some point. Thanks. Now the build process gets stuck here:

Re: Missing Folder in ghc?

2006-03-02 Thread Wolfgang Thaller
On 2-Mar-06, at 7:35 PM, Ashley Yakeley wrote: Thanks. Now the build process gets stuck here: I ran into this yesterday, but didn't have time to look into it; today, ./darcs-all pull seems to have fixed it. Cheers, Wolfgang ___

Re: Keep the present Haskell record system!

2006-03-02 Thread Ross Paterson
On Wed, Mar 01, 2006 at 11:00:41AM +, Malcolm Wallace wrote: Thus, although I agree that none is ready for inclusion in Haskell-prime, I think we do need some mechanism for experimental records to be tried out in real Haskell implementations before the Haskell-double-prime committee starts

Re: relaxed instance rules spec (was: the MPTC Dilemma (pleasesolve))

2006-03-02 Thread Ross Paterson
On Thu, Mar 02, 2006 at 12:03:59PM -, Claus Reinke wrote: The way I interpret FDs implies that they introduce a systematic space leak into the inference process: if any stage in the inference uses *any* constraint with a class which is subject to an FD, that results in an additional bit

RE: [Haskell-cafe] Template haskell instance checking

2006-03-02 Thread Simon Peyton-Jones
Not at the moment, I'm afraid, but it's the kind of question that TH ought to be able to answer. I could offer guidance if someone wanted to implement it. Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of | heatsink | Sent: 02 March 2006 00:55 |

[Haskell-cafe] conditional code, was: Template haskell instance checking

2006-03-02 Thread Christian Maeder
heatsink wrote: Is there a way, in template haskell, to find out what instance declarations exist? I'm not trying to accomplish anything specific right now, but I can see two potential uses for this. One is to emit compile-time error messages from TH code which would be more informative

[Haskell-cafe] Re: Layout rule (was Re: PrefixMap: code review request)

2006-03-02 Thread Ben Rudiak-Gould
I wrote: I just installed Visual Haskell 0.1, and when I type in the editor, CPU usage rises to about 70% and there's a noticeable delay before each character appears on the screen. This is no longer happening, so I guess I ran afoul of a bug. -- Ben

Re: [Haskell-cafe] Help with Type Class

2006-03-02 Thread Daniel Fischer
Am Mittwoch, 1. März 2006 20:20 schrieben Sie: Daniel, data Array i e = Array i i shouldn't the element type appear here? Typo: data Array i e = Array i i [e] --mockup with list Well, the parameter c of CollectionClass has kind (* - *), Array has kind (* - * - *), so it must

[Haskell-cafe] Re: Template haskell instance checking

2006-03-02 Thread heatsink
Is there a way, in template haskell, to find out what instance declarations exist? Not at the moment, I'm afraid, but it's the kind of question that TH ought to be able to answer. I could offer guidance if someone wanted to implement it. I have a concern about how computed class memberships

[Haskell-cafe] Credit Card Authorization code

2006-03-02 Thread S. Alexander Jacobson
I am looking for Haskell code that does credit card authorization? e.g. paypal website pro does not supply a Haskell lib. Does anyone know where to find something like this? -ALex- __ S. Alexander Jacobson tel:917-770-6565

Re: [Haskell-cafe] Layout rule (was Re: PrefixMap: code reviewrequest)

2006-03-02 Thread Brian Hulley
Brian Hulley wrote: [snip] So any solutions welcome :-) Thank to everyone who replied to my queries about this whole layout issue. One other thing I've been wanting to ask (not to change! :-)) for a while is: how is the following acceptable according to the rules in the Haskell98 report

Re: [Haskell-cafe] Layout rule (was Re: PrefixMap: code reviewrequest)

2006-03-02 Thread Jared Updike
Layout only applies when something is less indented than previous lines, I believe... e.g. do c - getContents filename putStrLn blah or do x - getContents filename putStrLn ok works fine but do c - blahAction putStrLn blah obviously won't work Jared. On 3/2/06,