2023-12-04 19:33:10 -05:00
|
|
|
%%
|
|
|
|
"func" { printf("int"); }
|
|
|
|
|
|
|
|
local { printf("static"); }
|
|
|
|
|
|
|
|
"import" { printf("#include"); }
|
|
|
|
|
|
|
|
"str" { printf("char"); }
|
|
|
|
|
2024-02-06 09:29:19 -05:00
|
|
|
/*** Library declarations ***/
|
|
|
|
|
|
|
|
/* ioutils */
|
2023-12-04 19:33:10 -05:00
|
|
|
|
|
|
|
"hell:std.ioutils" { printf("<stdio.h>"); }
|
|
|
|
"hell:std.ioutils.writeln" { printf("printf"); }
|
|
|
|
"hell:std.ioutils.readln" { printf("scanf"); }
|
2024-02-06 09:29:19 -05:00
|
|
|
|
|
|
|
/* keygen */
|
|
|
|
|
|
|
|
"hell:std.keygen" { printf("<hellkeygen.h>"); }
|
|
|
|
"hell:std.keygen.gen" { printf("keygen_gen"); }
|
|
|
|
|
|
|
|
/* rng */
|
|
|
|
|
|
|
|
"hell:std.rng" { printf("<hellrng.h"); }
|
|
|
|
"hell:std.rng.gen" { printf("rng_randint"); }
|