File: pr-8742.ch

package info (click to toggle)
gnat-gdb 5.3.gnat.0.0.20030225-8
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 75,144 kB
  • ctags: 101,348
  • sloc: ansic: 873,511; exp: 46,950; sh: 16,123; makefile: 11,757; yacc: 6,092; asm: 5,027; cpp: 4,044; perl: 2,624; lex: 877; sed: 550; lisp: 394; awk: 170; pascal: 57; java: 7; fortran: 5
file content (32 lines) | stat: -rw-r--r-- 503 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
 
hugo : module
  
  synmode a = range(1:10);
  synmode p = powerset a;
  
  synmode s = set (sa, sb, sc);
  synmode s_ps = powerset s;
  
  x: proc (ps p);
    dcl i a;
    do for i in ps;
      writetext (stdout, "%C ", i);
    od;
    writetext(stdout, "%/");
  end x;
  
  y : proc (ps s_ps);
    dcl i s;
    do for i in ps;
      writetext (stdout, "%C ", i);
    od;
    writetext(stdout, "%/");
  end y;

  dummy: proc ();
  end dummy;
      
  x([1,2,3]);
  y([sa, sc]);
  dummy ();
  
end hugo;