371-non-magical-eq: more graceful migration

ghc-proposals · Nov 19, 2021 · f39bf91 · f39bf91
1 parent 2b37da3
commit f39bf91
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/proposals/0371-non-magical-eq.md b/proposals/0371-non-magical-eq.md
@@ -35,11 +35,14 @@ Let `n` be the GHC version that implements this proposal.
 
 Starting with GHC `n`, include a compatibility fallback:
 
-* When the lookup for `~` fails because it is not in scope,
-  assume it refers to `Data.Type.Equality.~`.
-  When this happens and `-Wcompat` is in effect, emit a warning.
+1. When the lookup for `~` fails because it is not in scope,
+   assume it refers to `Data.Type.Equality.~`.
+   When this happens and `-Wcompat` is in effect, emit a warning.
 
-Starting with GHC `n+2`, enable the warning by default.
+2. When the use of `~` would have been rejected because `TypeOperators`
+   are not enabled, emit a warning (enabled by default) instead of an error.
+
+Starting with GHC `n+2`, enable both warnings by default.
 Either starting with GHC `n+8` or with the next major compiler version bump (GHC
 10), whichever comes first, remove the compatibility fallback.