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

{-# LANGUAGE LinearTypes #-}
module Linear1Rule where

-- Test the 1 <= p rule
f :: a #-> b
f = f

g :: a # p -> b
g x = f x