File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -2016,7 +2016,7 @@ addFunctionConstraintTests = let
2016
2016
(missingConstraintSourceCode " " )
2017
2017
(missingConstraintSourceCode " Eq a => " )
2018
2018
, check
2019
- " Add `Eq a` to the context of the type signature for `eq`"
2019
+ " Add `Eq a` to the context of the type signature for `eq` (forall) "
2020
2020
(missingConstraintWithForAllSourceCode " " )
2021
2021
(missingConstraintWithForAllSourceCode " Eq a => " )
2022
2022
, check
@@ -2028,7 +2028,7 @@ addFunctionConstraintTests = let
2028
2028
(incompleteConstraintSourceCode2 " (Eq a, Eq b)" )
2029
2029
(incompleteConstraintSourceCode2 " (Eq a, Eq b, Eq c)" )
2030
2030
, check
2031
- " Add `Eq b` to the context of the type signature for `eq`"
2031
+ " Add `Eq b` to the context of the type signature for `eq` (forall) "
2032
2032
(incompleteConstraintWithForAllSourceCode " Eq a" )
2033
2033
(incompleteConstraintWithForAllSourceCode " (Eq a, Eq b)" )
2034
2034
, check
You can’t perform that action at this time.
0 commit comments