expected

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

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

The options need removing are:
	 Quiet 



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