Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / roles / should_compile / Roles14.stderr
1 TYPE SIGNATURES
2 TYPE CONSTRUCTORS
3   type role C2 representational
4   class C2 a where
5     meth2 :: a -> a
6     {-# MINIMAL meth2 #-}
7 COERCION AXIOMS
8   axiom Roles12.NTCo:C2 :: C2 a = a -> a
9 Dependent modules: []
10 Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
11                      integer-gmp-1.0.0.0]
12
13 ==================== Typechecker ====================
14 Roles12.$tcC2
15   = TyCon
16       4006088231579841122##
17       4783761708993822739##
18       Roles12.$trModule
19       (TrNameS "C2"#)
20 Roles12.$trModule = Module (TrNameS "main"#) (TrNameS "Roles12"#)
21