Removed obsolete leftover comment.
commitd5162a0fee5c925660b60a8644566f017dae831c
authorTimo Petteri Sinnemäki <timo.sinnemaki@helsinki.fi>
dateMon 7 Apr 2014, 07:09 (13 years ago)
parente672357
src/Idris/ElabDecls.hs−1
@@ -239,7 +239,6 @@ elabData info syn doc argDocs fc opts (PDatadecl n t_in dcons)
239239 logLvl 2 $ "---> " ++ show cty
240240 -- temporary, to check cons
241241 when undef $ updateContext (addTyDecl n (TCon 0 0) cty)
242− --TODO WIP modify info for constructor names
243242 let cnameinfo = cinfo info (map cname dcons)
244243 cons <- mapM (elabCon cnameinfo syn n codata) dcons
245244 ttag <- getName