git.iko.soy/Idris-dev
on master help sign in
whitespaces
f5cad0draichoo
src/IRTS/CodegenJavaScript.hs+2−2
compare with master
unifiedsplit
@@ -780,7 +780,7 @@ translateConstant c =
780
780
781translateDeclaration :: (String, SDecl) -> JS
781translateDeclaration :: (String, SDecl) -> JS
782translateDeclaration (path, SFun name params stackSize body)
782translateDeclaration (path, SFun name params stackSize body)
783− | (MN _ ap) <- name
783+ | (MN _ ap) <- name
784 , (SLet var val next) <- body
784 , (SLet var val next) <- body
785 , (SChkCase cvar cases) <- next
785 , (SChkCase cvar cases) <- next
786 , ap == txt "APPLY" =
786 , ap == txt "APPLY" =
@@ -802,7 +802,7 @@ translateDeclaration (path, SFun name params stackSize body)
802 )
802 )
803 ]
803 ]
804
804
805− | (MN _ ev) <- name
805+ | (MN _ ev) <- name
806 , (SChkCase var cases) <- body
806 , (SChkCase var cases) <- body
807 , ev == txt "EVAL" =
807 , ev == txt "EVAL" =
808 JSSeq [ lookupTable [] var cases
808 JSSeq [ lookupTable [] var cases