Commit 4ad8b119 authored by simonpj's avatar simonpj
Browse files

[project @ 2004-10-11 12:44:23 by simonpj]

Fix typo; fixes simpl007
parent 0688d49e
...@@ -1502,7 +1502,7 @@ simplAlt env handled_cons case_bndr' (DataAlt con, vs, rhs) cont' ...@@ -1502,7 +1502,7 @@ simplAlt env handled_cons case_bndr' (DataAlt con, vs, rhs) cont'
simplBinders env tvs `thenSmpl` \ (env1, tvs') -> simplBinders env tvs `thenSmpl` \ (env1, tvs') ->
let let
pat_res_ty = dataConResTy con (mkTyVarTys tvs') pat_res_ty = dataConResTy con (mkTyVarTys tvs')
tv_subst = getTvSubst env tv_subst = getTvSubst env1
in in
case coreRefineTys tvs' tv_subst pat_res_ty (idType case_bndr') of { case coreRefineTys tvs' tv_subst pat_res_ty (idType case_bndr') of {
Nothing -- Dead code; for now, I'm just going to put in an Nothing -- Dead code; for now, I'm just going to put in an
......
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