[Optparse] Browse, lint interactive commands
This commit is contained in:
parent
cdaf586941
commit
80f8e0bb99
@ -153,6 +153,7 @@ legacyInteractiveLoop symdbreq world = do
|
|||||||
|
|
||||||
res <- flip gcatches interactiveHandlers $ case dropWhileEnd isSpace cmd of
|
res <- flip gcatches interactiveHandlers $ case dropWhileEnd isSpace cmd of
|
||||||
"check" -> checkSyntax [arg]
|
"check" -> checkSyntax [arg]
|
||||||
|
"lint" -> lint defaultLintOpts arg
|
||||||
"find" -> do
|
"find" -> do
|
||||||
db <- getDb symdbreq >>= checkDb symdbreq
|
db <- getDb symdbreq >>= checkDb symdbreq
|
||||||
lookupSymbol arg db
|
lookupSymbol arg db
|
||||||
@ -166,6 +167,7 @@ legacyInteractiveLoop symdbreq world = do
|
|||||||
"refine" -> locArgs' refine args
|
"refine" -> locArgs' refine args
|
||||||
|
|
||||||
"boot" -> boot
|
"boot" -> boot
|
||||||
|
"browse" -> concat <$> browse defaultBrowseOpts `mapM` args
|
||||||
|
|
||||||
"map-file" -> liftIO getFileSourceFromStdin
|
"map-file" -> liftIO getFileSourceFromStdin
|
||||||
>>= loadMappedFileSource arg
|
>>= loadMappedFileSource arg
|
||||||
|
Loading…
Reference in New Issue
Block a user