diff options
| author | Carter Tazio Schonwald <carter.schonwald@gmail.com> | 2019-12-31 19:38:01 -0500 |
|---|---|---|
| committer | Carter Tazio Schonwald <carter.schonwald@gmail.com> | 2019-12-31 19:38:01 -0500 |
| commit | 8cd0b9f145696b306686ec0d1f242d113bd7ae27 (patch) | |
| tree | 11a7cbc99fd503d79c8a323c15419a7c977b1d8c | |
| parent | 734b58be64de6597536f15f73d6012913a4481d7 (diff) | |
| download | haskell-8cd0b9f145696b306686ec0d1f242d113bd7ae27.tar.gz | |
i should have seen a coverage warning about this one, how'd i miss it? :)
| -rw-r--r-- | compiler/types/TyCoTidy.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/types/TyCoTidy.hs b/compiler/types/TyCoTidy.hs index 5c0825a6fa..4b6ab5934d 100644 --- a/compiler/types/TyCoTidy.hs +++ b/compiler/types/TyCoTidy.hs @@ -197,6 +197,7 @@ tidyCo env@(_, subst) co go_mco MRefl = MRefl go_mco (MCo co) = MCo (go co) + go (ErasedCoercion r lty rty ) = ErasedCoercion r (tidyType env lty) (tidyType env rty) go (Refl ty) = Refl (tidyType env ty) go (GRefl r ty mco) = GRefl r (tidyType env ty) $! go_mco mco go (TyConAppCo r tc cos) = let args = map go cos |