From 0bec0a4bbaf4859bb4c7a2f1c4ecda60ccab72f2 Mon Sep 17 00:00:00 2001 From: Thomas Lively <7121787+tlively@users.noreply.github.com> Date: Fri, 15 Oct 2021 17:37:23 -0700 Subject: Add a --structural flag (#4252) Just as the --nominal flag forces all types to be parsed as nominal, the --structural flag forces all types to be parsed as equirecursive. This is the current default behavior, but a future PR will change the default to parse types as either structural or nominal according to their syntax or encoding. This new flag will then be necessary to get the current behavior. Also take this opportunity to deduplicate more flags in the help tests. --- test/lit/help/wasm-split.test | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) (limited to 'test/lit/help/wasm-split.test') diff --git a/test/lit/help/wasm-split.test b/test/lit/help/wasm-split.test index fe48e5e25..bb4acbd28 100644 --- a/test/lit/help/wasm-split.test +++ b/test/lit/help/wasm-split.test @@ -10,18 +10,7 @@ ;; Skip standard tool options -;; CHECK: --no-validation,-n Disables validation, assumes inputs are -;; CHECK-NEXT: correct -;; CHECK-NEXT: -;; CHECK-NEXT: --pass-arg,-pa An argument passed along to optimization -;; CHECK-NEXT: passes being run. Must be in the form -;; CHECK-NEXT: KEY@VALUE -;; CHECK-NEXT: -;; CHECK-NEXT: --nominal Use the prototype nominal type system -;; CHECK-NEXT: instead of the normal equirecursive type -;; CHECK-NEXT: system. -;; CHECK-NEXT: -;; CHECK-NEXT: --split Split an input module into two output +;; CHECK: --split Split an input module into two output ;; CHECK-NEXT: modules. The default mode. ;; CHECK-NEXT: ;; CHECK-NEXT: --instrument Instrument an input module to allow it to -- cgit v1.2.3