c899bcf · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Rename --generalised-nat-hack to --opt-nat-likes.

commitc899bcf88cd6d1e2abbbf3f386b2a61cc24591a1 authorMatus Tejiscak <ziman@functor.sk> dateThu 4 Apr 2019, 17:18 (8 years ago) parentf2ee9e9

1 file changed+2−2

unifiedsplit

src/Idris/CmdOptions.hs+2−2

@@ -209,9 +209,9 @@ parseFlags = many $

209209 <|> flag' (AddOpt PETransform) (long "partial-eval")

210210 <|> flag' (RemoveOpt PETransform) (long "no-partial-eval" <> help "Switch off partial evaluation, mainly for debugging purposes")

211211

212− <|> flag' (AddOpt GeneralisedNatHack) (long "generalised-nat-hack"

212+ <|> flag' (AddOpt GeneralisedNatHack) (long "opt-nat-likes"

213213 <> help "Enable compilation of Nat-like types to bigints")

214− <|> flag' (RemoveOpt GeneralisedNatHack) (long "no-generalised-nat-hack"

214+ <|> flag' (RemoveOpt GeneralisedNatHack) (long "no-opt-nat-likes"

215215 <> help "Disable compilation of Nat-like types to bigints")

216216

217217 <|> OptLevel <$> option auto (short 'O' <> long "level")