githwxi/ATS-Postiats-contrib — pull request #8 by ashalkhakov (2014-08-16 09:52:16+00:00)
Title: ATS-paremit: adding dynload0 support.

Today I tried to test what ATS-paremit will output for a simple program:

staload _ = "prelude/DATS/integer.dats"

implement main0 (argc, argv) = let
val x = 10
val y = 15
val z = x + y
in
println!("z = ", z)
end // end of [main]

However, atsparemit would end up complaining about some EOF which isn't quite there. So, turned out that the utility didn't know of ATSdynload0 instruction. This is what this patch adds.