Rename lambda to closure.

src/Control/Abstract/Value.hs

@@ -138,10 +138,10 @@ class Show value => AbstractValue location value effects where
   scopedEnvironment :: value -> Evaluator location term value effects (Maybe (Environment location value))
 
   -- | Build a closure (a binder like a lambda or method definition).
-  lambda :: [Name]                                      -- ^ The parameter names.
-         -> Set Name                                    -- ^ The set of free variables to close over.
-         -> Evaluator location term value effects value -- ^ The evaluator for the body of the closure.
-         -> Evaluator location term value effects value
+  closure :: [Name]                                      -- ^ The parameter names.
+          -> Set Name                                    -- ^ The set of free variables to close over.
+          -> Evaluator location term value effects value -- ^ The evaluator for the body of the closure.
+          -> Evaluator location term value effects value
   -- | Evaluate an application (like a function call).
   call :: value -> [Evaluator location term value effects value] -> Evaluator location term value effects value
 

src/Data/Abstract/Type.hs

@@ -92,7 +92,7 @@ instance ( Addressable location effects
          , Reducer (Type location) (Cell location (Type location))
          )
       => AbstractValue location (Type location) effects where
-  lambda names _ body = do
+  closure names _ body = do
     (env, tvars) <- foldr (\ name rest -> do
       a <- alloc name
       tvar <- Var <$> raise fresh

src/Data/Abstract/Value.hs

@@ -349,7 +349,7 @@ instance ( Addressable location (Goto effects (Value location) ': effects)
     | otherwise = throwValueError (Bitwise2Error left right)
       where pair = (left, right)
 
-  lambda parameters freeVariables body = do
+  closure parameters freeVariables body = do
     l <- label body
     injValue . Closure parameters l . Env.bind (foldr Set.delete freeVariables parameters) <$> getEnv
 

src/Data/Syntax/Declaration.hs

@@ -23,7 +23,7 @@ instance Show1 Function where liftShowsPrec = genericLiftShowsPrec
 instance Evaluatable Function where
   eval Function{..} = do
     name <- either (throwEvalError . FreeVariablesError) pure (freeVariable $ subterm functionName)
-    (v, addr) <- letrec name (lambda (paramNames functionParameters) (Set.fromList (freeVariables functionBody)) (subtermValue functionBody))
+    (v, addr) <- letrec name (closure (paramNames functionParameters) (Set.fromList (freeVariables functionBody)) (subtermValue functionBody))
     modifyEnv (Env.insert name addr)
     pure v
     where paramNames = foldMap (freeVariables . subterm)
@@ -47,7 +47,7 @@ instance Show1 Method where liftShowsPrec = genericLiftShowsPrec
 instance Evaluatable Method where
   eval Method{..} = do
     name <- either (throwEvalError . FreeVariablesError) pure (freeVariable $ subterm methodName)
-    (v, addr) <- letrec name (lambda (paramNames methodParameters) (Set.fromList (freeVariables methodBody)) (subtermValue methodBody))
+    (v, addr) <- letrec name (closure (paramNames methodParameters) (Set.fromList (freeVariables methodBody)) (subtermValue methodBody))
     modifyEnv (Env.insert name addr)
     pure v
     where paramNames = foldMap (freeVariables . subterm)

test/Control/Abstract/Evaluator/Spec.hs

@@ -22,7 +22,7 @@ spec = parallel $ do
 
   it "calls functions" $ do
     (expected, _) <- evaluate $ do
-      identity <- lambda [name "x"] lowerBound (variable (name "x"))
+      identity <- closure [name "x"] lowerBound (variable (name "x"))
       call identity [integer 123]
     expected `shouldBe` Right (Value.injValue (Value.Integer (Number.Integer 123)))