From 87f352d66e290133ba407d24800dfbc7704de3c7 Mon Sep 17 00:00:00 2001 From: Simon Jakobi Date: Thu, 26 Sep 2019 18:43:36 +0200 Subject: [PATCH] Fix a type in the nestedReduction test case (#1339) --- dhall/tests/Dhall/Test/Normalization.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dhall/tests/Dhall/Test/Normalization.hs b/dhall/tests/Dhall/Test/Normalization.hs index fa5f2c7..e88a889 100644 --- a/dhall/tests/Dhall/Test/Normalization.hs +++ b/dhall/tests/Dhall/Test/Normalization.hs @@ -86,7 +86,7 @@ nestedReduction :: TestTree nestedReduction = Tasty.HUnit.testCase "doubleReduction" $ do minType <- Context.insert "min" <$> Test.Util.code "Natural → Natural → Natural" fiveorlessType <- Context.insert "fiveorless" <$> Test.Util.code "Natural → Natural" - wurbleType <- Context.insert "wurble" <$> Test.Util.code "Natural → Integer" + wurbleType <- Context.insert "wurble" <$> Test.Util.code "Natural → Natural" let tyCtx = minType . fiveorlessType . wurbleType $ Context.empty