File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -2016,7 +2016,7 @@ addFunctionConstraintTests = let
20162016 (missingConstraintSourceCode " " )
20172017 (missingConstraintSourceCode " Eq a => " )
20182018 , 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) "
20202020 (missingConstraintWithForAllSourceCode " " )
20212021 (missingConstraintWithForAllSourceCode " Eq a => " )
20222022 , check
@@ -2028,7 +2028,7 @@ addFunctionConstraintTests = let
20282028 (incompleteConstraintSourceCode2 " (Eq a, Eq b)" )
20292029 (incompleteConstraintSourceCode2 " (Eq a, Eq b, Eq c)" )
20302030 , 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) "
20322032 (incompleteConstraintWithForAllSourceCode " Eq a" )
20332033 (incompleteConstraintWithForAllSourceCode " (Eq a, Eq b)" )
20342034 , check
You can’t perform that action at this time.
0 commit comments