diff options
Diffstat (limited to 'compiler/GHC/Tc/Gen/App.hs')
| -rw-r--r-- | compiler/GHC/Tc/Gen/App.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Gen/App.hs b/compiler/GHC/Tc/Gen/App.hs index 5f17621b62..83f8cc567d 100644 --- a/compiler/GHC/Tc/Gen/App.hs +++ b/compiler/GHC/Tc/Gen/App.hs @@ -955,7 +955,7 @@ That is the entire point of qlUnify! Wrinkles: * We must not make an occurs-check; we use occCheckExpand for that. -* metaTyVarUpdateOK also checks for various other things, including +* checkTypeEq also checks for various other things, including - foralls, and predicate types (which we want to allow here) - type families (relates to a very specific and exotic performance question, that is unlikely to bite here) |