diff options
Diffstat (limited to 'testsuite/tests/rebindable/rebindable11.hs')
-rw-r--r-- | testsuite/tests/rebindable/rebindable11.hs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/rebindable/rebindable11.hs b/testsuite/tests/rebindable/rebindable11.hs new file mode 100644 index 0000000000..747fb232d3 --- /dev/null +++ b/testsuite/tests/rebindable/rebindable11.hs @@ -0,0 +1,19 @@ +{-# LANGUAGE RebindableSyntax #-} +{-# LANGUAGE StaticPointers #-} +module Rebindable11 where + +import Prelude + +ifThenElse :: Bool -> () -> () -> Int +ifThenElse cond b1 b2 = 0 + +a1 = let foo = if 'a' then () else () in foo*foo +a2 = (if 'a' then () else ())*2 + 1 +a3 = if 'a' then () else () +a4 = if (if 'a' then () else ()) == 10 then () else () +a5 = static (if 'a' then () else ()) +a6 = (if 'a' then () else ()) :: Int + +data A = A { field :: Int } +a7 = A { field = if 'a' then () else () } +a8 = let someA = A 10 in someA { field = if True == 'a' then () else () } |