diff options
Diffstat (limited to 'compiler/typecheck/TcHsSyn.hs')
-rw-r--r-- | compiler/typecheck/TcHsSyn.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/typecheck/TcHsSyn.hs b/compiler/typecheck/TcHsSyn.hs index c461d513e2..b7e1fae395 100644 --- a/compiler/typecheck/TcHsSyn.hs +++ b/compiler/typecheck/TcHsSyn.hs @@ -651,6 +651,10 @@ zonkExpr env (SectionR op expr) new_expr <- zonkLExpr env expr return (SectionR new_op new_expr) +-- FIXME: is this really right? +zonkExpr env (tysig@TySigSectionOut {}) = pure tysig +zonkExpr env (tysig@TySigSection {}) = panic "zonkExpr TySigSection" + zonkExpr env (ExplicitTuple tup_args boxed) = do { new_tup_args <- mapM zonk_tup_arg tup_args ; return (ExplicitTuple new_tup_args boxed) } |