Minor grammar tweak

WebAssembly · Feb 19, 2021 · e10edf6 · e10edf6
1 parent a44c070
commit e10edf6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/interpreter/text/parser.mly b/interpreter/text/parser.mly
@@ -318,6 +318,8 @@ cont_type :
   | cont_type_params
     /* TODO: the inline type is broken for now */
     { let at = at () in fun c -> inline_func_type c ($1 c) at }
+  | var  /* Sugar */
+    { fun c -> $1 c type_ }
 
 cont_type_params :
   | LPAR PARAM value_type_list RPAR cont_type_params

diff --git a/test/core/cont.wast b/test/core/cont.wast
@@ -3,7 +3,7 @@
   (event $e2)
 
   (type $f1 (func))
-  (type $k1 (cont (type $f1)))
+  (type $k1 (cont $f1))
 
   (func $f1 (export "unhandled-1")
     (cont.suspend $e1)
@@ -36,7 +36,7 @@
   (event $set (param i32) (result i32))
 
   (type $f (func (param i32) (result i32)))
-  (type $k (cont (type $f)))
+  (type $k (cont $f))
 
   (func $runner (param $s i32) (param $k (ref $k)) (result i32)
     (loop $loop