diff options
author | keithw <unknown> | 2000-04-11 15:34:04 +0000 |
---|---|---|
committer | keithw <unknown> | 2000-04-11 15:34:04 +0000 |
commit | 7007351bb709611fbb259aae2eb286d107355486 (patch) | |
tree | c164105f4a3c4fdb000febd8b7b622147cf4de5b | |
parent | 46d103e953bdf0317b6de798ab96fb2550b2b692 (diff) | |
download | haskell-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.lhs | 27 |
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' |