... | ... | @@ -60,6 +60,13 @@ A sum of n "\|"s is a n+1 ary sum. The type constructor can then be used to crea |
|
|
```
|
|
|
|
|
|
|
|
|
The data constructor looks similar, except that we use an "_" to mark which alternative of the sum we want:
|
|
|
|
|
|
```wiki
|
|
|
(#...|_|...#)
|
|
|
```
|
|
|
|
|
|
|
|
|
This gets added to [compiler/prelude/TysWiredIn.hs](/trac/ghc/browser/ghc/compiler/prelude/TysWiredIn.hs), just like for unboxed tuples.
|
|
|
|
|
|
|
... | ... | |