Project

General

Profile

Revision b3381ae8 test/src/arrays_arnaud/generic2.lus

View differences:

test/src/arrays_arnaud/generic2.lus
1
const PI = 3;
1
#open "dummy_lib"
2 2

  
3
imported node imp1(const m:int; a:int^(PI*m)) returns (c:int^m);
3
const PI = 3;
4 4

  
5
imported node imp2(const n:int; a:int^n) returns (d:int^n);
6 5
    
7 6
node base(const p:int; x:int^(PI*p)) returns (y:int^p)
8 7
var z:int^(PI*p)^2;

Also available in: Unified diff