blob: cdb7eed93925b2e149fdca5ea5467dc6a047c1e2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE LambdaCase, GADTs #-}
{-# LANGUAGE RebindableSyntax #-}
module Linear1 where
-- Must fail:
incorrectDup :: a ⊸ (a,a)
incorrectDup x = (x,x)
-- Must fail:
incorrectDrop :: a ⊸ ()
incorrectDrop x = ()
|
