From 9afbd25b64607e68fe6275fb6b743159001ca984 Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Wed, 9 Feb 2005 19:45:54 +0000
Subject: "Committed_by_peb"

---
 src/GF/Compile/Extend.hs | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

(limited to 'src/GF/Compile/Extend.hs')

diff --git a/src/GF/Compile/Extend.hs b/src/GF/Compile/Extend.hs
index 7f01db3a6..af6ff0c43 100644
--- a/src/GF/Compile/Extend.hs
+++ b/src/GF/Compile/Extend.hs
@@ -9,7 +9,10 @@
 -- > CVS $Author $
 -- > CVS $Revision $
 --
--- (Description of the module)
+-- AR 14\/5\/2003 -- 11\/11
+--
+-- The top-level function 'extendModule'
+-- extends a module symbol table by indirections to the module it extends
 -----------------------------------------------------------------------------
 
 module Extend where
@@ -24,11 +27,6 @@ import Operations
 
 import Monad
 
--- AR 14/5/2003 -- 11/11
-
--- The top-level function $extendModule$
--- extends a module symbol table by indirections to the module it extends
-
 extendModule :: [SourceModule] -> SourceModule -> Err SourceModule
 extendModule ms (name,mod) = case mod of
 
@@ -58,10 +56,9 @@ extendModule ms (name,mod) = case mod of
         let me' = if isCompl then es else (filter (/=n) es) 
         return $ Module mt st fs me' ops js1
 
--- When extending a complete module: new information is inserted,
+-- | When extending a complete module: new information is inserted,
 -- and the process is interrupted if unification fails.
 -- If the extended module is incomplete, its judgements are just copied.
-
 extendMod :: Bool -> Ident -> Ident -> BinTree (Ident,Info) -> BinTree (Ident,Info) -> 
              Err (BinTree (Ident,Info))
 extendMod isCompl name base old new = foldM try new $ tree2list old where
-- 
cgit v1.2.3