Hi,
Compiling the following program (Bug.hs):
module Main where
import System.Console.Readline
main =
do ms - readline Hi
print ms
Using GHC 6.2.2 on Windows XP, using the command line:
ghc --make Bug -o bug
Produces the following message:
Chasing modules from: Bug
Compiling
Hi,
Take a look at the following program, making use of
derivable type classes.
module Bug where
import Data.Generics
class Foo a where
foo :: a - Int
foo{| Unit |}_ = 1
foo{| a :*: b |} _ = 2
foo{| a :+: b |} _ = 3
instance Foo [a]
GHC 6.2.2 produces the following error
Bugs item #1069656, was opened at 2004-11-19 19:57
Message generated for change (Settings changed) made by simonmar
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=1069656group_id=8032
Category: None
Group: None
Status: Closed
Resolution: None
Priority: 5
Yes, you guessed right. Your generic class declaration gives rise to
instance declarations like
| instance (Foo a, Foo b) = Foo (a :*: b) where
| foo _ = 2
You suggest that it could be cleverer about guessing the context for the
instance decl, and that would make sense. But this'd then be
Bugs item #1071030, was opened at 2004-11-22 15:45
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=1071030group_id=8032
Category: None
Group: None
Status: Open
Resolution: None
On 16 November 2004 17:16, Koen Claessen wrote:
Compiling the following program (Bug.hs):
module Main where
import System.Console.Readline
main =
do ms - readline Hi
print ms
Using GHC 6.2.2 on Windows XP, using the command line:
ghc --make Bug -o bug
Produces