git.iko.soy/Idris-dev
on master help sign in
removed dead code return null after thwow for LError
3e44eeeRui Barreiro
src/IRTS/JavaScript/Codegen.hs+1−1
compare with master
unifiedsplit
@@ -387,7 +387,7 @@ cgBody rt (LOp op args) =
387 res <- cgOp op (map snd z)
387 res <- cgOp op (map snd z)
388 pure $ (concat $ map fst z, addRT rt $ res)
388 pure $ (concat $ map fst z, addRT rt $ res)
389cgBody rt LNothing = pure ([], addRT rt JsNull)
389cgBody rt LNothing = pure ([], addRT rt JsNull)
390−cgBody rt (LError x) = pure ([JsError $ JsStr x], addRT rt JsNull)
390+cgBody rt (LError x) = pure ([], JsError $ JsStr x)
391cgBody rt x@(LForeign dres (FStr code) args ) =
391cgBody rt x@(LForeign dres (FStr code) args ) =
392 do
392 do
393 z <- mapM (cgBody GetExpBT) (map snd args)
393 z <- mapM (cgBody GetExpBT) (map snd args)