ghc-exactprint-0.6.4: tests/examples/ghc90/Pr110.hs
{-# LANGUAGE LinearTypes #-}
module Pr110 where
data Bloop = Bloop Bool
g :: Bloop %1 -> Bool
g (Bloop x) = x
h :: Bool %1 -> Bloop
h x = Bloop x
{-# LANGUAGE LinearTypes #-}
module Pr110 where
data Bloop = Bloop Bool
g :: Bloop %1 -> Bool
g (Bloop x) = x
h :: Bool %1 -> Bloop
h x = Bloop x