Ticket #5889: Foo.hs

module Foo(unknown, makePair) where

unknown :: b -> IO a
unknown _ = return undefined
{-# NOINLINE unknown #-}

makePair :: Int -> Int -> (b, a)
makePair a b = (if total > 0 then undefined else undefined, undefined)
    where total = a + b
{-# INLINE makePair #-}