@@ -399,6 +399,8 @@ parseArgs ("-o":n:ns) = NoREPL : Output n : (parseArgs ns)
399parseArgs ("-no":n:ns) = NoREPL : NewOutput n : (parseArgs ns)
399parseArgs ("-no":n:ns) = NoREPL : NewOutput n : (parseArgs ns)
400parseArgs ("--typecase":ns) = TypeCase : (parseArgs ns)
400parseArgs ("--typecase":ns) = TypeCase : (parseArgs ns)
401parseArgs ("--typeintype":ns) = TypeInType : (parseArgs ns)
401parseArgs ("--typeintype":ns) = TypeInType : (parseArgs ns)
402+parseArgs ("--total":ns) = DefaultTotal : (parseArgs ns)
403+parseArgs ("--partial":ns) = DefaultPartial : (parseArgs ns)
402parseArgs ("--nocoverage":ns) = NoCoverage : (parseArgs ns)
404parseArgs ("--nocoverage":ns) = NoCoverage : (parseArgs ns)
403parseArgs ("--errorcontext":ns) = ErrContext : (parseArgs ns)
405parseArgs ("--errorcontext":ns) = ErrContext : (parseArgs ns)
404parseArgs ("--help":ns) = Usage : (parseArgs ns)
406parseArgs ("--help":ns) = Usage : (parseArgs ns)
@@ -461,6 +463,8 @@ idrisMain opts =
461 let bcs = opt getBC opts
463 let bcs = opt getBC opts
462 let vm = opt getFOVM opts
464 let vm = opt getFOVM opts
463 let pkgdirs = opt getPkgDir opts
465 let pkgdirs = opt getPkgDir opts
466+ when (DefaultTotal `elem` opts) $ do i <- get
467+ put (i { default_total = True })
464 setREPL runrepl
468 setREPL runrepl
465 setVerbose runrepl
469 setVerbose runrepl
466 setCmdLine opts
470 setCmdLine opts