src/testsuite/interpreter/aw-272.input


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

++ Contributed by <unknown>
-- Issue: variables local to unnamed functions incorrectly handled.

f x == 
  a := 3 
  x + a

f 3


g := x +-> (x+2 ; x+a)

g 3

h := x +-> (a := 3 ; x+a)

h 3