diff options
| author | Malte Voos <git@mal.tc> | 2024-07-09 00:18:52 +0200 |
|---|---|---|
| committer | Malte Voos <git@mal.tc> | 2024-07-09 00:18:52 +0200 |
| commit | 91ae576296df72defa2bb9369ac1cfe719f6f9cf (patch) | |
| tree | e0bb1fa34b968a0171f2ad57832322dd6cece3e8 /src/ast | |
| parent | 3cf472b13c9b329b711a5c254fc6f89268a99eda (diff) | |
| download | toytt-main.tar.gz toytt-main.zip | |
Diffstat (limited to 'src/ast')
| -rw-r--r-- | src/ast/Ast.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/ast/Ast.ml b/src/ast/Ast.ml index bbf3e93..3e87776 100644 --- a/src/ast/Ast.ml +++ b/src/ast/Ast.ml @@ -1,4 +1,4 @@ -type ident = Name.t Asai.Range.located +type name = Name.t Asai.Range.located type local_name = Name.local Asai.Range.located type arg = local_name * expr @@ -31,7 +31,7 @@ and expr = raw_expr Asai.Range.located type item = | Def of { - name : ident; + name : name; args : arg List.t; tp : expr; tm : expr; @@ -39,7 +39,7 @@ type item = type file = item List.t -let dump_ident fmt ({ value; _ } : ident) = Name.pp fmt value +let dump_name fmt ({ value; _ } : name) = Name.pp fmt value let dump_local_name fmt ({ value; _ } : local_name) = match value with | Some name -> Format.pp_print_string fmt name |