on master help sign in
Fix JS code generation
052e3beEdwin Brady
src/IRTS/CodegenC.hs+1−1
@@ -270,7 +270,7 @@ bcc i (FOREIGNCALL l LANG_C rty fn args)
270 (fn ++ "(" ++ showSep "," (map fcall args) ++ ")") ++ ";\n"
270 (fn ++ "(" ++ showSep "," (map fcall args) ++ ")") ++ ";\n"
271 where fcall (t, arg) = irts_c t (creg arg)
271 where fcall (t, arg) = irts_c t (creg arg)
272bcc i (NULL r) = indent i ++ creg r ++ " = NULL;\n" -- clear, so it'll be GCed
272bcc i (NULL r) = indent i ++ creg r ++ " = NULL;\n" -- clear, so it'll be GCed
273−bcc i (ERROR str) = indent i ++ "fprintf(stderr, " ++ show str ++ "); exit(-1); exit(-1);"
273+bcc i (ERROR str) = indent i ++ "fprintf(stderr, " ++ show str ++ "); fprintf(stderr, \"\\n\"); exit(-1); exit(-1);"
274-- bcc i _ = indent i ++ "// not done yet\n"
274-- bcc i _ = indent i ++ "// not done yet\n"
275
275
276
276
src/Idris/Elab/Clause.hs+1−1
@@ -210,7 +210,7 @@ elabClauses info' fc opts n_in cs =
210 else UnmatchedCase $ "*** " ++
210 else UnmatchedCase $ "*** " ++
211 show fc ++
211 show fc ++
212 ":unmatched case in " ++ show n ++
212 ":unmatched case in " ++ show n ++
213− " ***\n"
213+ " ***"
214
214
215 tree' <- tclift $ simpleCase tcase defaultcase reflect
215 tree' <- tclift $ simpleCase tcase defaultcase reflect
216 RunTime fc inacc atys pdef' erInfo
216 RunTime fc inacc atys pdef' erInfo