summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcHsSyn.lhs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/typecheck/TcHsSyn.lhs')
-rw-r--r--compiler/typecheck/TcHsSyn.lhs1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs
index d56f7af1ac..ef53f4e24d 100644
--- a/compiler/typecheck/TcHsSyn.lhs
+++ b/compiler/typecheck/TcHsSyn.lhs
@@ -1357,6 +1357,7 @@ zonkTcLCoToLCo env co
; return (TcCastCo co1' co2') }
go (TcSymCo co) = do { co' <- go co; return (mkTcSymCo co') }
go (TcNthCo n co) = do { co' <- go co; return (mkTcNthCo n co') }
+ go (TcLRCo lr co) = do { co' <- go co; return (mkTcLRCo lr co') }
go (TcTransCo co1 co2) = do { co1' <- go co1; co2' <- go co2
; return (mkTcTransCo co1' co2') }
go (TcForAllCo tv co) = ASSERT( isImmutableTyVar tv )