Commit 278fc964 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-04-23 11:23:29 by simonpj]

More tests
parent 3021cde7
......@@ -155,3 +155,4 @@ test "tc149" { myvtc("") }
test "tc150" { myvtc("") }
test "tc151" { myvtc("") }
test "tc152" { myvtc("") }
test "tc153" { myvtc("") }
{-# OPTIONS -fglasgow-exts #-}
-- This one blew up Hugs (Apr 02)
module ShouldCompile where
-- Context reduction can introduce opportunities for context improvement,
-- so add an additional `improve' step afterwards. The bug is demonstrated by
-- the following code:
class C a b c | a b -> c where
m :: a -> b -> c
instance C Integer Integer Integer where
m = error "urk"
newtype T a = T a
instance C a b c => C (T a) (T b) (T c) where
m = error "urk"
i :: T Integer
i = undefined
x = m (m i i) i -- This line blows up w/ unresolved top-level overloading
-- No -fglasgow-exts, so (v::a) means (v:: forall a.a)
module ShouldCompile where
data T a = T a
instance Eq (T a) where
(==) x y = let v :: a
v = undefined
in
v
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment