From 91b62577f9b9ea7b07bf29d1270a2b8498ed7955 Mon Sep 17 00:00:00 2001 From: Matheus Cardoso Date: Sat, 17 Jun 2023 20:05:29 -0300 Subject: [PATCH 1/2] Fix interface grammar in top-level use --- design/mvp/WIT.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/design/mvp/WIT.md b/design/mvp/WIT.md index cbd51b36..92737c83 100644 --- a/design/mvp/WIT.md +++ b/design/mvp/WIT.md @@ -747,7 +747,7 @@ convenience: toplevel-use-item ::= 'use' interface ('as' id)? interface ::= id - | id ':' id '/' id ('@' integer '.' integer) + | id ':' id '/' id ('@' version)? ``` Here `interface` is the ID used to refer to interfaces. The bare form `id` From 8a65664de93fa781c3f03be68a8d4175fe6f04e4 Mon Sep 17 00:00:00 2001 From: Matheus Cardoso Date: Wed, 21 Jun 2023 21:28:04 -0300 Subject: [PATCH 2/2] Update version to valid-semver in interface grammar --- design/mvp/WIT.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/design/mvp/WIT.md b/design/mvp/WIT.md index ef1d6c65..880aa0ee 100644 --- a/design/mvp/WIT.md +++ b/design/mvp/WIT.md @@ -744,7 +744,7 @@ convenience: toplevel-use-item ::= 'use' interface ('as' id)? interface ::= id - | id ':' id '/' id ('@' version)? + | id ':' id '/' id ('@' valid-semver)? ``` Here `interface` is the ID used to refer to interfaces. The bare form `id`