diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-08 08:30:05 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-08 08:30:05 +0000 |
| commit | 441a87a10e0a97c7af8beb19dfb02eb375c0e01f (patch) | |
| tree | 32cc04cdf7bb37361195738647b59ed5393d9963 /testsuite/tests/polykinds/T7090.hs | |
| parent | 8f01d1e494edfe94810d73705e61acb0d1e695c2 (diff) | |
| download | haskell-441a87a10e0a97c7af8beb19dfb02eb375c0e01f.tar.gz | |
Wibbles to error messages and tests, following ambiguity-check changes
Diffstat (limited to 'testsuite/tests/polykinds/T7090.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T7090.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T7090.hs b/testsuite/tests/polykinds/T7090.hs index 855633bbef..2364b0cd5a 100644 --- a/testsuite/tests/polykinds/T7090.hs +++ b/testsuite/tests/polykinds/T7090.hs @@ -21,6 +21,8 @@ type family (a :: Nat) :==: (b :: Nat) :: Bool boolToProp :: (a :==: b) ~ True => Dict (a ~ b) boolToProp = undefined -foo :: forall n. (Succ n :==: Plus n One) ~ True => () +data T (n :: Nat) = MkT + +foo :: forall n. (Succ n :==: Plus n One) ~ True => T n foo = case (boolToProp :: Dict (Succ n ~ Plus n One)) of - Dict -> () + Dict -> MkT |