@@ -212,6 +212,7 @@ elabData info syn doc argDocs fc opts (PLaterdecl n t_in)
212 def' <- checkDef fc defer
212 def' <- checkDef fc defer
213 let def'' = map (\(n, (i, top, t)) -> (n, (i, top, t, True))) def'
213 let def'' = map (\(n, (i, top, t)) -> (n, (i, top, t, True))) def'
214 addDeferredTyCon def''
214 addDeferredTyCon def''
215 mapM_ (elabCaseBlock info []) is
216 mapM_ (elabCaseBlock info []) is
216 (cty, _) <- recheckC fc [] t'
217 (cty, _) <- recheckC fc [] t'
217 logLvl 2 $ "---> " ++ show cty
218 logLvl 2 $ "---> " ++ show cty