diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-03-11 09:45:31 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-03-31 23:17:01 -0400 |
| commit | 3eaa55dcbcd860a035dfe2cae96866e96b008f67 (patch) | |
| tree | 644bb5499e0415a407185a712712a6bb3e7fb5b4 /compiler/types | |
| parent | ef443820b71f5c9c2dca362217f1a9fbab6dd736 (diff) | |
| download | haskell-3eaa55dcbcd860a035dfe2cae96866e96b008f67.tar.gz | |
Apply Note [EtaAppCo] in OptCoercion to another case
Diffstat (limited to 'compiler/types')
| -rw-r--r-- | compiler/types/OptCoercion.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/types/OptCoercion.hs b/compiler/types/OptCoercion.hs index 11aeb932cc..3de51c36c0 100644 --- a/compiler/types/OptCoercion.hs +++ b/compiler/types/OptCoercion.hs @@ -577,9 +577,8 @@ opt_trans_rule is in_co1@(FunCo r1 co1a co1b) in_co2@(FunCo r2 co2a co2b) mkFunCo r1 (opt_trans is co1a co2a) (opt_trans is co1b co2b) opt_trans_rule is in_co1@(AppCo co1a co1b) in_co2@(AppCo co2a co2b) - = fireTransRule "TrPushApp" in_co1 in_co2 $ - mkAppCo (opt_trans is co1a co2a) - (opt_trans is co1b co2b) + -- Must call opt_trans_rule_app; see Note [EtaAppCo] + = opt_trans_rule_app is in_co1 in_co2 co1a [co1b] co2a [co2b] -- Eta rules opt_trans_rule is co1@(TyConAppCo r tc cos1) co2 |