diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-06-06 10:07:16 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-07-27 07:49:05 -0400 |
| commit | bb2a446ae488522489c4ce03081439659820174c (patch) | |
| tree | 4ada3416baa02e4e81bea9bdc8224ae2916fd98d /compiler/backpack | |
| parent | ef39af721a9002dda5c7ea5a781d7747792f1d5f (diff) | |
| download | haskell-bb2a446ae488522489c4ce03081439659820174c.tar.gz | |
Preserve CoVar uniques during pretty printing
Previously, we did this for Types, but not for Coercions.
Diffstat (limited to 'compiler/backpack')
| -rw-r--r-- | compiler/backpack/RnModIface.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/backpack/RnModIface.hs b/compiler/backpack/RnModIface.hs index 2e738c1ec6..e3da067ea4 100644 --- a/compiler/backpack/RnModIface.hs +++ b/compiler/backpack/RnModIface.hs @@ -646,6 +646,7 @@ rnIfaceCo (IfaceAppCo co1 co2) = IfaceAppCo <$> rnIfaceCo co1 <*> rnIfaceCo co2 rnIfaceCo (IfaceForAllCo bndr co1 co2) = IfaceForAllCo <$> rnIfaceTvBndr bndr <*> rnIfaceCo co1 <*> rnIfaceCo co2 +rnIfaceCo (IfaceFreeCoVar c) = pure (IfaceFreeCoVar c) rnIfaceCo (IfaceCoVarCo lcl) = IfaceCoVarCo <$> pure lcl rnIfaceCo (IfaceAxiomInstCo n i cs) = IfaceAxiomInstCo <$> rnIfaceGlobal n <*> pure i <*> mapM rnIfaceCo cs |