From 7007351bb709611fbb259aae2eb286d107355486 Mon Sep 17 00:00:00 2001
From: keithw <unknown>
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 d99b53bcec1e..c1db64ebab40 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'
--
GitLab