idris-1.0: test/pkg001/expected

Not all command line options can be used to override package options.

The only changeable options are:
	--log <lvl>, --total, --warnpartial, --warnreach, --warnipkg
	--ibcsubdir <path>, -i --idrispath <path>
	--logging-categories <cats>
	--highlight

The options need removing are:
	 Quiet 



Elaborating {__Infer_0}
builtin
Elaborating =
builtin
Elaborating type decl Main.main[]
Elaborating clause Main.main
Rechecking for positivity []