diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-20 22:38:11 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-20 22:38:11 +0800 |
| commit | cce6318e8fdb086a8501a0c81ae1ee02eed67835 (patch) | |
| tree | f9257e7f86fa47c73e22951fdb1471310d252504 /testsuite/tests/ghci | |
| parent | 3b81309c057fc216afa053d195aaa85ee3a1ba9e (diff) | |
| download | haskell-cce6318e8fdb086a8501a0c81ae1ee02eed67835.tar.gz | |
Add support for pattern synonym type signatures.
Syntax is of the form
pattern P :: (Prov b) => (Req a) => a -> b -> Int -> T a
which declares a pattern synonym called `P`, with argument types `a`, `b`,
and `Int`, and result type `T a`, with provided context `(Prov b)` and required
context `(Req a)`.
The Haddock submodule is also updated to use this new syntax in generated docs.
Diffstat (limited to 'testsuite/tests/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T8776.stdout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/T8776.stdout b/testsuite/tests/ghci/scripts/T8776.stdout index 9c9e89ad94..5aea751e80 100644 --- a/testsuite/tests/ghci/scripts/T8776.stdout +++ b/testsuite/tests/ghci/scripts/T8776.stdout @@ -1 +1 @@ -pattern (Num t, Eq t1) => P :: (A t t1) -- Defined at T8776.hs:6:9 +pattern P :: (Num t, Eq t1) => A t t1 -- Defined at T8776.hs:6:9 |