@@ -33,7 +33,7 @@ codegenJavaScript definitions filename outputType =
34 mainLoop :: String
34 mainLoop :: String
35 mainLoop = intercalate "\n" [ "\nfunction main() {"
35 mainLoop = intercalate "\n" [ "\nfunction main() {"
36− , createTrampoline "Main.main()" ++ ";"
36+ , createTrampoline "__IDR__.runMain0()" ++ ";"
37 , "}\n\nmain();\n"
37 , "}\n\nmain();\n"