From 25ebbb764146f4c4634720bb285c3611e95cc951 Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Tue, 15 May 2007 01:20:36 +0000 Subject: [PATCH] Added -ftype-families to the user's manual - This adds the option to the flag reference and puts a stub pointing to the Haskell wiki page about type families into the section about type extensions. - Once, the implementation has stabilised, the material from the wiki page will be integreated into the user's manual. --- docs/users_guide/flags.xml | 6 ++++++ docs/users_guide/glasgow_exts.xml | 27 +++++++++++++++++++++++++++ 2 files changed, 33 insertions(+) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 8e18570..aca1d47 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -693,6 +693,12 @@ + + Enable type families. + dynamic + + + Enable bang patterns. dynamic diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 61cff6e..ac10e21 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -4139,6 +4139,33 @@ to work since it gets translated into an equality comparison. + +Type families + + + +GHC supports the definition of type families indexed by types. They may be +seen as an extension of Haskell 98's class-based overloading of values to +types. When type families are declared in classes, they are also known as +associated types. + + +There are two forms of type families: data families and type synonym families. +Currently, only the former are fully implemented, while we are still working +on the latter. As a result, the specification of the language extension is +also still to some degree in flux. Hence, a more detailed description of +the language extension and its use is currently available +from the Haskell +wiki page on type families. The material will be moved to this user's +guide when it has stabilised. + + +Type families are enabled by the flag . + + + + + -- 1.7.10.4