Refactoring on IdInfo and system derived names
[ghc.git] / testsuite / tests / partial-sigs / should_compile / NamedWildcardInTypeFamilyInstanceLHS.stderr
index 84a7b4a..c39ff6f 100644 (file)
@@ -4,11 +4,11 @@ TYPE CONSTRUCTORS
     Kind: * -> *
     where
       [_t] F _t = Int
-      axiom NamedWildcardInTypeFamilyInstanceLHS.TFCo:R:F
+      axiom NamedWildcardInTypeFamilyInstanceLHS.D:R:F
 COERCION AXIOMS
-  axiom NamedWildcardInTypeFamilyInstanceLHS.TFCo:R:F ::
+  axiom NamedWildcardInTypeFamilyInstanceLHS.D:R:F ::
     F _t = Int
       -- Defined at NamedWildcardInTypeFamilyInstanceLHS.hs:5:3
 Dependent modules: []
 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
-                     integer-gmp-1.0.0.0]
+                     integer-gmp-1.0.0.1]