From 66cf5d3c5fff84a1cac333c1aa81a8e1f21ee6f4 Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Mon, 8 Jul 2024 22:10:12 +0200
Subject: rename Ident -> Name

---
 src/pretty/Pretty.ml | 6 +++---
 src/pretty/dune      | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/pretty')

diff --git a/src/pretty/Pretty.ml b/src/pretty/Pretty.ml
index fa25a40..2f0a40b 100644
--- a/src/pretty/Pretty.ml
+++ b/src/pretty/Pretty.ml
@@ -6,13 +6,13 @@ module S = NbE.Syntax
 module Internal =
 struct
   type env = {
-    names : Ident.local bwd;
+    names : Name.local bwd;
     prec : int;
   }
 
   module Eff = Algaeff.Reader.Make (struct type nonrec t = env end)
 
-  let bind (name : Ident.local) f fmt x =
+  let bind (name : Name.local) f fmt x =
     let update env = { env with names = env.names <: name } in
     Eff.scope update (fun () -> f fmt x)
 
@@ -74,7 +74,7 @@ struct
   (* TODO: improve indentation *)
   and pp fmt = function
     | S.Var ix -> pp_var fmt ix
-    | S.Def (p, _) -> Ident.pp fmt p
+    | S.Def (p, _) -> Name.pp fmt p
     | S.Pi (name, base, fam) -> rassoc 1 pp_arg ~sep:" -> " (bind name pp) fmt ((name, base), fam)
     | S.Lam (name, body) -> Fmt.pf fmt "@[\\@[%a@] -> @[%a@]@]" pp_local_name name (bind name pp) body
     | S.Sg (name, base, fam) -> rassoc 2 pp_arg ~sep:" * " (bind name pp) fmt ((name, base), fam)
diff --git a/src/pretty/dune b/src/pretty/dune
index 708b5b1..ea47845 100644
--- a/src/pretty/dune
+++ b/src/pretty/dune
@@ -5,5 +5,5 @@
   bwd
   fmt
   toytt.error
-  toytt.ident
+  toytt.name
   toytt.nbe))
-- 
cgit 1.4.1