diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-26 17:19:42 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-27 13:28:44 +0100 |
| commit | 62e48fbc3af423232cb42c821071dbe6880ed24b (patch) | |
| tree | 34ddce9838eadebc5c6ab91dcb07d6afa7b6c6c8 /testsuite/tests/polykinds/T7939a.stderr | |
| parent | fe2397fe1a360a21647fb5c42b713dc1643874d7 (diff) | |
| download | haskell-62e48fbc3af423232cb42c821071dbe6880ed24b.tar.gz | |
Test kind inference for closed type families/T7939.
Diffstat (limited to 'testsuite/tests/polykinds/T7939a.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7939a.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T7939a.stderr b/testsuite/tests/polykinds/T7939a.stderr new file mode 100644 index 0000000000..7485eb019f --- /dev/null +++ b/testsuite/tests/polykinds/T7939a.stderr @@ -0,0 +1,7 @@ + +T7939a.hs:7:5: + Expecting one more argument to ‛Maybe’ + The first argument of ‛F’ should have kind ‛*’, + but ‛Maybe’ has kind ‛* -> *’ + In the type ‛Maybe’ + In the family declaration for ‛F’ |