From 4002b8988c799a904ef1f359d4267ef4ad80cba3 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Mon, 5 Dec 2022 14:19:12 +0200
Subject: Rename project to Milch

---
 src/Utils.hs | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/Utils.hs')

diff --git a/src/Utils.hs b/src/Utils.hs
index 0cc17bd..b68de18 100644
--- a/src/Utils.hs
+++ b/src/Utils.hs
@@ -39,7 +39,7 @@ data LState = LState {
     stateConfig :: Config,
     stateEnv :: Env,
     stateDepth :: Int,
-    statePure :: LIsPure
+    statePure :: Purity
 }
 
 type LineNo = Int
@@ -92,12 +92,12 @@ getDepth = do
     s <- get
     return $ stateDepth s
 
-getPurity :: LContext LIsPure
+getPurity :: LContext Purity
 getPurity = do
     s <- get
     return $ statePure s
 
-isAllowedPurity :: LIsPure -> LContext Bool
+isAllowedPurity :: Purity -> LContext Bool
 isAllowedPurity purity = do
     s <- get
     let currentPurity = statePure s
@@ -105,11 +105,11 @@ isAllowedPurity purity = do
         False -> True -- if currently in impure context (false), all calls are ok
         True -> purity == True -- but if in pure context (true), only pure calls are ok
 
-updatePurity :: LIsPure -> LContext ()
+updatePurity :: Purity -> LContext ()
 updatePurity purity = do
     modify (\s -> s { statePure = purity })
 
-checkPurity :: LIsPure -> LContext ()
+checkPurity :: Purity -> LContext ()
 checkPurity purity = do
     purityOk <- isAllowedPurity purity
     when (not purityOk) $ throwL "" $ "cannot call impure function in pure context"
@@ -127,7 +127,7 @@ instance (Eq Token) where
 instance (Show Token) where
     show token = show $ tokenContent token
 
-type LIsPure = Bool
+type Purity = Bool
 type LFunction = AST -> LContext AST
 
 data ASTNode
@@ -139,7 +139,7 @@ data ASTNode
     | ASTVector [AST]
     | ASTFunctionCall [AST]
     | ASTHashMap (M.Map AST AST)
-    | ASTFunction LIsPure LFunction
+    | ASTFunction Purity LFunction
     | ASTUnit
     | ASTHole
 
-- 
cgit v1.3