testsuite/tests/simplCore/should_run/SeqRule.hs


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)