blob: 7ceca9779be6a7a5a062d1a7b638d71994280f99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
func add(x:Int, y:Int -> Int)
return x + y
func cached_heap(x:Int->@Int; cached)
return @x
func main()
>> add(3, 5)
= 8
assert cached_heap(1) == cached_heap(1)
assert cached_heap(1) != cached_heap(2)
|