Subject: [GHC] #945: `waitForProcess' report in `install' in ghc-6.6 - msg#00115

Previous Message by Date: click to view message preview

Re: ghci 6.4 panic on HList code.

sorry, i was too fast with my report. i still consider what i found a bug in ghci, but it's triggered by a bug in my code. you can also trigger it by the much shorter: module Main where class C a where f :: C a in contrast, the more correct: module Main where class C a where f :: a works. feel free to fix it anyhow, of course... (-: cheers, matthias On Fri, Oct 06, 2006 at 03:56:20PM +0200, Matthias Fischmann wrote: > To: glasgow-haskell-bugs@xxxxxxxxxxx > From: Matthias Fischmann <fis@xxxxxxxxxxxxxxxxx> > Date: Fri, 6 Oct 2006 15:56:20 +0200 > Subject: ghci 6.4 panic on HList code. > > > > Hi, > > I get a reproducible crash with ghci 6.4 (ubuntu package version > 6.4-4.1ubuntu2). I am using HList as retrieved yesterday from > http://darcs.haskell.org/HList. > > If you need further details please let me know. I am also happy to > meet on irc/gizmo/skype and talk it through in real-time. > > thanks, > Matthias > > > > ====================================================================== > module Main > where > > import IO > import Monad > import List > import Array > import HListPrelude > > data T = T Int > > class C a > where f :: C a -> Int > > instance C T > where f (T i) = i > > class HList l => CList l > > instance CList HNil > instance (C c, CList cs) => CList (HCons c cs) > > test :: (CList l) => l -> [Int] > test = hMapOut f > > main :: IO () > main = error "" > > ====================================================================== > ___ ___ _ > / _ \ /\ /\/ __(_) > / /_\// /_/ / / | | GHC Interactive, version 6.4, for Haskell 98. > / /_\\/ __ / /___| | http://www.haskell.org/ghc/ > \____/\/ /_/\____/|_| Type :? for help. > > Loading package base-1.0 ... linking ... done. > Prelude> :load /home/fis/tmp/Main.hs > Compiling FakePrelude ( > /home/fis/wiwi/reputation/esim/HList/FakePrelude.hs, interpreted ) > Compiling HListPrelude ( > /home/fis/wiwi/reputation/esim/HList/HListPrelude.hs, interpreted ) > Compiling Main ( /home/fis/tmp/Main.hs, interpreted ) > ghc-6.4: panic! (the `impossible' happened, GHC version 6.4): > ds_app_type Main.C{tc r5nj} [a{tv a5oO}] > > Please report it as a compiler bug to , > or http://sourceforge.net/projects/ghc/. > > > > > ====================================================================== -- Institute of Information Systems, Humboldt-Universitaet zu Berlin web: http://www.wiwi.hu-berlin.de/~fis/ e-mail: fis@xxxxxxxxxxxxxxxxx tel: +49 30 2093-5742 fax: +49 30 2093-5741 office: Spandauer Strasse 1, R.324, 10178 Berlin, Germany pgp: AD67 CF64 7BB4 3B9A 6F25 0996 4D73 F1FD 8D32 9BAA signature.asc Description: Digital signature _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@xxxxxxxxxxx http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Next Message by Date: click to view message preview

RE: ghci 6.4 panic on HList code.

Yes, this is indeed a bug, happily long fixed. 6.6 says Foo9.hs:1:34: Class `C' used as a type In the class declaration for `C' Simon | -----Original Message----- | From: glasgow-haskell-bugs-bounces@xxxxxxxxxxx [mailto:glasgow-haskell-bugs-bounces@xxxxxxxxxxx] | On Behalf Of Matthias Fischmann | Sent: 06 October 2006 15:03 | To: glasgow-haskell-bugs@xxxxxxxxxxx | Subject: Re: ghci 6.4 panic on HList code. | | | | sorry, i was too fast with my report. i still consider what i found a | bug in ghci, but it's triggered by a bug in my code. you can also | trigger it by the much shorter: | | module Main where class C a where f :: C a | | in contrast, the more correct: | | module Main where class C a where f :: a | | works. feel free to fix it anyhow, of course... (-: | | cheers, | matthias F25 0996 4D73 F1FD 8D32 9BAA

Previous Message by Thread: click to view message preview

ghci 6.4 panic on HList code.

Hi, I get a reproducible crash with ghci 6.4 (ubuntu package version 6.4-4.1ubuntu2). I am using HList as retrieved yesterday from http://darcs.haskell.org/HList. If you need further details please let me know. I am also happy to meet on irc/gizmo/skype and talk it through in real-time. thanks, Matthias ====================================================================== module Main where import IO import Monad import List import Array import HListPrelude data T = T Int class C a where f :: C a -> Int instance C T where f (T i) = i class HList l => CList l instance CList HNil instance (C c, CList cs) => CList (HCons c cs) test :: (CList l) => l -> [Int] test = hMapOut f main :: IO () main = error "" ====================================================================== ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.4, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \____/\/ /_/\____/|_| Type :? for help. Loading package base-1.0 ... linking ... done. Prelude> :load /home/fis/tmp/Main.hs Compiling FakePrelude ( /home/fis/wiwi/reputation/esim/HList/FakePrelude.hs, interpreted ) Compiling HListPrelude ( /home/fis/wiwi/reputation/esim/HList/HListPrelude.hs, interpreted ) Compiling Main ( /home/fis/tmp/Main.hs, interpreted ) ghc-6.4: panic! (the `impossible' happened, GHC version 6.4): ds_app_type Main.C{tc r5nj} [a{tv a5oO}] Please report it as a compiler bug to , or http://sourceforge.net/projects/ghc/. > ====================================================================== signature.asc Description: Digital signature _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@xxxxxxxxxxx http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Next Message by Thread: click to view message preview

Re: [GHC] #312: Poor error message for kind error

#312: Poor error message for kind error -------------------------------------+-------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: closed Priority: low | Milestone: Component: Compiler (Type checker) | Version: 6.4.1 Severity: normal | Resolution: fixed Keywords: | Difficulty: Unknown Testcase: | Architecture: Unknown Os: Unknown | -------------------------------------+-------------------------------------- Changes (by igloo): * resolution: None => fixed * testcase: => * status: assigned => closed Comment: We now get the nicer: {{{ 312.hs:7:35: Kind mis-match Expected kind `k -> k1 -> k2 -> *', but `Object f' f t' has kind `k -> k1 -> *' In the type synonym declaration for `LiftObject' }}} Test is tcfail132. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/312> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler_______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@xxxxxxxxxxx http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs