diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles1.stderr')
-rw-r--r-- | testsuite/tests/roles/should_compile/Roles1.stderr | 84 |
1 files changed, 21 insertions, 63 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr index 839d04d692..1759bab776 100644 --- a/testsuite/tests/roles/should_compile/Roles1.stderr +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -2,84 +2,42 @@ TYPE SIGNATURES TYPE CONSTRUCTORS type role T1 nominal data T1 a = K1 a - Promotable + Kind: * -> * data T2 a = K2 a - Promotable + Kind: * -> * type role T3 phantom data T3 (a :: k) = K3 + Kind: forall k1. k1 -> * type role T4 nominal nominal data T4 (a :: * -> *) b = K4 (a b) + Kind: (* -> *) -> * -> * data T5 a = K5 a - Promotable + Kind: * -> * type role T6 phantom data T6 (a :: k) = K6 + Kind: forall k1. k1 -> * type role T7 phantom representational data T7 (a :: k) b = K7 b + Kind: forall k1. k1 -> * -> * COERCION AXIOMS Dependent modules: [] Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, integer-gmp-1.0.0.0] ==================== Typechecker ==================== -Roles1.$tcT7 - = TyCon - 12795488517584970699## - 6852268802866176810## - Roles1.$trModule - (TrNameS "T7"#) -Roles1.$tcT6 - = TyCon - 1052116432298682626## - 4782516991847719023## - Roles1.$trModule - (TrNameS "T6"#) -Roles1.$tcT5 - = TyCon - 10855726709479635304## - 5574528370049939204## - Roles1.$trModule - (TrNameS "T5"#) -Roles1.$tc'K5 - = TyCon - 17986294396600628264## - 15784122741796850983## - Roles1.$trModule - (TrNameS "'K5"#) -Roles1.$tcT4 - = TyCon - 5809060867006837344## - 8795972313583150301## - Roles1.$trModule - (TrNameS "T4"#) -Roles1.$tcT3 - = TyCon - 17827258502042208248## - 10404219359416482652## - Roles1.$trModule - (TrNameS "T3"#) -Roles1.$tcT2 - = TyCon - 14324923875690440398## - 17626224477681351106## - Roles1.$trModule - (TrNameS "T2"#) -Roles1.$tc'K2 - = TyCon - 17795591238510508397## - 10155757471958311507## - Roles1.$trModule - (TrNameS "'K2"#) -Roles1.$tcT1 - = TyCon - 12633763300352597178## - 11103726621424210926## - Roles1.$trModule - (TrNameS "T1"#) -Roles1.$tc'K1 - = TyCon - 1949157551035372857## - 3576433963139282451## - Roles1.$trModule - (TrNameS "'K1"#) +Roles1.$tcT7 = TyCon 0## 0## Roles1.$trModule (TrNameS "T7"#) +Roles1.$tc'K7 = TyCon 0## 0## Roles1.$trModule (TrNameS "'K7"#) +Roles1.$tcT6 = TyCon 0## 0## Roles1.$trModule (TrNameS "T6"#) +Roles1.$tc'K6 = TyCon 0## 0## Roles1.$trModule (TrNameS "'K6"#) +Roles1.$tcT5 = TyCon 0## 0## Roles1.$trModule (TrNameS "T5"#) +Roles1.$tc'K5 = TyCon 0## 0## Roles1.$trModule (TrNameS "'K5"#) +Roles1.$tcT4 = TyCon 0## 0## Roles1.$trModule (TrNameS "T4"#) +Roles1.$tc'K4 = TyCon 0## 0## Roles1.$trModule (TrNameS "'K4"#) +Roles1.$tcT3 = TyCon 0## 0## Roles1.$trModule (TrNameS "T3"#) +Roles1.$tc'K3 = TyCon 0## 0## Roles1.$trModule (TrNameS "'K3"#) +Roles1.$tcT2 = TyCon 0## 0## Roles1.$trModule (TrNameS "T2"#) +Roles1.$tc'K2 = TyCon 0## 0## Roles1.$trModule (TrNameS "'K2"#) +Roles1.$tcT1 = TyCon 0## 0## Roles1.$trModule (TrNameS "T1"#) +Roles1.$tc'K1 = TyCon 0## 0## Roles1.$trModule (TrNameS "'K1"#) Roles1.$trModule = Module (TrNameS "main"#) (TrNameS "Roles1"#) |