@@ -1258,9 +1258,6 @@ elabClass info syn doc fc constraints tn ps ds
12581258 -- build instance constructor type
12591259 -- decorate names of functions to ensure they can't be referred
12601260 -- to elsewhere in the class declaration
1261− -- TODO: Remove mdec to make it a dependent record, which would
1262− -- allow dependent type classes, but building instances will
1263− -- then need some attention.
12641261 let cty = impbind ps $ conbind constraints
12651262 $ pibind (map (\ (n, ty) -> (nsroot n, ty)) methods)
12661263 constraint