git.iko.soy/Idris-dev
on master help sign in
Fix whitespace
c03398dJason Felice
src/IRTS/Compiler.hs+1−1
compare with master
unifiedsplit
@@ -508,7 +508,7 @@ doForeign vs env (ret : fname : world : args)
508 return (l', r')
508 return (l', r')
509 splitArg _ = ifail $ "Badly formed foreign function call: " ++
509 splitArg _ = ifail $ "Badly formed foreign function call: " ++
510 show (ret : fname : world : args)
510 show (ret : fname : world : args)
511−
511+
512
512
513 toFDesc (Constant (Str str)) = FStr str
513 toFDesc (Constant (Str str)) = FStr str
514 toFDesc tm
514 toFDesc tm