git.iko.soy/Idris-dev
on master help sign in
javascript: inline more constructors
4f4aea2raichoo
src/IRTS/CodegenJavaScript.hs+7−2
compare with master
unifiedsplit
@@ -606,11 +606,16 @@ inlineFunctions js =
606 where
606 where
607 inlineAble' :: JS -> Maybe JS
607 inlineAble' :: JS -> Maybe JS
608 inlineAble' (
608 inlineAble' (
609− JSReturn js@(JSNew "__IDRRT__Con" [JSNum _, JSArray [JSIdent _]])
609+ JSReturn js@(JSNew "__IDRRT__Con" [JSNum _, JSArray vals])
610− ) = Just js
610+ )
611+ | and $ map isJSIdent vals = Just js
611
612
612 inlineAble' _ = Nothing
613 inlineAble' _ = Nothing
613
614
615+ isJSIdent js
616+ | JSIdent _ <- js = True
617+ | otherwise = False
618+
614 inlineAble _ _ _ _ = Nothing
619 inlineAble _ _ _ _ = Nothing
615
620
616
621