From d8cd50453c7f78ceb9d975183031bcf6ebe4b7bd Mon Sep 17 00:00:00 2001 From: "bringert@cs.chalmers.se" Date: Fri, 15 Sep 2006 23:05:17 +0000 Subject: [PATCH] Fixed error in user's manual, gadt section, part about deriving. Data constructor type was Maybe, should be Maybe1. --- docs/users_guide/glasgow_exts.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 7e08583..0ca2a53 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -3903,8 +3903,8 @@ declaration, but only if the data type could also have been declared in Haskell-98 syntax. For example, these two declarations are equivalent data Maybe1 a where { - Nothing1 :: Maybe a ; - Just1 :: a -> Maybe a + Nothing1 :: Maybe1 a ; + Just1 :: a -> Maybe1 a } deriving( Eq, Ord ) data Maybe2 a = Nothing2 | Just2 a -- 1.7.10.4