diff options
Diffstat (limited to 'src/ast/Ast.ml')
-rw-r--r-- | src/ast/Ast.ml | 10 |
1 files changed, 5 insertions, 5 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" |