@@ -78,7 +78,7 @@ parseFlags = many $
7878 <|> flag' NoBasePkgs (long "nobasepkgs")
7979 <|> flag' NoPrelude (long "noprelude")
8080 <|> flag' NoBuiltins (long "nobuiltins")
81− <|> flag' NoREPL (long "check")
81+ <|> flag' NoREPL (long "check" <> help "Typecheck only, don't start the REPL")
8282 <|> (Output <$> strOption (short 'o' <> long "output" <> metavar "FILE" <> help "Specify output file"))
8383 <|> flag' TypeCase (long "typecase")
8484 <|> flag' TypeInType (long "typeintype")