ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/Linear6.hs

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

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