ghc-exactprint-0.6.4: tests/examples/ghc90/LinearTypeable.hs
{-# LANGUAGE LinearTypes, TypeOperators #-}
module Main (main) where
import Data.Typeable
import Data.Maybe
x :: Maybe ((Int -> Int) :~: (Int #-> Int))
x = eqT
main = print (isJust x)
{-# LANGUAGE LinearTypes, TypeOperators #-}
module Main (main) where
import Data.Typeable
import Data.Maybe
x :: Maybe ((Int -> Int) :~: (Int #-> Int))
x = eqT
main = print (isJust x)