From: Ian Lynagh Date: Wed, 10 Dec 2008 16:54:34 +0000 (+0000) Subject: Fix user guide typesetting X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=2d4e1203c6a5ee5634c0af5404d9a8ad2b338cf1 Fix user guide typesetting --- diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 3e96098..a431dd6 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -3880,7 +3880,7 @@ data instance T Int = T1 Int | T2 Bool newtype instance T Char = TC Bool - A can use GADT syntax for the data constructors, + A data instance can use GADT syntax for the data constructors, and indeed can define a GADT. For example: data family G a b