diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-08 12:02:33 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-08 12:02:33 +0200 |
| commit | 02c3f915861d53122624417a9d97068d754a4b26 (patch) | |
| tree | baeaff1fb4954b5b9a6761772282c8cf268f425a /doc | |
| parent | 2e65df79cda76000ae0b69b8b9b85f4abac7f084 (diff) | |
split Stream.hs; bugfixes
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guide.pandoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guide.pandoc b/doc/guide.pandoc index 6b50db80..0b062a4a 100644 --- a/doc/guide.pandoc +++ b/doc/guide.pandoc | |||
| @@ -657,7 +657,7 @@ Reachability check is just finding parts of source code not present in result. | |||
| 657 | Step (2) is very general: | 657 | Step (2) is very general: |
| 658 | 658 | ||
| 659 | - For pattern matching just on a single constructor C, the patterns {C v1 ... vn, _} can be used. | 659 | - For pattern matching just on a single constructor C, the patterns {C v1 ... vn, _} can be used. |
| 660 | This can prevent quadratic code blowup in case of ADT with many constructors. | 660 | This can prevent quadratic code blowup in case of ADTs with many constructors. |
| 661 | - Pattern matching on types is possible in a similar way. | 661 | - Pattern matching on types is possible in a similar way. |
| 662 | - In case of GADTs, for better warnings, type information can be taken into account to restrict the set of matching constructor patterns, | 662 | - In case of GADTs, for better warnings, type information can be taken into account to restrict the set of matching constructor patterns, |
| 663 | similar to [GADTs Meet Their Match](https://people.cs.kuleuven.be/~george.karachalias/papers/p424-karachalias.pdf), implemented in GHC 8. | 663 | similar to [GADTs Meet Their Match](https://people.cs.kuleuven.be/~george.karachalias/papers/p424-karachalias.pdf), implemented in GHC 8. |