From 22ad130fa851909870ddc0e6caa1aa6f8d6a66a1 Mon Sep 17 00:00:00 2001
From: Andrea Rossato <andrea.rossato@ing.unitn.it>
Date: Fri, 13 Jul 2007 14:37:07 +0200
Subject: haddock tuning

darcs-hash:20070713123707-d6583-b236b40087a92c45511afb3e4350813917515c02.gz
---
 Runnable.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Runnable.hs')

diff --git a/Runnable.hs b/Runnable.hs
index c122eea..96216d0 100644
--- a/Runnable.hs
+++ b/Runnable.hs
@@ -48,6 +48,10 @@ instance (Read t, Exec t, ReadAsAnyOf ts Runnable) => ReadAsAnyOf (t,ts) Runnabl
     readAsAnyOf ~(t,ts) = r t `mplus` readAsAnyOf ts
               where r ty = do { m <- readPrec; return (Run (m `asTypeOf` ty)) }
 
+-- | The 'Prelude.Read' parser for the 'Runnable' existential type. It
+-- needs an 'Prelude.undefined' with a type signature containing the
+-- list of all possible types hidden within 'Runnable'. See 'Config.runnableTypes'.
+-- Each hidden type must have a 'Prelude.Read' instance.
 readRunnable :: ReadPrec Runnable
 readRunnable = prec 10 $ do
                  Ident "Run" <- lexP
-- 
cgit v1.2.3