Commit f038d224 authored by simonpj's avatar simonpj
Browse files

Follow minor spacing change in typechecker output

parent 8aee8b48
TYPE SIGNATURES
foo :: forall b s t1. (Zork s (Z [Char]) b) => Q s (Z [Char]) t1 -> ST s ()
foo :: forall b s 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
data Q s a chain
RecFlag NonRecursive
Generics: no
= Node :: forall s a chain. s -> a -> chain -> Q s a chain Stricts: _ _ _
FamilyInstance: none
RecFlag NonRecursive
Generics: no
= Node :: forall s a chain. s -> a -> chain -> Q s a chain Stricts: _ _ _
FamilyInstance: none
data Z a
RecFlag NonRecursive
Generics: no
= Z :: forall a. a -> Z a Stricts: _
FamilyInstance: none
RecFlag NonRecursive
Generics: no
= Z :: forall a. a -> Z a Stricts: _
FamilyInstance: none
Tycons with generics:
Dependent modules: []
Dependent packages: [base, ghc-prim, integer]
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment