Re: type families + GADT = type unsafety?

2007-09-27 Thread Tom Schrijvers
(Simon, does this mean that non-~ discharging will become subject to GADT-style type annotation rules?) No, it does not. No type annotations required in non-GADT-related code, even if equalities are involved. Tom -- Tom Schrijvers Department of Computer Science K.U. Leuven Celestijnenlaan 2

Re: module containing GADTs no longer compiles in ghc 6.8.0

2007-09-27 Thread Daniel Gorín
Hi Simon, Thanks for your prompt response. Actually, the problem was with lambda patterns containing GADT constructors in let bindings and I guess GHC doesn't like that anymore. After replacing them with case statements everything compiles fine as long as I don't turn on -O2 optimizations

Re: type families + GADT = type unsafety?

2007-09-27 Thread Stefan O'Rear
On Thu, Sep 27, 2007 at 04:59:49PM +0200, Wolfgang Jeltsch wrote: > Am Donnerstag, 27. September 2007 15:27 schrieb Roberto Zunino: > > Roberto Zunino wrote: > > > (Trac reports "database locked", posting here...) > > > > For those interested, here are the follow-ups: > > > > http://hackage.haskell

RE: type families + GADT = type unsafety?

2007-09-27 Thread Simon Peyton-Jones
| | simonpj writes there: | > Manuel is about to nuke the old GADT stuff in favour of the new type- | family | > stuff. | | This doesn’t mean that GADTs are being dropped in favor of type | families, does | it? | No... it's an implementation matter only, invisible to programmers Simon ___

Re: Newbie problem: lexical error when compiling

2007-09-27 Thread Ian Lynagh
On Sun, Sep 16, 2007 at 10:05:53PM +0200, Wagner Ferenc wrote: > David Schonberger <[EMAIL PROTECTED]> writes: > > > 'ghc -o hello hello.hs' and received the following error: hello.hs:1:0 > > lexical > > error at character '\65279'. > > See http://en.wikipedia.org/wiki/Byte_Order_Mark > Somehow

Re: Generics in 6.8.0 RC

2007-09-27 Thread Ian Lynagh
Hi Dirk, On Sat, Sep 22, 2007 at 10:45:50AM +0200, Dirk Kleeblatt wrote: > > ghc-6.8.0.20070920-i386-unknown-linux.tar.bz2 > > Gen.hs:13:0: > Can't find interface-file declaration for variable GHC.Base.$gfromBool > Probable cause: bug in .hi-boot file, or inconsistent .hi file >

Re: type families + GADT = type unsafety?

2007-09-27 Thread Wolfgang Jeltsch
Am Donnerstag, 27. September 2007 15:27 schrieb Roberto Zunino: > Roberto Zunino wrote: > > (Trac reports "database locked", posting here...) > > For those interested, here are the follow-ups: > > http://hackage.haskell.org/trac/ghc/ticket/1723 > > Regards, > Zun. simonpj writes there: > Manuel is

Re: where is the full stack trace assigned to its id

2007-09-27 Thread Peter Hercek
Ian Lynagh wrote: On Sun, Sep 23, 2007 at 10:39:48AM +0200, Peter Hercek wrote: App was compiled with ghc -make -prof -auto-all ... and run with app.exe +RTS -hc I expected it to be in app.exe.prof (as it is with -hr option), but that file is empty. If you also pass -p when running the pro

Re: where is the full stack trace assigned to its id

2007-09-27 Thread Ian Lynagh
On Sun, Sep 23, 2007 at 10:39:48AM +0200, Peter Hercek wrote: > > App was compiled with ghc -make -prof -auto-all > ... and run with app.exe +RTS -hc > > I expected it to be in app.exe.prof (as it is with -hr > option), but that file is empty. If you also pass -p when running the program then

Re: type families + GADT = type unsafety?

2007-09-27 Thread Roberto Zunino
Roberto Zunino wrote: (Trac reports "database locked", posting here...) For those interested, here are the follow-ups: http://hackage.haskell.org/trac/ghc/ticket/1723 Regards, Zun. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell