@@ -1258,9 +1258,6 @@ elabClass info syn doc fc constraints tn ps ds
1258 -- build instance constructor type
1258 -- build instance constructor type
1259 -- decorate names of functions to ensure they can't be referred
1259 -- decorate names of functions to ensure they can't be referred
1260 -- to elsewhere in the class declaration
1260 -- 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.
1264 let cty = impbind ps $ conbind constraints
1261 let cty = impbind ps $ conbind constraints
1265 $ pibind (map (\ (n, ty) -> (nsroot n, ty)) methods)
1262 $ pibind (map (\ (n, ty) -> (nsroot n, ty)) methods)
1266 constraint
1263 constraint