git.iko.soy/Idris-dev
on master help sign in
javascript: removeIDs should remove nested identities
3e286a3raichoo
src/IRTS/CodegenJavaScript.hs+3−3
compare with master
unifiedsplit
@@ -740,17 +740,17 @@ removeIDs js =
740 JSReturn (JSApp (JSIdent fun) args)
740 JSReturn (JSApp (JSIdent fun) args)
741 )])
741 )])
742 | Just pos <- lookup fun ids
742 | Just pos <- lookup fun ids
743− , pos < length args = args !! pos
743+ , pos < length args = removeIDCall ids (args !! pos)
744
744
745 removeIDCall ids (JSNew _ [JSFunction [] (
745 removeIDCall ids (JSNew _ [JSFunction [] (
746 JSReturn (JSApp (JSIdent fun) args)
746 JSReturn (JSApp (JSIdent fun) args)
747 )])
747 )])
748 | Just pos <- lookup fun ids
748 | Just pos <- lookup fun ids
749− , pos < length args = args !! pos
749+ , pos < length args = removeIDCall ids (args !! pos)
750
750
751 removeIDCall ids js@(JSApp id@(JSIdent fun) args)
751 removeIDCall ids js@(JSApp id@(JSIdent fun) args)
752 | Just pos <- lookup fun ids
752 | Just pos <- lookup fun ids
753− , pos < length args = args !! pos
753+ , pos < length args = removeIDCall ids (args !! pos)
754
754
755 removeIDCall ids js = transformJS (removeIDCall ids) js
755 removeIDCall ids js = transformJS (removeIDCall ids) js
756
756