@@ -209,9 +209,9 @@ parseFlags = many $
209 <|> flag' (AddOpt PETransform) (long "partial-eval")
209 <|> flag' (AddOpt PETransform) (long "partial-eval")
210 <|> flag' (RemoveOpt PETransform) (long "no-partial-eval" <> help "Switch off partial evaluation, mainly for debugging purposes")
210 <|> flag' (RemoveOpt PETransform) (long "no-partial-eval" <> help "Switch off partial evaluation, mainly for debugging purposes")
212− <|> flag' (AddOpt GeneralisedNatHack) (long "generalised-nat-hack"
212+ <|> flag' (AddOpt GeneralisedNatHack) (long "opt-nat-likes"
213 <> help "Enable compilation of Nat-like types to bigints")
213 <> 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"
215 <> help "Disable compilation of Nat-like types to bigints")
215 <> help "Disable compilation of Nat-like types to bigints")
217 <|> OptLevel <$> option auto (short 'O' <> long "level")
217 <|> OptLevel <$> option auto (short 'O' <> long "level")