blob: 314e0ebb69b9862f79c1111cd47fb2cd223c1b4e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
module Options.InterfaceFiles where
import Types
interfaceFilesOptions :: [Flag]
interfaceFilesOptions =
[ flag { flagName = "-ddump-hi"
, flagDescription = "Dump the new interface to stdout"
, flagType = DynamicFlag
}
, flag { flagName = "-ddump-hi-diffs"
, flagDescription = "Show the differences vs. the old interface"
, flagType = DynamicFlag
}
, flag { flagName = "-ddump-minimal-imports"
, flagDescription = "Dump a minimal set of imports"
, flagType = DynamicFlag
}
, flag { flagName = "--show-iface ⟨file⟩"
, flagDescription = "See :ref:`modes`."
, flagType = ModeFlag
}
]
|