Try with:
proc f():string {.compileTime.} =
echo "launch missiles!"
"hello world"
proc g(i:int) = echo i
g(f())
Run'launch missiles!' is written to the console even though the program doesn't type check.
