blob: 8da285a4c627d417d45cee550b0fb635f019870f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# OPTIONS_GHC -Wno-inline-rule-shadowing #-}
-- Otherwise we get stuff about (+) may inline, which is
-- true enough, but not the point of this test
module T22471 where
foo :: (forall a. [a] -> Int) -> Int
foo len = len [1,2,3] + len "abc"
{-# RULES "foo" forall (f :: forall a. [a] -> Int).
foo (\xs -> 1 + f xs) = 2 + foo f #-}
|
