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

{-# LANGUAGE LinearTypes #-}
module Linear1Rule where

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

-- f1 :: a %001 -> b
-- f1 = f1

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