OLD | NEW |
---|---|
1 var $8invalid$45chars$46in$43file_name; | 1 var misc; |
2 (function(exports) { | 2 (function(exports) { |
3 'use strict'; | 3 'use strict'; |
4 // Function main: () → dynamic | 4 // Function main: () → dynamic |
5 function main() { | 5 function main() { |
6 core.print((1).toString()); | |
7 core.print(1.0.toString()); | |
8 core.print(1.1.toString()); | |
6 } | 9 } |
7 // Exports: | 10 // Exports: |
8 exports.main = main; | 11 exports.main = main; |
9 })($8invalid$45chars$46in$43file_name || ($8invalid$45chars$46in$43file_name = { })); | 12 })(misc || (misc = {})); |
OLD | NEW |