Sha256: 46fb8bb300b31081a5dcb5061efe21ee573c007b5b425bd51afd08c67293341e

Contents?: true

Size: 716 Bytes

Versions: 36

Compression:

Stored size: 716 Bytes

Contents

(type u64 (primitive u64))

(decl foo (u64) u64)
(rule (foo x) x)

;; Shadowing of a global name
(decl test1 (u64) u64)
(rule (test1 x)
      (let ((foo u64 x))
        foo))

;; Shadowing of a parameter
(decl test2 (u64) u64)
(rule (test2 x)
      (let ((x u64 x))
        x))

;; Shadowing of this binding's name
(decl test3 (u64) u64)
(rule (test3 x)
      (let ((test3 u64 x))
        test3))

;; Shadowing another let-bound name
(decl test4 (u64) u64)
(rule (test4 x)
      (let ((val u64 x)
            (val u64 23))
        val))

;; Shadowing a global with a parameter name
(decl test5 (u64) u64)
(rule (test5 foo) foo)

;; Using a previously shadowed global
(decl test6 (u64) u64)
(rule (test6 x) (foo x))

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/run/let_shadowing.isle
wasmtime-26.0.0 ./ext/cargo-vendor/cranelift-isle-0.113.0/isle_examples/run/let_shadowing.isle
wasmtime-25.0.2 ./ext/cargo-vendor/cranelift-isle-0.112.2/isle_examples/run/let_shadowing.isle
wasmtime-25.0.1 ./ext/cargo-vendor/cranelift-isle-0.112.1/isle_examples/run/let_shadowing.isle
wasmtime-25.0.0 ./ext/cargo-vendor/cranelift-isle-0.112.0/isle_examples/run/let_shadowing.isle
wasmtime-24.0.0 ./ext/cargo-vendor/cranelift-isle-0.111.0/isle_examples/run/let_shadowing.isle
wasmtime-23.0.2 ./ext/cargo-vendor/cranelift-isle-0.110.2/isle_examples/run/let_shadowing.isle
wasmtime-22.0.0 ./ext/cargo-vendor/cranelift-isle-0.109.0/isle_examples/run/let_shadowing.isle
wasmtime-21.0.1 ./ext/cargo-vendor/cranelift-isle-0.108.1/isle_examples/run/let_shadowing.isle
wasmtime-20.0.2 ./ext/cargo-vendor/cranelift-isle-0.107.2/isle_examples/run/let_shadowing.isle
wasmtime-20.0.0 ./ext/cargo-vendor/cranelift-isle-0.107.2/isle_examples/run/let_shadowing.isle
wasmtime-18.0.3 ./ext/cargo-vendor/cranelift-isle-0.105.3/isle_examples/run/let_shadowing.isle
wasmtime-17.0.1 ./ext/cargo-vendor/cranelift-isle-0.104.1/isle_examples/run/let_shadowing.isle
wasmtime-17.0.0 ./ext/cargo-vendor/cranelift-isle-0.104.0/isle_examples/run/let_shadowing.isle
wasmtime-16.0.0 ./ext/cargo-vendor/cranelift-isle-0.103.0/isle_examples/run/let_shadowing.isle
wasmtime-15.0.1 ./ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/run/let_shadowing.isle
wasmtime-15.0.0 ./ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/run/let_shadowing.isle
wasmtime-14.0.4 ./ext/cargo-vendor/cranelift-isle-0.101.4/isle_examples/run/let_shadowing.isle
wasmtime-14.0.3 ./ext/cargo-vendor/cranelift-isle-0.101.4/isle_examples/run/let_shadowing.isle
wasmtime-14.0.1 ./ext/cargo-vendor/cranelift-isle-0.101.1/isle_examples/run/let_shadowing.isle