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

{-# LANGUAGE LinearTypes #-}
module LinearGuards where

f :: Bool -> a #-> a
f b a | b = a
      | True = a