Merge multiple runEnvironmentT

Toxaris · Feb 6, 2015 · 2d05377 · 2d05377
1 parent 3003413
commit 2d05377
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/src-lib/PTS/Process/File.hs b/src-lib/PTS/Process/File.hs
@@ -180,10 +180,12 @@ processStmt (Bind n args (Just body') body) = recover () $ do
   env <- getBindings
 
   -- typecheck type
-  qq <- runEnvironmentT (typecheckPull t'') env
-  runEnvironmentT
-    (checkProperType qq (text "in top-level binding of " <+> pretty 0 n) (text ""))
-    env
+  qq <-
+    flip runEnvironmentT env $
+         do
+           qq <- typecheckPull t''
+           checkProperType qq (text "in top-level binding of " <+> pretty 0 n) (text "")
+           return qq
 
   -- use declared type to typecheck push
   qq <- liftEval (eval qq)