Test Trac #5038

testsuite/tests/ghc-regress/rebindable/T5038.hs

+{-# LANGUAGE RebindableSyntax #-}
+module Main (main) where
+
+import Prelude 
+
+ifThenElse True t f = f
+ifThenElse False t f = t
+
+main = print (if True then 1 else 2 :: Int)
+-- Should print 2!

testsuite/tests/ghc-regress/rebindable/T5038.stdout

+2

testsuite/tests/ghc-regress/rebindable/all.T

@@ -27,3 +27,4 @@ test('T303', normal, compile, [''])
 # Tests from Oleg
 test('DoRestrictedM', normal, compile, [''])
 test('DoParamM', reqlib('mtl'), compile_fail, [''])
+test('T5038', normal, compile_and_run, [''])