ehmry/dhall-haskell
ehmry/dhall-haskell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix a type in the nestedReduction test case (#1339)

Browse Source
This commit is contained in:
Simon Jakobi 2019-09-26 18:43:36 +02:00 committed by mergify[bot]
parent 72bf46b600
commit 87f352d66e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dhall/tests/Dhall/Test/Normalization.hs
View File

@ -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