Commit 9c6191d4 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Correct tidying of VectInfo; fixes #5613

parent 2825685e
......@@ -505,11 +505,13 @@ tidyVectInfo (_, var_env) info@(VectInfo { vectInfoVar = vars
, vectInfoScalarVars = tidy_scalarVars
}
where
-- we only export mappings whose co-domain is exported (otherwise, the iface is inconsistent)
-- we only export mappings whose domain and co-domain is exported (otherwise, the iface is
-- inconsistent)
tidy_vars = mkVarEnv [ (tidy_var, (tidy_var, tidy_var_v))
| (var, var_v) <- varEnvElts vars
, let tidy_var = lookup_var var
tidy_var_v = lookup_var var_v
, isExportedId tidy_var
, isExportedId tidy_var_v
]
......
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