Marc,
GHC 2.04 correctly says
Main.hs:17: Ambiguous overloading
arising from use of `g' at Main.hs:23
`PrelBase.Ord' `p{-a17v-}'
When checking signature(s) for: `g'
| From: Marc van Dongen <[EMAIL PROTECTED]>
| Date: Sat, 31 May 1997 14:35:40 +0100 (BST)
| Hi,
|
| While I was constructing an example for ghc-users, I created the following
| program which crashed ghc-2.03.
|
| > module Tmp( g ) where
|
| > data AB p q = A
| > | B p q
|
| > g :: (Ord p,Ord q) => (AB p q) -> Bool
| > g (B _ _)
| > = g A
|
| tmp.lhs:6:
| Warning: Possibly incomplete patterns in the definition of function `g'
|
| zonkIdOcc: g_aoQ
|
| panic! (the `impossible' happened):
| lookupBindC:no info!
| for: g_aoQ
| (probably: data dependencies broken by an optimisation pass)
| static binds for:
| Tmp.$d1{-rmM,x-}
| local binds for:
|
| Two seconds later, my system crashed. I assume ghc-2.03 did not cause this :-)
|
|
| Regards,
|
|
| Marc
