674c214 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Merge pull request #3699 from jfdm/allow-highlight

674c214Ahmad Salim Al-Sibahi10 years ago

src/Idris/Package.hs+2

@@ -499,6 +499,7 @@ mergeOptions copts popts =

499 chkOpt o@(UseCodegen _) = Right o

500 chkOpt o@(Verbose _) = Right o

501 chkOpt o@(AuditIPkg) = Right o

502+ chkOpt o@(DumpHighlights) = Right o

502 chkOpt o = Left (unwords ["\t", show o, "\n"])

503 chkOpt o = Left (unwords ["\t", show o, "\n"])

503

504

504 genErrMsg :: [String] -> String

505 genErrMsg :: [String] -> String

@@ -508,6 +509,7 @@ mergeOptions copts popts =

508 , "\t--log <lvl>, --total, --warnpartial, --warnreach, --warnipkg"

509 , "\t--log <lvl>, --total, --warnpartial, --warnreach, --warnipkg"

509 , "\t--ibcsubdir <path>, -i --idrispath <path>"

510 , "\t--ibcsubdir <path>, -i --idrispath <path>"

510 , "\t--logging-categories <cats>"

511 , "\t--logging-categories <cats>"

512+ , "\t--highlight"

511 , "\nThe options need removing are:"

513 , "\nThe options need removing are:"

512 , unlines es

514 , unlines es

513 ]

515 ]

test/pkg001/expected+1

@@ -4,6 +4,7 @@ The only changeable options are:

4 --log <lvl>, --total, --warnpartial, --warnreach, --warnipkg

5 --ibcsubdir <path>, -i --idrispath <path>

6 --logging-categories <cats>

7+ --highlight

8The options need removing are:

9The options need removing are:

9 Quiet

10 Quiet