ghc-exactprint-0.6.4: tests/examples/ghc90/Linear6.hs

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
module Linear6 where

correctEqn :: Bool ⊸ Int ⊸ Int
correctEqn True  n = n
correctEqn False n = n