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

{-# LANGUAGE LinearTypes #-}
module LinearGuards where

f :: Bool -> a %1 -> a
f b a | b = a
      | True = a