Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / arrays_arnaud / generic3.lus @ b3381ae8

History | View | Annotate | Download (271 Bytes)

1
#open "dummy_lib"
2

    
3
const PI = 3;
4

    
5
  
6
node base(const p:int; x:int^(PI*p)) returns (y:int^p)
7
var z:int^(PI*p);
8
let
9
  z = imp2(PI*p, x);
10
  y = imp1(p, z);
11
tel
12

    
13
node top(a:int) returns (y:int)
14
var x;
15
let
16
  x = [a,1,2,3,4,5,6,7,8,9,10,11,12,13,14];
17
  y = base (5, x)[0];
18
tel