Skip to content
Snippets Groups Projects
Commit 7007351b authored by Keith Wansbrough's avatar Keith Wansbrough
Browse files

[project @ 2000-04-11 15:34:04 by keithw]

Render formatting consistent with the Glasgow Style (vapour-)Guide.
parent 46d103e9
No related branches found
No related tags found
No related merge requests found
%
% (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" It's better to read it as: "if we know these, then we're going to know these"
\begin{code} \begin{code}
module FunDeps(oclose, instantiateFdClassTys, tyVarFunDep, pprFundeps) where module FunDeps (
oclose,
instantiateFdClassTys,
tyVarFunDep,
pprFundeps
) where
#include "HsVersions.h" #include "HsVersions.h"
import Class (classTvsFds) import Class ( classTvsFds )
import Type (tyVarsOfType) import Type ( tyVarsOfType )
import Outputable (interppSP, ptext, empty, hsep, punctuate, comma) import Outputable ( interppSP, ptext, empty, hsep, punctuate, comma )
import UniqSet (elementOfUniqSet, addOneToUniqSet, import UniqSet ( elementOfUniqSet, addOneToUniqSet,
uniqSetToList, unionManyUniqSets) uniqSetToList, unionManyUniqSets )
import List (elemIndex) import List ( elemIndex )
\end{code}
\begin{code}
oclose fds vs = oclose fds vs =
case oclose1 fds vs of case oclose1 fds vs of
(vs', False) -> vs' (vs', False) -> vs'
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment