@@ -229,6 +229,8 @@ identifierFromDeclarationRef (P.TypeRef name _) = P.runProperName name
229identifierFromDeclarationRef (P.ValueRef ident) = P.runIdent ident
229identifierFromDeclarationRef (P.ValueRef ident) = P.runIdent ident
230identifierFromDeclarationRef (P.TypeClassRef name) = P.runProperName name
230identifierFromDeclarationRef (P.TypeClassRef name) = P.runProperName name
231identifierFromDeclarationRef (P.KindRef name) = P.runProperName name
231identifierFromDeclarationRef (P.KindRef name) = P.runProperName name
232+identifierFromDeclarationRef (P.ValueOpRef op) = P.showOp op
233+identifierFromDeclarationRef (P.TypeOpRef op) = P.showOp op
232identifierFromDeclarationRef _ = ""
234identifierFromDeclarationRef _ = ""
234data Success =
236data Success =