@@ -70,7 +70,7 @@ elabInstance info syn doc what fc cs n ps t expn ds = do
7070 let iname = mkiname n (namespace info) ps expn
7171 let emptyclass = null (class_methods ci)
7272 when (what /= EDefns || (null ds && not emptyclass)) $ do
73− nty <- elabType' True info syn emptyDocstring [] fc [] iname t
73+ nty <- elabType' True info syn doc [] fc [] iname t
7474 -- if the instance type matches any of the instances we have already,
7575 -- and it's not a named instance, then it's overlapping, so report an error
7676 case expn of