git.iko.soy/Idris-dev
on master help sign in
Add missing case in needsBigInt in JS back end
df13cbcEdwin Brady
src/IRTS/CodegenJavaScript.hs+4
compare with master
unifiedsplit
@@ -57,6 +57,10 @@ initCompileInfo bc =
57 || (or $ map (needsBigInt . snd) c)
57 || (or $ map (needsBigInt . snd) c)
58 || (or $ map (testConstForBigInt . fst) c)
58 || (or $ map (testConstForBigInt . fst) c)
59
59
60+ testBCForBigInt (CASE _ _ c d) =
61+ maybe False needsBigInt d
62+ || (or $ map (needsBigInt . snd) c)
63+
60 testBCForBigInt _ = False
64 testBCForBigInt _ = False
61
65
62 testConstForBigInt :: Const -> Bool
66 testConstForBigInt :: Const -> Bool