Commit 68c082b1 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Follow changes in pretty printing

parent eb32f344
......@@ -14,7 +14,7 @@ TYPE CONSTRUCTORS
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
COERCION AXIOMS
axiom Foo.TFCo:R:ElemListColl [a] :: Elem (ListColl a) ~# a
axiom Foo.TFCo:R:ElemListColl a :: Elem (ListColl a) ~# a
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11
FAMILY INSTANCES
......
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