rename Ident -> Name

2 files changed, 6 insertions, 6 deletions

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"
diff --git a/src/ast/dune b/src/ast/dune
index 072fe89..e3761bb 100644
--- a/src/ast/dune
+++ b/src/ast/dune
@@ -1,4 +1,4 @@
 (library
  (name Ast)
  (public_name toytt.ast)
- (libraries asai toytt.ident))
+ (libraries asai toytt.name))