Merge pull request #119 from rajdakin/rec-tag-fix

Fixed tags with recursive type definitions

Author: rossberg

interpreter/valid/valid.ml

@@ -205,7 +205,7 @@ let check_memory_type (c : context) (mt : memory_type) at =
 
 let check_tag_type (c : context) (et : tag_type) at =
   match et with
-  | TagT dt -> check_func_type c (as_func_str_type (expand_def_type dt)) at
+  | TagT dt -> let _ft = as_func_str_type (expand_def_type dt) in ()
 
 let check_global_type (c : context) (gt : global_type) at =
   let GlobalT (_mut, t) = gt in

test/core/tag.wast

@@ -21,6 +21,14 @@
 ;;   "non-empty tag result type"
 ;; )
 
+;; Mutually recursive types
+(module
+  (rec
+    (type $f (func (param (ref null $c))))
+    (type $c (cont $f))
+  )
+  (tag (type $f))
+)
 
 ;; Link-time typing