Remove the --hybrid and --nominal command line options (#5669)

After this change, the only type system usable from the tools will be the
standard isorecursive type system. The nominal type system is still usable via
the API, but it will be removed entirely in a follow-on PR.

1 files changed, 0 insertions, 26 deletions

diff --git a/test/lit/nominal-func.wast b/test/lit/nominal-func.wast
deleted file mode 100644
index 600b16bf6..000000000
--- a/test/lit/nominal-func.wast
+++ /dev/null
@@ -1,26 +0,0 @@
-;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
-;; RUN: wasm-opt %s -all --nominal -S -o - | filecheck %s
-;; RUN: wasm-opt %s -all --nominal --roundtrip -S -o - | filecheck %s
-
-(module
-  ;; This will be the "canonical" function type rather than $foo_t
-  (type $bad_t (func))
-
-  ;; CHECK:      (type $foo_t (func))
-  (type $foo_t (func))
-
-  ;; CHECK:      (func $foo (type $foo_t)
-  ;; CHECK-NEXT:  (unreachable)
-  ;; CHECK-NEXT: )
-  (func $foo (type $foo_t)
-    (unreachable)
-  )
-
-  ;; $foo needs to be assigned type foo_t rather than bad_t for this to validate.
-  ;; CHECK:      (func $make-ref (type $none_=>_ref|$foo_t|) (result (ref $foo_t))
-  ;; CHECK-NEXT:  (ref.func $foo)
-  ;; CHECK-NEXT: )
-  (func $make-ref (result (ref $foo_t))
-    (ref.func $foo)
-  )
-)