Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Commits
fb54e7be
Commit
fb54e7be
authored
Jul 31, 2008
by
batterseapower
Browse files
Follow Digraph changes in TcTyDecls
parent
0e332efa
Changes
1
Hide whitespace changes
Inline
Side-by-side
compiler/typecheck/TcTyDecls.lhs
View file @
fb54e7be
...
...
@@ -102,7 +102,7 @@ synTyConsOfType ty
\begin{code}
calcSynCycles :: [LTyClDecl Name] -> [SCC (LTyClDecl Name)]
calcSynCycles decls
= stronglyConnComp syn_edges
= stronglyConnComp
FromEdgedVertices
syn_edges
where
syn_edges = [ (ldecl, unLoc (tcdLName decl),
mk_syn_edges (tcdSynRhs decl))
...
...
@@ -114,7 +114,7 @@ calcSynCycles decls
calcClassCycles :: [LTyClDecl Name] -> [[LTyClDecl Name]]
calcClassCycles decls
= [decls | CyclicSCC decls <- stronglyConnComp cls_edges]
= [decls | CyclicSCC decls <- stronglyConnComp
FromEdgedVertices
cls_edges]
where
cls_edges = [ (ldecl, unLoc (tcdLName decl),
mk_cls_edges (unLoc (tcdCtxt decl)))
...
...
@@ -287,7 +287,7 @@ findLoopBreakers deps
= go [(tc,tc,ds) | (tc,ds) <- deps]
where
go edges = [ name
| CyclicSCC ((tc,_,_) : edges') <- stronglyConnCompR edges,
| CyclicSCC ((tc,_,_) : edges') <- stronglyConnComp
FromEdgedVertices
R edges,
name <- tyConName tc : go edges']
\end{code}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment