Commit efe40544 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Tiny refactor

parent 797a4623
......@@ -1533,8 +1533,8 @@ setTcLevel tclvl thing_inside
isTouchableTcM :: TcTyVar -> TcM Bool
isTouchableTcM tv
= do { env <- getLclEnv
; return (isTouchableMetaTyVar (tcl_tclvl env) tv) }
= do { lvl <- getTcLevel
; return (isTouchableMetaTyVar lvl tv) }
getLclTypeEnv :: TcM TcTypeEnv
getLclTypeEnv = do { env <- getLclEnv; return (tcl_env env) }
......
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