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