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/ast/Ast.ml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/ast/Ast.ml')

diff --git a/src/ast/Ast.ml b/src/ast/Ast.ml
index 974409f..5952977 100644
--- a/src/ast/Ast.ml
+++ b/src/ast/Ast.ml
@@ -1,10 +1,10 @@
-type ident = Ident.t Asai.Range.located
-type local_name = Ident.local Asai.Range.located
+type ident = Name.t Asai.Range.located
+type local_name = Name.local Asai.Range.located
 
 type arg = local_name * expr
 
 and raw_expr =
-  | Var of Ident.t
+  | Var of Name.t
   | Check of expr * expr
   | Pi of arg * expr
   | Fun of expr * expr
@@ -38,7 +38,7 @@ type item =
 
 type file = item List.t
 
-let dump_ident fmt ({ value; _ } : ident) = Ident.pp fmt value
+let dump_ident fmt ({ value; _ } : ident) = Name.pp fmt value
 
 let dump_local_name fmt ({ value; _ } : local_name) = match value with
   | Some name -> Format.pp_print_string fmt name
@@ -48,7 +48,7 @@ let rec dump_arg fmt ((name, tp) : arg) =
   Format.fprintf fmt "@[@[%a@]@ :@ @[%a@]@]" dump_local_name name dump_expr tp
 
 and dump_raw_expr fmt = function
-  | Var id -> Format.fprintf fmt "Var @[%a@]" Ident.pp id
+  | Var name -> Format.fprintf fmt "Var @[%a@]" Name.pp name
   | Check (tm, tp) -> Format.fprintf fmt "@[%a@] : @[%a@]" dump_expr tm dump_expr tp
   | Bool -> Format.pp_print_string fmt "Bool"
   | True -> Format.pp_print_string fmt "True"
-- 
cgit 1.4.1