From a9163c0797d37abbe4b1d8ab9d63571aa55f3980 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 25 Nov 2023 22:53:08 -0800
Subject: [PATCH] Rename the 'Metavariable' type to 'UnificationVar'

'metavariable' is inaccurate.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 src/Bergamot/Syntax.elm | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/Bergamot/Syntax.elm b/src/Bergamot/Syntax.elm
index 8f4c1b0..a17f5c8 100644
--- a/src/Bergamot/Syntax.elm
+++ b/src/Bergamot/Syntax.elm
@@ -7,7 +7,7 @@ import Tuple
 import Debug
 
 type alias Name = String
-type alias Metavariable = String
+type alias UnificationVar = String
 
 type Term a
     = IntLit Int
@@ -16,18 +16,18 @@ type Term a
     | Var a
 
 type alias UnificationInfo =
-    { equivalence : Set Metavariable
-    , term : Maybe (Term Metavariable)
+    { equivalence : Set UnificationVar
+    , term : Maybe (Term UnificationVar)
     }
 
-type alias UnificationState = Dict Metavariable UnificationInfo
+type alias UnificationState = Dict UnificationVar UnificationInfo
 
-reconcile : Set Metavariable -> Maybe (Term Metavariable) -> UnificationState -> UnificationState
+reconcile : Set UnificationVar -> Maybe (Term UnificationVar) -> UnificationState -> UnificationState
 reconcile eq mt us =
     let newValue = { equivalence = eq, term = mt }
     in Set.foldl (\v -> Dict.insert v newValue) us eq
 
-merge : Metavariable -> Metavariable -> UnificationState -> Maybe UnificationState
+merge : UnificationVar -> UnificationVar -> UnificationState -> Maybe UnificationState
 merge v1 v2 us =
     case (Dict.get v1 us, Dict.get v2 us) of
         (Just ui1, Just ui2) ->
@@ -48,7 +48,7 @@ merge v1 v2 us =
         (Nothing, Just ui2) -> Just (reconcile (Set.insert v1 ui2.equivalence) ui2.term us)
         (Nothing, Nothing) -> Just (reconcile (Set.fromList [v1,v2]) Nothing us)
 
-set : Metavariable -> Term Metavariable -> UnificationState -> Maybe (Term Metavariable, UnificationState)
+set : UnificationVar -> Term UnificationVar -> UnificationState -> Maybe (Term UnificationVar, UnificationState)
 set v t us =
     case Dict.get v us of
         Just ui ->
@@ -60,7 +60,7 @@ set v t us =
                     Just (t, reconcile ui.equivalence (Just t) us)
         Nothing -> Just (t, Dict.insert v { equivalence = Set.singleton v, term = Just t } us)
 
-unifyList : List (Term Metavariable) -> List (Term Metavariable) -> UnificationState -> Maybe (List (Term Metavariable), UnificationState)
+unifyList : List (Term UnificationVar) -> List (Term UnificationVar) -> UnificationState -> Maybe (List (Term UnificationVar), UnificationState)
 unifyList l1 l2 us =
     case (l1, l2) of
         (t1 :: ts1, t2 :: ts2) ->
@@ -69,7 +69,7 @@ unifyList l1 l2 us =
         ([], []) -> Just ([], us)
         _ -> Nothing
 
-unify : Term Metavariable -> Term Metavariable -> UnificationState -> Maybe (Term Metavariable, UnificationState)
+unify : Term UnificationVar -> Term UnificationVar -> UnificationState -> Maybe (Term UnificationVar, UnificationState)
 unify t1 t2 us =
     case (t1, t2) of
         (IntLit i1, IntLit i2) -> if i1 == i2 then Just (t1, us) else Nothing