From 1855cb21dfe812dbd0a694651e1295e8a089b35c Mon Sep 17 00:00:00 2001 From: Roman Volosatovs Date: Thu, 18 Apr 2024 17:57:21 +0200 Subject: [PATCH 1/2] fix type checking WAT example Signed-off-by: Roman Volosatovs --- design/mvp/Explainer.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/design/mvp/Explainer.md b/design/mvp/Explainer.md index aabc221e..d7fc402a 100644 --- a/design/mvp/Explainer.md +++ b/design/mvp/Explainer.md @@ -824,11 +824,11 @@ example, in the following compound component: (type $ListListString1 (list $ListString1)) (type $ListListString2 (list $ListString1)) (component $B - (type $ListString3 (list string)) - (type $ListListString3 (list $ListString3)) - (type $ListString4 (alias outer $A $ListString)) - (type $ListListString4 (list $ListString4)) - (type $ListListString5 (alias outer $A $ListString2)) + (type $ListString2 (list string)) + (type $ListListString3 (list $ListString2)) + (type $ListString3 (alias outer $A $ListString1)) + (type $ListListString4 (list $ListString3)) + (type $ListListString5 (alias outer $A $ListListString1)) ) ) ``` From 6facb3f2bc2d6fa7c8415ace66f68f9a321c5841 Mon Sep 17 00:00:00 2001 From: Roman Volosatovs Date: Thu, 18 Apr 2024 18:53:32 +0200 Subject: [PATCH 2/2] add missing closing parenthesis in WAT Signed-off-by: Roman Volosatovs --- design/mvp/Explainer.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/design/mvp/Explainer.md b/design/mvp/Explainer.md index d7fc402a..10955764 100644 --- a/design/mvp/Explainer.md +++ b/design/mvp/Explainer.md @@ -1043,7 +1043,7 @@ bound. ```wasm (component (type $r (resource (rep i32))) - (export "r1" (type $r) + (export "r1" (type $r)) (export "r2" (type $r) (type (sub resource))) ) ```