Contents

(type u32 (primitive u32))
(type u64 (primitive u64))

(decl A (u32 u64) u32)

(rule 1 (A x x) x)
(rule 0 (A x _) 0)

Version data entries

36 entries across 36 versions & 1 rubygems

Version	Path
wasmtime-14.0.0	./ext/cargo-vendor/cranelift-isle-0.101.1/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-13.0.0	./ext/cargo-vendor/cranelift-isle-0.100.0/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-12.0.1	./ext/cargo-vendor/cranelift-isle-0.99.1/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-12.0.0	./ext/cargo-vendor/cranelift-isle-0.99.1/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-11.0.0	./ext/cargo-vendor/cranelift-isle-0.98.1/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-10.0.1	./ext/cargo-vendor/cranelift-isle-0.97.1/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-10.0.0	./ext/cargo-vendor/cranelift-isle-0.97.1/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-9.0.4	./ext/cargo-vendor/cranelift-isle-0.96.4/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-9.0.1	./ext/cargo-vendor/cranelift-isle-0.96.1/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-8.0.0	./ext/cargo-vendor/cranelift-isle-0.95.0/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-7.0.0	./ext/cargo-vendor/cranelift-isle-0.94.0/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-6.0.1	./ext/cargo-vendor/cranelift-isle-0.93.1/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-6.0.0	./ext/cargo-vendor/cranelift-isle-0.93.0/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-5.0.0	./ext/cargo-vendor/cranelift-isle-0.92.0/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-0.4.1	./ext/cargo-vendor/cranelift-isle-0.91.0/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-0.4.0	./ext/cargo-vendor/cranelift-isle-0.91.0/isle_examples/fail/bound_var_type_mismatch.isle