@@ -70,7 +70,7 @@ elabInstance info syn doc what fc cs n ps t expn ds = do
70 let iname = mkiname n (namespace info) ps expn
70 let iname = mkiname n (namespace info) ps expn
71 let emptyclass = null (class_methods ci)
71 let emptyclass = null (class_methods ci)
72 when (what /= EDefns || (null ds && not emptyclass)) $ do
72 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
74 -- if the instance type matches any of the instances we have already,
74 -- if the instance type matches any of the instances we have already,
75 -- and it's not a named instance, then it's overlapping, so report an error
75 -- and it's not a named instance, then it's overlapping, so report an error
76 case expn of
76 case expn of