[Git][ghc/ghc][wip/T20666] Wibbles

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T20666 at Glasgow Haskell Compiler / GHC


Commits:
a341d0e1 by Simon Peyton Jones at 2022-12-23T17:49:17+00:00
Wibbles

- - - - -


6 changed files:

- testsuite/tests/deriving/should_fail/T8165_fail2.stderr
- testsuite/tests/indexed-types/should_fail/T10817.stderr
- testsuite/tests/indexed-types/should_fail/T13271.stderr
- testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr
- testsuite/tests/typecheck/should_fail/T15552a.stderr
- testsuite/tests/typecheck/should_fail/fd-loop.stderr


Changes:

=====================================
testsuite/tests/deriving/should_fail/T8165_fail2.stderr
=====================================
@@ -1,6 +1,6 @@
 
 T8165_fail2.hs:9:12: error:
-    • The type family application ‘T Loop’
-        is no smaller than the instance head ‘T Loop’
+    • The type-family application ‘T Loop’
+        is no smaller than the LHS of the family instance ‘T Loop’
       (Use UndecidableInstances to permit this)
     • In the instance declaration for ‘C Loop’


=====================================
testsuite/tests/indexed-types/should_fail/T10817.stderr
=====================================
@@ -1,7 +1,7 @@
 
 T10817.hs:9:3: error:
-    • The type family application ‘F a’
-        is no smaller than the instance head ‘F a’
+    • The type-family application ‘F a’
+        is no smaller than the LHS of the family instance ‘F a’
       (Use UndecidableInstances to permit this)
     • In the default type instance declaration for ‘F’
       In the class declaration for ‘C’


=====================================
testsuite/tests/indexed-types/should_fail/T13271.stderr
=====================================
@@ -15,8 +15,8 @@ T13271.hs:13:3: error: [GHC-05175]
       In the type family declaration for ‘X’
 
 T13271.hs:13:3: error:
-    • The type family application ‘(TypeError ...)’
-        is no smaller than the instance head ‘X 2’
+    • The type-family application ‘(TypeError ...)’
+        is no smaller than the LHS of the family instance ‘X 2’
       (Use UndecidableInstances to permit this)
     • In the equations for closed type family ‘X’
       In the type family declaration for ‘X’


=====================================
testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr
=====================================
@@ -1,6 +1,6 @@
 
 TyFamUndec.hs:8:15: error:
-    • Illegal nested type family ‘T’
-        in the arguments of type family application ‘T (a, T b)’
+    • Illegal nested use of type family ‘T’
+        in the arguments of the type-family application ‘T (a, T b)’
       (Use UndecidableInstances to permit this)
     • In the type instance declaration for ‘T’


=====================================
testsuite/tests/typecheck/should_fail/T15552a.stderr
=====================================
@@ -1,21 +1,24 @@
 
 T15552a.hs:26:9: error:
-    • Illegal use of type family ‘FirstEntryOfVal’
-        in the the arguments of  ‘GetEntryOfVal (FirstEntryOfVal v kvs)’
+    • Illegal nested use of type family ‘FirstEntryOfVal’
+        in the arguments of the type-family application ‘GetEntryOfVal
+                                                           (FirstEntryOfVal v kvs)’
       (Use UndecidableInstances to permit this)
     • In the equations for closed type family ‘FirstEntryOfVal’
       In the type family declaration for ‘FirstEntryOfVal’
 
 T15552a.hs:26:9: error:
-    • Illegal use of type family ‘FirstEntryOfVal’
-        in the the arguments of  ‘EntryOfValKey (FirstEntryOfVal v kvs)’
+    • Illegal nested use of type family ‘FirstEntryOfVal’
+        in the arguments of the type-family application ‘EntryOfValKey
+                                                           (FirstEntryOfVal v kvs)’
       (Use UndecidableInstances to permit this)
     • In the equations for closed type family ‘FirstEntryOfVal’
       In the type family declaration for ‘FirstEntryOfVal’
 
 T15552a.hs:26:9: error:
-    • Illegal use of type family ‘FirstEntryOfVal’
-        in the the arguments of  ‘EntryOfValKey (FirstEntryOfVal v kvs)’
+    • Illegal nested use of type family ‘FirstEntryOfVal’
+        in the arguments of the type-family application ‘EntryOfValKey
+                                                           (FirstEntryOfVal v kvs)’
       (Use UndecidableInstances to permit this)
     • In the equations for closed type family ‘FirstEntryOfVal’
       In the type family declaration for ‘FirstEntryOfVal’


=====================================
testsuite/tests/typecheck/should_fail/fd-loop.stderr
=====================================
@@ -1,6 +1,6 @@
 
 fd-loop.hs:12:10: error:
-    • Variable ‘b’ occurs more often
-        in the constraint ‘C a b’ than in the instance head ‘Eq (T a)’
+    • The constraint ‘C a b’
+        is no smaller than the instance head ‘Eq (T a)’
       (Use UndecidableInstances to permit this)
     • In the instance declaration for ‘Eq (T a)’



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a341d0e15a83dcd45d92398df48dd0051cb6b0a1

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a341d0e15a83dcd45d92398df48dd0051cb6b0a1
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20221223/336f9653/attachment-0001.html>