Change "cobox" to "co" in debug output
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 6 Oct 2017 12:39:54 +0000 (13:39 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 Oct 2017 10:05:56 +0000 (11:05 +0100)
These coercions are /not/ boxed, so "cobox" is positively misleading.
And it's longer than necessary.

compiler/typecheck/TcMType.hs

index eabb44d..e89abe1 100644 (file)
@@ -242,7 +242,7 @@ newDict cls tys
 predTypeOccName :: PredType -> OccName
 predTypeOccName ty = case classifyPredType ty of
     ClassPred cls _ -> mkDictOcc (getOccName cls)
-    EqPred _ _ _    -> mkVarOccFS (fsLit "cobox")
+    EqPred _ _ _    -> mkVarOccFS (fsLit "co")
     IrredPred _     -> mkVarOccFS (fsLit "irred")
 
 {-