Talk:GHC/Type families
From HaskellWiki
m |
m (added user name to my last edit...) |
||
| (4 intermediate revisions not shown.) | |||
| Line 1: | Line 1: | ||
| + | How does this change now that GHC 6.8.1 is out? [[User:MathematicalOrchid|MathematicalOrchid]] 12:55, 11 November 2007 (UTC) | ||
| + | |||
| + | |||
| + | |||
In 4.3.2 Examples | In 4.3.2 Examples | ||
| Line 9: | Line 13: | ||
Paragraph 6 is a copy of Paragraph 4 except Collects is used. | Paragraph 6 is a copy of Paragraph 4 except Collects is used. | ||
| + | |||
| + | |||
| + | In 7.3 Equality constraints | ||
| + | |||
| + | Why was `<hask>~</hask>' used, instead of `<hask>=</hask>` ? | ||
| + | [[User:StefanLjungstrand|StefanLjungstrand]] 19:55, 12 December 2007 (UTC) | ||
| + | |||
| + | == GADT syntax in Type Families == | ||
| + | |||
| + | GADT syntax is allowed nowadays, as per http://www.haskell.org/ghc/docs/latest/html/users_guide/type-families.html#data-instance-declarations. | ||
| + | |||
| + | An update of the Wiki also would be in place. | ||
| + | [[User:obscaenvs|Fredrik Carlén]] | ||
Current revision
How does this change now that GHC 6.8.1 is out? MathematicalOrchid 12:55, 11 November 2007 (UTC)
In 4.3.2 Examples
module GMap (GMapKey(..), GMap(..)) where...: As before, but also exports all the data constructors GMapInt, GMapChar, GMapUnit, GMapPair, and GMapUnit.
should probably be:
module GMap (GMapKey(..), GMap(..)) where...: As before, but also exports all the data constructors GMapInt, GMapChar, GMapUnit, GMapPair, and GMapEither.
Paragraph 6 is a copy of Paragraph 4 except Collects is used.
In 7.3 Equality constraints
StefanLjungstrand 19:55, 12 December 2007 (UTC)
GADT syntax in Type Families
GADT syntax is allowed nowadays, as per http://www.haskell.org/ghc/docs/latest/html/users_guide/type-families.html#data-instance-declarations.
An update of the Wiki also would be in place. Fredrik Carlén
