Commit a55bfabb authored by Joachim Breitner's avatar Joachim Breitner

Rename new T9858d to T9858e to avoid test name clash

(Next time, when fixing someone else’s mistake, I really shouldn’t do
the precise same thing.)
parent 43d71373
{-# LANGUAGE ImpredicativeTypes, FlexibleContexts #-}
module T9858d where
module T9858e where
import Data.Typeable
i :: (Typeable a, Typeable b) => Proxy (a b) -> TypeRep
T9858d.hs:9:8: error:
T9858e.hs:9:8: error:
Couldn't match type ‘Eq Int => Int’ with ‘a0 b0’
Expected type: Proxy (a0 b0)
Actual type: Proxy (Eq Int => Int)
......@@ -358,4 +358,4 @@ test('T10194', normal, compile_fail, [''])
test('T8030', normal, compile_fail, [''])
test('T9858a', normal, compile_fail, [''])
test('T9858b', normal, compile_fail, [''])
test('T9858d', normal, compile_fail, [''])
test('T9858e', normal, compile_fail, [''])
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