File: Plugin.hs

package info (click to toggle)
ghc 8.0.1-17
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 55,080 kB
  • ctags: 9,332
  • sloc: haskell: 363,120; ansic: 54,900; sh: 4,782; makefile: 974; perl: 542; asm: 315; python: 306; xml: 154; lisp: 7
file content (17 lines) | stat: -rw-r--r-- 486 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
module Options.Plugin where

import Types

pluginOptions :: [Flag]
pluginOptions =
  [ flag { flagName = "-fplugin=⟨module⟩"
         , flagDescription = "Load a plugin exported by a given module"
         , flagType = DynamicFlag
         }
  , flag { flagName = "-fplugin-opt=⟨module:args⟩"
         , flagDescription =
           "Give arguments to a plugin module; module must be specified with "++
           "``-fplugin``"
         , flagType = DynamicFlag
         }
  ]