git.iko.soy/Idris-dev
on master help sign in
javascript: bigint compare
39c45f9raichoo
src/IRTS/CodegenJavaScript.hs+1−1
compare with master
unifiedsplit
@@ -472,7 +472,7 @@ translateCase var (SConstCase ty e)
472 matchHelper tyName = translateTypeMatch var tyName e
472 matchHelper tyName = translateTypeMatch var tyName e
473
473
474translateCase var (SConstCase cst@(BI _) e) =
474translateCase var (SConstCase cst@(BI _) e) =
475− let cond = var ++ ".equals(" ++ translateConstant cst ++ ")" in
475+ let cond = "__IDRRT__.bigInt(" ++ var ++ ").equals(" ++ translateConstant cst ++ ")" in
476 createIfBlock cond (translateExpression e)
476 createIfBlock cond (translateExpression e)
477
477
478translateCase var (SConstCase cst e) =
478translateCase var (SConstCase cst e) =