-
sof authored
Cleaned up the way the External Core front-end was integrated with the rest of the compiler; guided by detailed and helpful feedback from Simon PJ. Input files ending in ".hcr" are now assumed to contain external core -- still working on getting the renamer to slurp in interface files (implicitly) referred to in the Core source.
acc784b5