summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorkeithw <unknown>2000-04-11 15:34:04 +0000
committerkeithw <unknown>2000-04-11 15:34:04 +0000
commit7007351bb709611fbb259aae2eb286d107355486 (patch)
treec164105f4a3c4fdb000febd8b7b622147cf4de5b
parent46d103e953bdf0317b6de798ab96fb2550b2b692 (diff)
downloadhaskell-7007351bb709611fbb259aae2eb286d107355486.tar.gz
[project @ 2000-04-11 15:34:04 by keithw]
Render formatting consistent with the Glasgow Style (vapour-)Guide.
-rw-r--r--ghc/compiler/types/FunDeps.lhs27
1 files changed, 20 insertions, 7 deletions
diff --git a/ghc/compiler/types/FunDeps.lhs b/ghc/compiler/types/FunDeps.lhs
index d99b53bcec..c1db64ebab 100644
--- a/ghc/compiler/types/FunDeps.lhs
+++ b/ghc/compiler/types/FunDeps.lhs
@@ -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'