diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/TcTypeNatSimpleRun.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_run/TcTypeNatSimpleRun.hs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_run/TcTypeNatSimpleRun.hs b/testsuite/tests/typecheck/should_run/TcTypeNatSimpleRun.hs index c12d53cde6..7365569036 100644 --- a/testsuite/tests/typecheck/should_run/TcTypeNatSimpleRun.hs +++ b/testsuite/tests/typecheck/should_run/TcTypeNatSimpleRun.hs @@ -24,9 +24,6 @@ troot _ _ = Proxy tlog :: Proxy (x ^ y) -> Proxy x -> Proxy y tlog _ _ = Proxy -tleq :: ((x <=? y) ~ True) => Proxy y -> Proxy x -tleq _ = Proxy - main :: IO () main = print [ sh (tsub (Proxy :: Proxy 5) (Proxy :: Proxy 3)) == "2" , let (p, q) = tsub2 (Proxy :: Proxy 0) @@ -36,7 +33,6 @@ main = print [ sh (tsub (Proxy :: Proxy 5) (Proxy :: Proxy 3)) == "2" in (sh p, sh q) == ("1", "1") , sh (troot (Proxy :: Proxy 9) (Proxy :: Proxy 2)) == "3" , sh (tlog (Proxy :: Proxy 8) (Proxy :: Proxy 2)) == "3" - , sh (tleq (Proxy :: Proxy 0)) == "0" ] where sh x = show (natVal x) |