git.iko.soy/Idris-dev
on master help sign in
whitespace
2364435raichoo
src/IRTS/CodegenJavaScript.hs+2−1
compare with master
unifiedsplit
@@ -20,6 +20,7 @@ import Data.Maybe
20import System.IO
20import System.IO
21import System.Directory
21import System.Directory
22
22
23+
23idrNamespace :: String
24idrNamespace :: String
24idrNamespace = "__IDR__"
25idrNamespace = "__IDR__"
25idrRTNamespace = "__IDRRT__"
26idrRTNamespace = "__IDRRT__"
@@ -723,7 +724,7 @@ inlineFunctions js =
723 inlineHelper ([], js)
724 inlineHelper ([], js)
724 where
725 where
725 inlineHelper :: ([JS], [JS]) -> [JS]
726 inlineHelper :: ([JS], [JS]) -> [JS]
726− inlineHelper (front , (JSAlloc fun (Just (JSFunction args body))):back)
727+ inlineHelper (front , (JSAlloc fun (Just (JSFunction args body))):back)
727 | countAll fun front + countAll fun back == 0 =
728 | countAll fun front + countAll fun back == 0 =
728 inlineHelper (front, back)
729 inlineHelper (front, back)
729 | Just new <- inlineAble (
730 | Just new <- inlineAble (