accepts most existing code; need to let-bind actor refs

dfinity · Nov 21, 2024 · 8b941e2 · 8b941e2
1 parent c7731f3
commit 8b941e2
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/doc/md/examples/grammar.txt b/doc/md/examples/grammar.txt
@@ -153,8 +153,10 @@
     '<>>='
     '@='
 
+
 <ob_actor> ::= 
     <exp_obj>
+    '(' 'actor' <exp_plain> (':' <typ>)? ')'
     'actor' <exp_plain>
 
 <exp_obj> ::= 

diff --git a/src/mo_frontend/parser.mly b/src/mo_frontend/parser.mly
@@ -1,3 +1,4 @@
+
 %{
 open Mo_def
 open Mo_types
@@ -578,13 +579,20 @@ lit :
   | CATASSIGN { CatOp }
 
 
-bl : DISALLOWED { PrimE("dummy") @? at $sloc }
+bl :// DISALLOWED { PrimE("dummy") @? at $sloc }
+  | LPAR ACTOR e=exp_plain t=annot_opt RPAR
+    { annot_exp  (ActorUrlE e @? at $sloc) t }
+  | ACTOR e=exp_plain
+    { ActorUrlE e @? at $sloc }
 
+(*   { ActorUrlE e @? at $sloc } *)
 %public ob :
   | e=exp_obj { e }
 
 %public ob_actor :
   | e=exp_obj { e }
+  | LPAR ACTOR e=exp_plain t=annot_opt RPAR
+    { annot_exp  (ActorUrlE e @? at $sloc) t  }
   | ACTOR e=exp_plain
     { ActorUrlE e @? at $sloc }