Commit 9d458d01 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-12-17 11:43:13 by simonpj]

  Gate in a few more instance decls

When we have
	instance T a where...

we need to suck in the instance decl rather more aggressively than we
were.  (A case I hadn't thought of because it only happens with
undecideable instances.)
parent ca0b7c66
......@@ -529,7 +529,8 @@ selectInsts pool@(Pool insts n_in n_out) cls tycons
-- Reverses the gated decls, but that doesn't matter
choose2 (gis, decls) (gates, decl)
| any (`elem` tycons) gates = (gis, decl:decls)
| null gates -- Happens when we have 'instance T a where ...'
|| any (`elem` tycons) gates = (gis, decl:decls)
| otherwise = ((gates,decl) : gis, decls)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment