blob: 3321dbd43d6fa02cc97d76844d0569097aba7efd (
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 appropiate things happen. -}
module CSETest where
minimal :: a ⊸ a
minimal x = x
maximal :: a -> a
maximal x = x
|