diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-28 18:13:11 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-28 18:13:11 +0000 |
| commit | c70d6adaf3cbfec7a984ad1b24379d64b52e5899 (patch) | |
| tree | 22487c930b26aafd24ae15fb373b4874291c3347 /testsuite/tests/indexed-types/should_compile/T3017.stderr | |
| parent | 254c887850623c20ee01f58eabe06488976a3f33 (diff) | |
| download | haskell-c70d6adaf3cbfec7a984ad1b24379d64b52e5899.tar.gz | |
Debug output wibbles
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T3017.stderr')
| -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 28ddc14524..a6b44e3ad5 100644 --- a/testsuite/tests/indexed-types/should_compile/T3017.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3017.stderr @@ -15,7 +15,7 @@ TYPE CONSTRUCTORS = L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
COERCION AXIOMS
- axiom Foo.TFCo:R:ElemListColl :: forall a. Elem (ListColl a) ~# a
+ axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11
FAMILY INSTANCES
|