path: root/testsuite/tests/linear/should_compile/Linear6.hs

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

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