testsuite/tests/rebindable/T20126.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE RebindableSyntax #-}

module Foo where

import Prelude( Bool(..) )

class Wombat a

ifThenElse :: Wombat a => Bool -> a -> a -> a
ifThenElse _ ok _ = ok

foo :: ()
foo = if True then () else ()