blob: b1569efd7b71cc4a35bf6233a78587fd94e4e42f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
-- This test checks that the magic treatment of RULES
-- for 'seq' works right.
--
-- See Note [RULES for seq] in MkId for more details
module Main where
{-# NOINLINE f #-}
f x = not x
{-# RULES
"f/seq" forall n e. seq (f n) e = True
#-}
main = print (seq (f True) False)
|