5d4c45f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Whitespace fix

5d4c45fDaniel Waterworth14 years ago

src/Idris/REPL.hs+4−4

@@ -510,12 +510,12 @@ idrisMain opts =

510 mapM_ makeOption opts

511 -- if we have the --fovm flag, drop into the first order VM testing

512 case vm of

513− [] -> return ()

513+ [] -> return ()

514− xs -> liftIO $ mapM_ (fovm tgt outty) xs

514+ xs -> liftIO $ mapM_ (fovm tgt outty) xs

515 -- if we have the --bytecode flag, drop into the bytecode assembler

516 case bcs of

517− [] -> return ()

517+ [] -> return ()

518− xs -> return () -- liftIO $ mapM_ bcAsm xs

518+ xs -> return () -- liftIO $ mapM_ bcAsm xs

519 case ibcsubdir of

520 [] -> setIBCSubDir ""

521 (d:_) -> setIBCSubDir d

src/Main.hs+3−3

@@ -89,6 +89,6 @@ usagemsg = "Idris version " ++ ver ++ "\n" ++

89 "\t--log [level] Set debugging log level\n" ++

90 "\t-S Do no further compilation of code generator output\n" ++

91 "\t-c Compile to object files rather than an executable\n" ++

92− "\t--libdir Show library install directory and exit\n" ++

92+ "\t--libdir Show library install directory and exit\n" ++

93− "\t--link Show C library directories and exit (for C linking)\n" ++

93+ "\t--link Show C library directories and exit (for C linking)\n" ++

94− "\t--include Show C include directories and exit (for C linking)\n"

94+ "\t--include Show C include directories and exit (for C linking)\n"