Contents

(type u32 (primitive u32))
(type A (enum
  (A1 (x B) (y B))))
(type B (enum
  (B1 (x u32))
  (B2 (x u32))))

(decl A2B (A) B)

(rule 1
  (A2B (A.A1 _ (B.B1 x)))
  (B.B1 x))

(rule 0
  (A2B (A.A1 (B.B1 x) _))
  (B.B1 x))

(rule 0
  (A2B (A.A1 (B.B2 x) _))
  (B.B1 x))

(rule -1
  (A2B (A.A1 _ _))
  (B.B1 42))

Version data entries

36 entries across 36 versions & 1 rubygems

Version	Path
wasmtime-27.0.0	./ext/cargo-vendor/cranelift-isle-0.114.0/isle_examples/pass/test2.isle
wasmtime-26.0.0	./ext/cargo-vendor/cranelift-isle-0.113.0/isle_examples/pass/test2.isle
wasmtime-25.0.2	./ext/cargo-vendor/cranelift-isle-0.112.2/isle_examples/pass/test2.isle
wasmtime-25.0.1	./ext/cargo-vendor/cranelift-isle-0.112.1/isle_examples/pass/test2.isle
wasmtime-25.0.0	./ext/cargo-vendor/cranelift-isle-0.112.0/isle_examples/pass/test2.isle
wasmtime-24.0.0	./ext/cargo-vendor/cranelift-isle-0.111.0/isle_examples/pass/test2.isle
wasmtime-23.0.2	./ext/cargo-vendor/cranelift-isle-0.110.2/isle_examples/pass/test2.isle
wasmtime-22.0.0	./ext/cargo-vendor/cranelift-isle-0.109.0/isle_examples/pass/test2.isle
wasmtime-21.0.1	./ext/cargo-vendor/cranelift-isle-0.108.1/isle_examples/pass/test2.isle
wasmtime-20.0.2	./ext/cargo-vendor/cranelift-isle-0.107.2/isle_examples/pass/test2.isle
wasmtime-20.0.0	./ext/cargo-vendor/cranelift-isle-0.107.2/isle_examples/pass/test2.isle
wasmtime-18.0.3	./ext/cargo-vendor/cranelift-isle-0.105.3/isle_examples/pass/test2.isle
wasmtime-17.0.1	./ext/cargo-vendor/cranelift-isle-0.104.1/isle_examples/pass/test2.isle
wasmtime-17.0.0	./ext/cargo-vendor/cranelift-isle-0.104.0/isle_examples/pass/test2.isle
wasmtime-16.0.0	./ext/cargo-vendor/cranelift-isle-0.103.0/isle_examples/pass/test2.isle
wasmtime-15.0.1	./ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/pass/test2.isle
wasmtime-15.0.0	./ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/pass/test2.isle
wasmtime-14.0.4	./ext/cargo-vendor/cranelift-isle-0.101.4/isle_examples/pass/test2.isle
wasmtime-14.0.3	./ext/cargo-vendor/cranelift-isle-0.101.4/isle_examples/pass/test2.isle
wasmtime-14.0.1	./ext/cargo-vendor/cranelift-isle-0.101.1/isle_examples/pass/test2.isle