Commit 1e64fc81 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Tiny refactor: use mkTyVarNamePairs

parent 23b5b804
......@@ -403,7 +403,7 @@ tcExtendKindEnv extra_env thing_inside
-- Scoped type and kind variables
tcExtendTyVarEnv :: [TyVar] -> TcM r -> TcM r
tcExtendTyVarEnv tvs thing_inside
= tcExtendTyVarEnv2 [(tyVarName tv, tv) | tv <- tvs] thing_inside
= tcExtendTyVarEnv2 (mkTyVarNamePairs tvs) thing_inside
tcExtendTyVarEnv2 :: [(Name,TcTyVar)] -> TcM r -> TcM r
tcExtendTyVarEnv2 binds thing_inside
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