1 synopsis: Add new options from ghc 9.12
8 - ghc 9.12 adds several new command line options, divided between
9 `LANGUAGE`s (already added), warnings, new preprocessor control options,
10 and compilation control options. Two options needed to be added to the
11 list of options requiring `Int` parameters.
13 The new options, excluding warning and language options, are:
15 * `-fexpose-overloaded-unfoldings`
16 * `-fmax-forced-spec-args=N`
17 * `-fno-expose-overloaded-unfoldings`
18 * `-fno-object-determinism`
19 * `-fobject-determinism`
20 * `-fwrite-if-compression=N`
26 As they all affect compilation and store hashes, the only necessary
27 change was to list the two numeric options so they will be parsed
28 correctly. To the best of our understanding, `-pgm*` and `-opt*`
29 options are already handled as a group.