diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-03-02 17:12:03 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-03-05 08:50:52 +0000 |
| commit | e7653bc3c4f57d2282e982b9eb83bd1fcbae6e30 (patch) | |
| tree | 6b1ac2863e4470bea6cd16ea6adf0715a66b8cdf /testsuite/tests/gadt | |
| parent | a9f680f631e20104661e357393f9704e2f8ba234 (diff) | |
| download | haskell-e7653bc3c4f57d2282e982b9eb83bd1fcbae6e30.tar.gz | |
Wombling around in Trac #14808
Comment:4 in Trac #14808 explains why I'm unhappy with the current
state of affairs -- at least the lack of documentation.
This smallpatch does nothing major:
* adds comments
* uses existing type synonyms more (notably FreeKiTyVarsWithDups)
* adds another test case to T14808
Diffstat (limited to 'testsuite/tests/gadt')
| -rw-r--r-- | testsuite/tests/gadt/T14808.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/T14808.hs b/testsuite/tests/gadt/T14808.hs index 726f502789..da3d5212cd 100644 --- a/testsuite/tests/gadt/T14808.hs +++ b/testsuite/tests/gadt/T14808.hs @@ -10,3 +10,9 @@ data ECC ctx f a where f :: [()] -> ECC () [] () f = ECC @() @[] @() + +data ECC2 f a ctx where + ECC2 :: ctx => f a -> ECC2 f a ctx + +f2 :: [()] -> ECC2 [] () () +f2 = ECC2 @() @[] @() |