KLIC to FLAT KL1 CONVERTER


by

Eiji Sugino、Haruo Yokota at JAIST (Japan Advanced Institute of Science and Technology, Hokuriku)



[Function]

This program converts KL1 programs included macro description into almost flat KL1 programs.

[Files]

expand/
README.j
README.e
README-j.html
README-e.html
Makefile
diff.kl1
kl1cmp.kl1
kl1cmp0.kl1
macro.kl1
main.kl1
obj.kl1
util.kl1
write.kl1
difftest
test

[Installation]

1) Modify the Makefile if necessary

2) Do 'make all' and you get 'kl1expand'

[Usage]

Converted programs are put to Standard-Output.

1) You can put programs as file-name

% kl1expand File1 File2 ...
Attention) File names should be '***.kl1'.

2) You can put programs from Standard-Input

% cat hogehoge.kl1 | kl1expand user
Attention) You should put 'user' as file name.

[Attention:]

This program is made from KLIC compiler, so

・ OR-condition in guard part is not expanded.

ex. head :- (guard1 ; guard2) | body.

・ Commands after the module declaration are put at the last after clauses.

・ Commands before the module declaration are put at the beggining before the module declaration.


sugino@jaist.ac.jp