RE: unique id for data types

Well done Stefan, for reminding us that it can be done today without the magic. Still it's kind-of-inefficient to encode the name of the type constructor that way. There's a case for adding some built in constants at the type level (numbers, strings) and operators over them. Simon | -Ori

Re: GHC 6.8.1 RC debugger only breaking on first evaluation of a function

On Tue, Sep 18, 2007 at 02:26:38PM -0400, Olivier Boudry wrote: > Hi all, > > I just tried the new GHCi debugger. A great new feature of GHCi 6.8.1. > > When debugging a function, as for example the qsort function given as an > example in the "3.5 The GHCi Debugger" documentation page, the debugg

Re: GHC 6.8.1 RC debugger only breaking on first evaluation of a function

Olivier Boudry wrote: On 9/18/07, *Stefan O'Rear* <[EMAIL PROTECTED] > wrote: There is a flag to do this, and it's even In The Manual! http://haskell.org/ghc/dist/current/docs/users_guide/ghci-set.html#id313085

Re: GHC 6.8.1 RC debugger only breaking on first evaluation of a function

On 19/09/2007, at 10:05, Tomasz Zielonka wrote: If you don't find a better solution, then at least you can make it easier to perform the above sequence: $ cat ~/.ghci :def . readFile $ cat script :l Module :b 236 $ ghci GHCi, version 6.8.20070912: http://www.haskell.org/ghc/ :? for help Load

Re: ANNOUNCE: GHC 6.8.1 Release Candidate

Adrian Hey wrote: I get this error.. [29 of 53] Compiling Data.Tree.AVL.Join ( Data.Tree.AVL/Data/Tree/AVL/Join.hs, dist\build/Data/Tree/AVL/Join.o ) ghc.exe: panic! (the 'impossible' happened) (GHC version 6.8.20070912 for i386-unknown-mingw32): cgPanic a{v sMX} [lid] static binds

Re: unique id for data types

Ok, I'm stuck. The Oleg stuff is great, and it looks like he did everything I've done long ago, without needing type functions or associated types. But I can't use the TTypeable stuff directly because you can't convert the "relational" style of Oleg's work (using functional dependencies)

Unknown option -XPatternSig used in warning

Hello, $ ghc --version The Glorious Glasgow Haskell Compilation System, version 6.7.20070915 When loading the following incorrect program in ghci: foo (x :: a) = x ghci rightly complains: Illegal signature in pattern: a Use -XPatternSigs to permit it OK so I follow the advice and loa

RE: Unknown option -XPatternSig used in warning

I believe this is a known problem with OPTIONS_GHC, and will work on the command line. I think Ian is working on it. Ian? Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On | Behalf Of Bas van Dijk | Sent: 19 September 2007 13:20 | To: glasgow-haskell-use

RE: ANNOUNCE: GHC 6.8.1 Release Candidate

| BTW, should I be reporting bugs with the release candidate on this | list or via the usual trac? Via Trac please. Can you give instructions to reproduce, please? Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On | Behalf Of Adrian Hey | Sent: 19 Septemb

Re: Unknown option -XPatternSig used in warning

On 9/19/07, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > I believe this is a known problem with OPTIONS_GHC, and will work on the > command line. I think Ian is working on it. Ian? Via the command line I get the same problem: $ ghci -XPatternSigs PatternSig.hs GHCi, version 6.7.20070915: h

Re: Unknown option -XPatternSig used in warning

> > | Illegal signature in pattern: a > | Use -XPatternSigs to permit it > | I am very happy to see that it doesn't recommend -fglasgow-exts anymore! However, I still would prefer Use LANGUAGE pragma with extension ``PatternSigs'' to permit it since it points out even mor

Re: Unknown option -XPatternSig used in warning

Via the command line I get the same problem: $ ghci -XPatternSigs PatternSig.hs GHCi, version 6.7.20070915: http://www.haskell.org/ghc/ :? for help ghc-6.7.20070915: unrecognised flags: -XPatternSigs Usage: For basic information, try the `--help' option. $ /cygdrive/c/fptools/ghc/compiler/s

RE: Unknown option -XPatternSig used in warning

Claus is right. The bug is in the error message. I'll push a fix. S | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On | Behalf Of Claus Reinke | Sent: 19 September 2007 14:57 | To: Bas van Dijk; Simon Peyton-Jones | Cc: glasgow-haskell-users@haskell.org | Subjec

Re: Unknown option -XPatternSig used in warning

Am Mittwoch, 19. September 2007 14:20 schrieb Bas van Dijk: > […] > {-# OPTIONS_GHC -XPatternSigs #-} You should use {-# LANGUAGE PatternSigs #-} > […] Best wishes, Wolfgang ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http

Re: Unknown option -XPatternSig used in warning

On 9/19/07, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > ...I'll push a fix. Thanks! It works now: $ ghci -XPatternSignatures PatternSig.hs GHCi, version 6.9.20070919: http://www.haskell.org/ghc/ :? for help Loading package base ... linking ... done. [1 of 1] Compiling Main ( Pa

Re: Unknown option -XPatternSig used in warning

On 9/19/07, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote: > You should use {-# LANGUAGE PatternSigs #-} That should be: {-# LANGUAGE PatternSignatures #-} It would indeed be better if GHC could print "Use LANGUAGE pragma with extension..." like Wolfram mentioned. Bas __

Re: STG to JavaScript translation

I still have some questions regarding the GHC internals. There is a description of STG language in the "Making a Fast Curry: Push/Enter vs. Eval/Apply for Higher-oder Languages" (2004) by Simon Marlow and Simon Peyton Jones paper. In this description the constructor application (CONS closure) can o

Re: Unknown option -XPatternSig used in warning

Hi Wolfram, On Wed, Sep 19, 2007 at 01:45:00PM -, [EMAIL PROTECTED] wrote: > > By the way, some of my LANGUAGE pragmas are getting quite long, > and last time I tried I was not allowed to have a line break in there. What version of GHC are you using? This works in 6.6: {-# LANGUAGE Mul

STG to JavaScript translation

I still have some questions regarding the GHC internals. There is a description of STG language in the "Making a Fast Curry: Push/Enter vs. Eval/Apply for Higher-oder Languages" (2004) by Simon Marlow and Simon Peyton Jones paper. In this description the constructor application (CONS closure) can o

Re: STG to JavaScript translation

On Thu, Sep 20, 2007 at 06:13:38AM +0400, Victor Nazarov wrote: > I still have some questions regarding the GHC internals. > There is a description of STG language in the "Making a Fast Curry: > Push/Enter vs. Eval/Apply for Higher-oder Languages" (2004) by Simon > Marlow and Simon Peyton Jones pap