diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-29 09:28:53 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-29 09:28:53 +0000 |
| commit | 23efdd6f739eca3f910030a7a85948257747d9bc (patch) | |
| tree | c49a321e69cc45218e6f60dfb37e75e3b61c5e2c /compiler/typecheck/TcCanonical.lhs | |
| parent | 96416412cc8100bd1c1625e10c09df17c88a67b7 (diff) | |
| download | haskell-23efdd6f739eca3f910030a7a85948257747d9bc.tar.gz | |
Update Notes for Coercible
Diffstat (limited to 'compiler/typecheck/TcCanonical.lhs')
| -rw-r--r-- | compiler/typecheck/TcCanonical.lhs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/typecheck/TcCanonical.lhs b/compiler/typecheck/TcCanonical.lhs index 8f60bc5153..392f12d4dd 100644 --- a/compiler/typecheck/TcCanonical.lhs +++ b/compiler/typecheck/TcCanonical.lhs @@ -235,6 +235,7 @@ canClassNC ev cls tys -- This case implements Coercible (forall a. body) (forall b. body) canClass ev cls tys + -- See Note [Coercible instances] | cls == coercibleClass , [_k, ty1, ty2] <- tys , tcIsForAllTy ty1 |