[project @ 2000-04-11 15:34:04 by keithw]
authorkeithw <unknown>
Tue, 11 Apr 2000 15:34:04 +0000 (15:34 +0000)
committerkeithw <unknown>
Tue, 11 Apr 2000 15:34:04 +0000 (15:34 +0000)
Render formatting consistent with the Glasgow Style (vapour-)Guide.

ghc/compiler/types/FunDeps.lhs

index d99b53b..c1db64e 100644 (file)
@@ -1,17 +1,30 @@
+%
+% (c) The GRASP/AQUA Project, Glasgow University, 2000
+%
+\section[FunDeps]{FunDeps - functional dependencies}
+
 It's better to read it as: "if we know these, then we're going to know these"
 
 \begin{code}
-module FunDeps(oclose, instantiateFdClassTys, tyVarFunDep, pprFundeps) where
+module FunDeps (
+       oclose,
+        instantiateFdClassTys,
+        tyVarFunDep,
+        pprFundeps
+    ) where
 
 #include "HsVersions.h"
 
-import Class           (classTvsFds)
-import Type            (tyVarsOfType)
-import Outputable      (interppSP, ptext, empty, hsep, punctuate, comma)
-import UniqSet         (elementOfUniqSet, addOneToUniqSet,
-                        uniqSetToList, unionManyUniqSets)
-import List            (elemIndex)
+import Class           ( classTvsFds )
+import Type            ( tyVarsOfType )
+import Outputable      ( interppSP, ptext, empty, hsep, punctuate, comma )
+import UniqSet         ( elementOfUniqSet, addOneToUniqSet,
+                         uniqSetToList, unionManyUniqSets )
+import List            ( elemIndex )
+\end{code}
+
 
+\begin{code}
 oclose fds vs =
     case oclose1 fds vs of
       (vs', False) -> vs'