diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-15 14:42:49 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-15 14:42:49 +0000 |
| commit | bb79e71819dd7aca446d52bfb0075343fd270e51 (patch) | |
| tree | f7cd48fc71172230f3776049b21e118a68296053 /testsuite/tests/polykinds/T6068.stdout | |
| parent | 292f99c80cefaa9e68bb2b7a1d2157dd9158ca40 (diff) | |
| download | haskell-bb79e71819dd7aca446d52bfb0075343fd270e51.tar.gz | |
Fix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) instance legal
Diffstat (limited to 'testsuite/tests/polykinds/T6068.stdout')
| -rw-r--r-- | testsuite/tests/polykinds/T6068.stdout | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T6068.stdout b/testsuite/tests/polykinds/T6068.stdout index 2a6d08de6e..bf9528b1fd 100644 --- a/testsuite/tests/polykinds/T6068.stdout +++ b/testsuite/tests/polykinds/T6068.stdout @@ -1 +1,2 @@ -exists Nothing :: Existential (Maybe *) mp
+exists Nothing
+ :: Floop * (KProxy (Maybe *)) a mp => Existential (Maybe *) mp
|