[revskill]

Can we read the source file from filesystem, then pass into type checker like this ?

[chii]

that sounds increasingly like a build-time macro system...