diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-07 19:29:06 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-20 18:21:34 +0800 |
| commit | d4530b69ff9518a091cc1aabb2b75f2e9d5b275c (patch) | |
| tree | c08f31981cba931276a8b77a98534ee27aeafefd /compiler/Makefile | |
| parent | 3b81309c057fc216afa053d195aaa85ee3a1ba9e (diff) | |
| download | haskell-wip/T8584.tar.gz | |
Add support for pattern synonym type signatures.wip/T8584
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)`.
Diffstat (limited to 'compiler/Makefile')
0 files changed, 0 insertions, 0 deletions