rename Ident -> Name part 2 main

1 files changed, 4 insertions, 4 deletions

diff --git a/src/parser/Grammar.mly b/src/parser/Grammar.mly
index 5e4886e..64f540d 100644
--- a/src/parser/Grammar.mly
+++ b/src/parser/Grammar.mly
@@ -25,10 +25,10 @@ open Ast
 %inline
 locate(X): e = X { Asai.Range.locate_lex ~source:(Eff.read()) $loc e }
 
-raw_ident: id = separated_nonempty_list(DOT, IDENT) { id }
+raw_name: id = separated_nonempty_list(DOT, IDENT) { id }
 
 %inline
-ident: id = locate(raw_ident) { id }
+name: name = locate(raw_name) { name }
 
 raw_local_name:
   | name = IDENT { Some name }
@@ -40,7 +40,7 @@ arg: LPR; name = local_name; COLON; tp = expr; RPR
 	{ (name, tp) }
 
 raw_expr:
-  | name = raw_ident
+  | name = raw_name
 	{ Var name }
   | LPR; e = raw_expr; RPR
 	{ e }
@@ -84,7 +84,7 @@ raw_expr:
 expr: e = locate(raw_expr) { e }
 
 item:
-  | DEF; name = ident; args = list(arg); COLON; tp = expr; ASSIGN; tm = expr
+  | DEF; name = name; args = list(arg); COLON; tp = expr; ASSIGN; tm = expr
     { Def { name; args; tp; tm } }
 
 file: items = list(item) { items }