update local var name

ZhiruiLi · Sep 23, 2016 · cdc38f2 · cdc38f2
1 parent 89560f8
commit cdc38f2
Show file tree

Hide file tree

Showing 10 changed files with 18 additions and 18 deletions.
diff --git a/src/CallByName/Evaluator.hs b/src/CallByName/Evaluator.hs
@@ -228,9 +228,9 @@ evalCallExpr ratorExpr randExprs env = do
     recOpVal exprs env tryRef = (:) <$> tryRef <*> valueOfOperands exprs env
     unpackProc :: ExpressedValue -> StatedTry Procedure
     unpackProc (ExprProc proc) = return proc
-    unpackProc noProc = throwError $
+    unpackProc notProc = throwError $
       "Operator of call expression should be procedure, but got: "
-      `mappend` show noProc
+      `mappend` show notProc
     safeZip :: [a] -> [b] -> StatedTry [(a, b)]
     safeZip [] []         = return []
     safeZip (_:_) []      = throwError "Not enough arguments!"

diff --git a/src/CallByNeed/Evaluator.hs b/src/CallByNeed/Evaluator.hs
@@ -248,9 +248,9 @@ evalCallExpr ratorExpr randExprs env = do
     recOpVal exprs env tryRef = (:) <$> tryRef <*> valueOfOperands exprs env
     unpackProc :: ExpressedValue -> StatedTry Procedure
     unpackProc (ExprProc proc) = return proc
-    unpackProc noProc = throwError $
+    unpackProc notProc = throwError $
       "Operator of call expression should be procedure, but got: "
-      `mappend` show noProc
+      `mappend` show notProc
     safeZip :: [a] -> [b] -> StatedTry [(a, b)]
     safeZip [] []         = return []
     safeZip (_:_) []      = throwError "Not enough arguments!"

diff --git a/src/CallByReference/Evaluator.hs b/src/CallByReference/Evaluator.hs
@@ -229,9 +229,9 @@ evalCallExpr ratorExpr randExprs env = do
       (ref:) <$> valueOfOperands exprs env
     unpackProc :: ExpressedValue -> StatedTry Procedure
     unpackProc (ExprProc proc) = return proc
-    unpackProc noProc = throwError $
+    unpackProc notProc = throwError $
       "Operator of call expression should be procedure, but got: "
-      `mappend` show noProc
+      `mappend` show notProc
     safeZip :: [a] -> [b] -> StatedTry [(a, b)]
     safeZip [] []         = return []
     safeZip (_:_) []      = throwError "Not enough arguments!"

diff --git a/src/ExplicitRefs/Evaluator.hs b/src/ExplicitRefs/Evaluator.hs
@@ -226,9 +226,9 @@ evalCallExpr ratorExpr randExprs env = do
   where
     unpackProc :: ExpressedValue -> StatedTry Procedure
     unpackProc (ExprProc proc) = return proc
-    unpackProc noProc = throwError $
+    unpackProc notProc = throwError $
       "Operator of call expression should be procedure, but got: "
-      `mappend` show noProc
+      `mappend` show notProc
     safeZip :: [a] -> [b] -> StatedTry [(a, b)]
     safeZip [] []         = return []
     safeZip (_:_) []      = throwError "Not enough arguments!"

diff --git a/src/ImplicitRefs/Evaluator.hs b/src/ImplicitRefs/Evaluator.hs
@@ -57,7 +57,7 @@ unpackExprRef notRef        = throwError $ TypeMismatch "reference" notRef
 
 unpackProc :: ExpressedValue -> IOTry Procedure
 unpackProc (ExprProc proc) = return proc
-unpackProc noProc          = throwError $ TypeMismatch "procedure" noProc
+unpackProc notProc         = throwError $ TypeMismatch "procedure" notProc
 
 getExprRef :: String -> Environment -> Store -> IOTry Ref
 getExprRef name env store = do

diff --git a/src/ImplicitRefsCont/Evaluator.hs b/src/ImplicitRefsCont/Evaluator.hs
@@ -90,7 +90,7 @@ unpackExprRef notRef        = throwError $ TypeMismatch "reference" notRef
 
 unpackProc :: ExpressedValue -> IOTry Procedure
 unpackProc (ExprProc proc) = return proc
-unpackProc noProc          = throwError $ TypeMismatch "procedure" noProc
+unpackProc notProc         = throwError $ TypeMismatch "procedure" notProc
 
 evalConstExpr :: ExpressedValue -> Store -> Continuation -> EvaluateResult
 evalConstExpr val store cont = applyCont store cont val

diff --git a/src/LetRecLang/Evaluator.hs b/src/LetRecLang/Evaluator.hs
@@ -192,9 +192,9 @@ evalCallExpr rator rand env = do
   where
     unpackProc :: ExpressedValue -> Try Procedure
     unpackProc (ExprProc proc) = Right proc
-    unpackProc noProc = Left $
+    unpackProc notProc = Left $
       "Operator of call expression should be procedure, but got: "
-      `mappend` show noProc
+      `mappend` show notProc
     func :: Try [ExpressedValue] -> Try ExpressedValue -> Try [ExpressedValue]
     func maybeArgs maybeArg = do
       args <- maybeArgs

diff --git a/src/MutablePairs/Evaluator.hs b/src/MutablePairs/Evaluator.hs
@@ -264,9 +264,9 @@ evalCallExpr ratorExpr randExprs env = do
   where
     unpackProc :: ExpressedValue -> StatedTry Procedure
     unpackProc (ExprProc proc) = return proc
-    unpackProc noProc = throwError $
+    unpackProc notProc = throwError $
       "Operator of call expression should be procedure, but got: "
-      `mappend` show noProc
+      `mappend` show notProc
     safeZip :: [a] -> [b] -> StatedTry [(a, b)]
     safeZip [] []         = return []
     safeZip (_:_) []      = throwError "Not enough arguments!"

diff --git a/src/NamelessIntp/Evaluator.hs b/src/NamelessIntp/Evaluator.hs
@@ -171,9 +171,9 @@ evalCallExpr rator rand env = do
   applyProcedure proc randVal
   where
     unpackProc (ExprProc proc) = Right proc
-    unpackProc noProc = Left $
+    unpackProc notProc = Left $
       "Operator of call expression should be procedure, "
-      `mappend` "but got: " `mappend` show noProc
+      `mappend` "but got: " `mappend` show notProc
     applyProcedure (NamelessProcedure body savedEnv) rand =
       valueOf body (extend rand savedEnv)
 

diff --git a/src/ProcLang/Evaluator.hs b/src/ProcLang/Evaluator.hs
@@ -174,9 +174,9 @@ evalCallExpr rator rand env = do
   where
     unpackProc :: ExpressedValue -> Try Procedure
     unpackProc (ExprProc proc) = Right proc
-    unpackProc noProc = Left $
+    unpackProc notProc = Left $
       "Operator of call expression should be procedure, but got: "
-      `mappend` show noProc
+      `mappend` show notProc
     func :: Try [ExpressedValue] -> Try ExpressedValue -> Try [ExpressedValue]
     func maybeArgs maybeArg = do
       args <- maybeArgs