From 8e2251cbe4393308efab8f476858c5ef4e8903e1 Mon Sep 17 00:00:00 2001 From: Felix Springer Date: Mon, 10 Feb 2025 17:38:34 +0100 Subject: [PATCH] Use unnamed Pi type argument. Now the `FromDhall` and `ToDhall` instances both use unnamed arguments in their type signature. The value of this type is not used on type level so it is not necessary to bring it into scope here. On the value level this obviously is still necessary but that part is untouched regarding this commit. --- dhall/src/Dhall/Marshal/Decode.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dhall/src/Dhall/Marshal/Decode.hs b/dhall/src/Dhall/Marshal/Decode.hs index 0828ecf59..845e4565e 100644 --- a/dhall/src/Dhall/Marshal/Decode.hs +++ b/dhall/src/Dhall/Marshal/Decode.hs @@ -507,7 +507,7 @@ instance (Functor f, FromDhall (f (Result f))) => FromDhall (Fix f) where | a /= b = Core.subst (V a 0) (Var (V b 0)) (Core.shift 1 (V b 0) expr) | otherwise = expr - expected = (\x -> Pi mempty "result" (Const Core.Type) (Pi mempty "Make" (Pi mempty "_" x "result") "result")) + expected = (\x -> Pi mempty "result" (Const Core.Type) (Pi mempty "_" (Pi mempty "_" x "result") "result")) <$> Dhall.Marshal.Decode.expected (autoWith inputNormalizer :: Decoder (f (Result f))) resultToFix :: Functor f => Result f -> Fix f