Tiny refactor
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 10 May 2018 16:30:43 +0000 (17:30 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 18 May 2018 16:16:17 +0000 (17:16 +0100)
compiler/typecheck/TcRnMonad.hs

index d41f586..8f4812e 100644 (file)
@@ -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) }