diff options
Diffstat (limited to 'compiler/GHC/Core/Unify.hs')
| -rw-r--r-- | compiler/GHC/Core/Unify.hs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/GHC/Core/Unify.hs b/compiler/GHC/Core/Unify.hs index a8f75535ab..709ccf10b4 100644 --- a/compiler/GHC/Core/Unify.hs +++ b/compiler/GHC/Core/Unify.hs @@ -692,10 +692,7 @@ unifier It does /not/ work up to ~. The algorithm implemented here is rather delicate, and we depend on it to uphold certain properties. This is a summary of these required -properties. Any reference to "flattening" refers to the flattening -algorithm in GHC.Core.Unify (See -Note [Flattening type-family applications when matching instances] in GHC.Core.Unify), -not the flattening algorithm in the solver. +properties. Notation: θ,φ substitutions |