分割コンパイルができるようになった
export/import/external宣言を実装した.
(% test.rl %) export type hoge : A | B (int) ; export plus: (x, y) { return x + y; };
みたいなコードをコンパイルするとヘッダファイルが自動生成される.
(% test.rli generated by rlc1 %) type hoge : A | B (int) ; external plus! (int,int) -> int;
で、
import test;
とか書いてimportする。多相関数とかいろいろ未実装。