Inferring from context declarations

Andreas Rossberg [email protected]
Wed, 21 Feb 2001 16:07:00 +0100

George Russell wrote:
> I'm sorry if this is a FAQ, but I'm curious to know why Haskell (or at least, GHC and Hugs)
> doesn't seem able to use contexts on variables at the front of data declarations.

There has been some discussion on contexts on data declarations during
the Haskell 98 standardization process. See:

I think this discussion also lead John Hughes to write his paper on
"Restricted Datatypes in Haskell" which is available from his homepage:

Hope this helps,

	- Andreas

Andreas Rossberg, [email protected]

"Computer games don't affect kids.
 If Pac Man affected us as kids, we would all be running around in
 darkened rooms, munching pills, and listening to repetitive music."