+tc_defaults decls
+ = failTc (dupDefaultDeclErr decls)
+
+
+dupDefaultDeclErr (DefaultDecl _ locn1 : dup_things) sty
+ = vcat (item1 : map dup_item dup_things)
+ where
+ item1
+ = addShortErrLocLine locn1 (\ sty ->
+ ptext SLIT("multiple default declarations")) sty
+
+ dup_item (DefaultDecl _ locn)
+ = addShortErrLocLine locn (\ sty ->
+ ptext SLIT("here was another default declaration")) sty
+