testsuite/tests/linear/should_run/LinearTypeable.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE LinearTypes, TypeOperators #-}
module Main (main) where

import Data.Typeable
import Data.Maybe

x :: Maybe ((Int -> Int) :~: (Int %1 -> Int))
x = eqT

main = print (isJust x)