diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-04-26 12:34:15 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-04-26 12:34:15 +0100 |
| commit | 68c082b1bfe598bfd400113480f09c0296e96fec (patch) | |
| tree | 280c12889c1b6e9f9320afc6e34b3e937a585f03 /testsuite/tests/indexed-types/should_compile | |
| parent | eb32f344e3c0259cbd98c6384850d1f085d91219 (diff) | |
| download | haskell-68c082b1bfe598bfd400113480f09c0296e96fec.tar.gz | |
Follow changes in pretty printing
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3017.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T3017.stderr b/testsuite/tests/indexed-types/should_compile/T3017.stderr index 5df49d598b..f1322d6b88 100644 --- a/testsuite/tests/indexed-types/should_compile/T3017.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3017.stderr @@ -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 |