testsuite/tests/linear/should_compile/Linear10.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE GADTs #-}
module Linear10 where

data Unrestricted a where Unrestricted :: a -> Unrestricted a

unrestrictedDup :: Unrestricted a ⊸ (a, a)
unrestrictedDup (Unrestricted a) = (a,a)