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

git.iko.soy/Idris-dev

Whitespace fix

commit5d4c45f886563d8563affb4f60c4eda0d67d5c2d authorDaniel Waterworth <Da.Waterworth@gmail.com> dateSun 2 Dec 2012, 08:38 (14 years ago) parentc4e7ba2

2 files changed+7−7

compare with master

unifiedsplit

src/Idris/REPL.hs+4−4 src/Main.hs+3−3

src/Idris/REPL.hs+4−4

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

510510 mapM_ makeOption opts

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

512512 case vm of

513− [] -> return ()

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

513+ [] -> return ()

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

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

516516 case bcs of

517− [] -> return ()

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

517+ [] -> return ()

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

519519 case ibcsubdir of

520520 [] -> setIBCSubDir ""

521521 (d:_) -> setIBCSubDir d

src/Main.hs+3−3

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

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

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

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

92− "\t--libdir Show library install directory and exit\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"

92+ "\t--libdir Show library install directory and exit\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"