From 7007351bb709611fbb259aae2eb286d107355486 Mon Sep 17 00:00:00 2001 From: keithw Date: Tue, 11 Apr 2000 15:34:04 +0000 Subject: [PATCH] [project @ 2000-04-11 15:34:04 by keithw] Render formatting consistent with the Glasgow Style (vapour-)Guide. --- ghc/compiler/types/FunDeps.lhs | 27 ++++++++++++++++++++------- 1 file changed, 20 insertions(+), 7 deletions(-) diff --git a/ghc/compiler/types/FunDeps.lhs b/ghc/compiler/types/FunDeps.lhs index d99b53b..c1db64e 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' -- 1.7.10.4