Commit c9bb4fa4 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Wibble for changed pretty-printing of CoAxioms

parent a475fa40
...@@ -19,7 +19,7 @@ TYPE CONSTRUCTORS ...@@ -19,7 +19,7 @@ TYPE CONSTRUCTORS
RecFlag NonRecursive RecFlag NonRecursive
huh :: forall chain. Q s a chain -> ST s () huh :: forall chain. Q s a chain -> ST s ()
COERCION AXIOMS COERCION AXIOMS
axiom ShouldCompile.NTCo:Zork [s, a, b] axiom ShouldCompile.NTCo:Zork s a b
:: Zork s a b ~# (forall chain. Q s a chain -> ST s ()) :: Zork s a b ~# (forall chain. Q s a chain -> ST s ())
Dependent modules: [] Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp] Dependent packages: [base, ghc-prim, integer-gmp]
Markdown is supported
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