1{-# LANGUAGE LinearTypes #-}
2{-# LANGUAGE NoImplicitPrelude #-}
3{-# LANGUAGE UnicodeSyntax #-}
4{- This test makes sure that if two expressions with conflicting types are
5   CSEd then appropiate things happen. -}
6module CSETest where
7
8minimal :: a ⊸ a
9minimal x = x
10
11maximal :: a -> a
12maximal x = x
13
14