javascript: use runMain0 instead of main
commit58b10e1a15731b1000c075c29d3efbd5ede6d1bf
authorraichoo <raichoo@googlemail.com>
dateFri 11 Jan 2013, 20:42 (14 years ago)
parente1898cb
src/IRTS/CodegenJavaScript.hs+1−1
@@ -33,7 +33,7 @@ codegenJavaScript definitions filename outputType =
3333
3434 mainLoop :: String
3535 mainLoop = intercalate "\n" [ "\nfunction main() {"
36− , createTrampoline "Main.main()" ++ ";"
36+ , createTrampoline "__IDR__.runMain0()" ++ ";"
3737 , "}\n\nmain();\n"
3838 ]
3939