tc231.stderr 957 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2 3 4 5 6 7 8
TYPE SIGNATURES
  foo ::
    forall s b chain.
    Zork s (Z [Char]) b =>
    Q s (Z [Char]) chain -> ST s ()
  s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
TYPE CONSTRUCTORS
  Q :: * -> * -> * -> *
9
  data Q s a chain
10 11 12
    No C type associated
    Roles: [representational, representational, representational]
    RecFlag NonRecursive, Promotable
13
    = Node :: s -> a -> chain -> Q s a chain Stricts: _ _ _
14
    FamilyInstance: none
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
15
  Z :: * -> *
16
  data Z a
17 18 19
    No C type associated
    Roles: [representational]
    RecFlag NonRecursive, Promotable
20
    = Z :: a -> Z a Stricts: _
21
    FamilyInstance: none
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
22
  Zork :: * -> * -> * -> Constraint
23
  class Zork s a b | a -> b
24 25
    Roles: [nominal, nominal, nominal]
    RecFlag NonRecursive
26
    huh :: Q s a chain -> ST s ()
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
27 28 29 30 31
COERCION AXIOMS
  axiom ShouldCompile.NTCo:Zork ::
      Zork s a b = forall chain. Q s a chain -> ST s ()
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]