Commit 27ec50d5 authored by simonpj's avatar simonpj
Browse files

Test Trac #4398

parent 01d525a8
{-# LANGUAGE FlexibleContexts #-}
module T4398 where
{-# RULES "suspicious" forall (x :: a) y. f (x :: Ord a => a) y = g x y #-}
{-# NOINLINE f #-}
f :: a -> a -> Bool
f x y = True
g :: Ord a => a -> a -> Bool
g = (<)
T4398.hs:5:11:
Warning: Forall'd constraint Ord a is not bound in RULE lhs
f @ a x y
......@@ -85,3 +85,4 @@ test('T3772',
test('T3831', normal, compile, [''])
test('T4345', normal, compile, [''])
test('T4398', normal, compile, [''])
Supports Markdown
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