997a982 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Added --total and --partial command line options

commit997a982de280a8cb864c7516e72e23c15a97241d authorEdwin Brady <ecb10@st-andrews.ac.uk> dateMon 22 Oct 2012, 15:19 (14 years ago) parent7b2bf5e

2 files changed+6

unifiedsplit

src/Idris/AbsSyntaxTree.hs+2

@@ -173,6 +173,8 @@ data Opt = Filename String

173173 | NewOutput String

174174 | TypeCase

175175 | TypeInType

176+ | DefaultTotal

177+ | DefaultPartial

176178 | NoCoverage

177179 | ErrContext

178180 | ShowImpl

src/Idris/REPL.hs+4

@@ -399,6 +399,8 @@ parseArgs ("-o":n:ns) = NoREPL : Output n : (parseArgs ns)

399399parseArgs ("-no":n:ns) = NoREPL : NewOutput n : (parseArgs ns)

400400parseArgs ("--typecase":ns) = TypeCase : (parseArgs ns)

401401parseArgs ("--typeintype":ns) = TypeInType : (parseArgs ns)

402+parseArgs ("--total":ns) = DefaultTotal : (parseArgs ns)

403+parseArgs ("--partial":ns) = DefaultPartial : (parseArgs ns)

402404parseArgs ("--nocoverage":ns) = NoCoverage : (parseArgs ns)

403405parseArgs ("--errorcontext":ns) = ErrContext : (parseArgs ns)

404406parseArgs ("--help":ns) = Usage : (parseArgs ns)

@@ -461,6 +463,8 @@ idrisMain opts =

461463 let bcs = opt getBC opts

462464 let vm = opt getFOVM opts

463465 let pkgdirs = opt getPkgDir opts

466+ when (DefaultTotal `elem` opts) $ do i <- get

467+ put (i { default_total = True })

464468 setREPL runrepl

465469 setVerbose runrepl

466470 setCmdLine opts