Skip to content

Commit 8e2251c

Browse files
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.
1 parent f48fda9 commit 8e2251c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

dhall/src/Dhall/Marshal/Decode.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -507,7 +507,7 @@ instance (Functor f, FromDhall (f (Result f))) => FromDhall (Fix f) where
507507
| a /= b = Core.subst (V a 0) (Var (V b 0)) (Core.shift 1 (V b 0) expr)
508508
| otherwise = expr
509509

510-
expected = (\x -> Pi mempty "result" (Const Core.Type) (Pi mempty "Make" (Pi mempty "_" x "result") "result"))
510+
expected = (\x -> Pi mempty "result" (Const Core.Type) (Pi mempty "_" (Pi mempty "_" x "result") "result"))
511511
<$> Dhall.Marshal.Decode.expected (autoWith inputNormalizer :: Decoder (f (Result f)))
512512

513513
resultToFix :: Functor f => Result f -> Fix f

0 commit comments

Comments
 (0)