@@ -239,7 +239,6 @@ elabData info syn doc argDocs fc opts (PDatadecl n t_in dcons)
239 logLvl 2 $ "---> " ++ show cty
239 logLvl 2 $ "---> " ++ show cty
240 -- temporary, to check cons
240 -- temporary, to check cons
241 when undef $ updateContext (addTyDecl n (TCon 0 0) cty)
241 when undef $ updateContext (addTyDecl n (TCon 0 0) cty)
242− --TODO WIP modify info for constructor names
243 let cnameinfo = cinfo info (map cname dcons)
242 let cnameinfo = cinfo info (map cname dcons)
244 cons <- mapM (elabCon cnameinfo syn n codata) dcons
243 cons <- mapM (elabCon cnameinfo syn n codata) dcons
245 ttag <- getName
244 ttag <- getName