@@ -214,8 +214,8 @@ cmd xs = try $ do
214214noArgs :: Command -> String -> P.IdrisParser (Either String Command)
215215noArgs cmd name = do
216216 let emptyArgs = do
217− eof
218− return (Right cmd)
217+ eof
218+ return (Right cmd)
219219
220220 let failure = return (Left $ ":" ++ name ++ " takes no arguments")
221221
@@ -229,17 +229,17 @@ eval = do
229229exprArg :: (PTerm -> Command) -> String -> P.IdrisParser (Either String Command)
230230exprArg cmd name = do
231231 let noArg = do
232− eof
233− return $ Left ("Usage is :" ++ name ++ " <expression>")
232+ eof
233+ return $ Left ("Usage is :" ++ name ++ " <expression>")
234234
235235 let justOperator = do
236− (op, fc) <- P.operatorFC
237− eof
238− return $ Right $ cmd (PRef fc [] (sUN op))
236+ (op, fc) <- P.operatorFC
237+ eof
238+ return $ Right $ cmd (PRef fc [] (sUN op))
239239
240240 let properArg = do
241− t <- P.fullExpr defaultSyntax
242− return $ Right (cmd t)
241+ t <- P.fullExpr defaultSyntax
242+ return $ Right (cmd t)
243243 try noArg <|> try justOperator <|> properArg
244244
245245
@@ -279,10 +279,10 @@ optArg cmd name = do
279279 return $ Left ("Usage is :" ++ name ++ " <option>")
280280
281281 let oneArg = do
282− o <- pOption
283− P.whiteSpace
284− eof
285− return (Right (cmd o))
282+ o <- pOption
283+ P.whiteSpace
284+ eof
285+ return (Right (cmd o))
286286
287287 let failure = return $ Left "Unrecognized setting"
288288
@@ -304,14 +304,14 @@ proofArg cmd name = do
304304cmd_doc :: String -> P.IdrisParser (Either String Command)
305305cmd_doc name = do
306306 let constant = do
307− c <- fmap fst P.constant
308− eof
309− return $ Right (DocStr (Right c) FullDocs)
307+ c <- fmap fst P.constant
308+ eof
309+ return $ Right (DocStr (Right c) FullDocs)
310310
311311 let pType = do
312− P.reserved "Type"
313− eof
314− return $ Right (DocStr (Left $ P.mkName ("Type", "")) FullDocs)
312+ P.reserved "Type"
313+ eof
314+ return $ Right (DocStr (Left $ P.mkName ("Type", "")) FullDocs)
315315
316316 let fnName = fnNameArg (\n -> DocStr (Left n) FullDocs) name
317317
@@ -380,17 +380,17 @@ cmd_compile name = do
380380 bytecodeCodegen <|> viaCodegen
381381
382382 let hasOneArg = do
383− i <- get
384− f <- fst <$> P.identifier
385− eof
386− return $ Right (Compile defaultCodegen f)
383+ i <- get
384+ f <- fst <$> P.identifier
385+ eof
386+ return $ Right (Compile defaultCodegen f)
387387
388388 let hasTwoArgs = do
389− i <- get
390− codegen <- codegenOption
391− f <- fst <$> P.identifier
392− eof
393− return $ Right (Compile codegen f)
389+ i <- get
390+ codegen <- codegenOption
391+ f <- fst <$> P.identifier
392+ eof
393+ return $ Right (Compile codegen f)
394394
395395 let failure = return $ Left $ "Usage is :" ++ name ++ " [<codegen>] <filename>"
396396 try hasTwoArgs <|> try hasOneArg <|> failure