- ------- GHCi -------------------------------------------------------
- ( "ignore-dot-ghci", PassFlag addOpt )
- , ( "read-dot-ghci" , NoArg (removeOpt "-ignore-dot-ghci") )
-
- ------- ways --------------------------------------------------------
- , ( "prof" , NoArg (addWay WayProf) )
- , ( "unreg" , NoArg (addWay WayUnreg) )
- , ( "ticky" , NoArg (addWay WayTicky) )
- , ( "parallel" , NoArg (addWay WayPar) )
- , ( "gransim" , NoArg (addWay WayGran) )
- , ( "smp" , NoArg (addWay WayThreaded) ) -- backwards compat.
- , ( "debug" , NoArg (addWay WayDebug) )
- , ( "ndp" , NoArg (addWay WayNDP) )
- , ( "threaded" , NoArg (addWay WayThreaded) )
- -- ToDo: user ways
-
- ------ Debugging ----------------------------------------------------
- , ( "dppr-debug", PassFlag addOpt )
- , ( "dppr-user-length", AnySuffix addOpt )
+ ------- GHCi -------------------------------------------------------
+ Flag "ignore-dot-ghci" (PassFlag addOpt) Supported
+ , Flag "read-dot-ghci" (NoArg (removeOpt "-ignore-dot-ghci")) Supported
+
+ ------- ways --------------------------------------------------------
+ , Flag "prof" (NoArg (addWay WayProf)) Supported
+ , Flag "ticky" (NoArg (addWay WayTicky)) Supported
+ , Flag "parallel" (NoArg (addWay WayPar)) Supported
+ , Flag "gransim" (NoArg (addWay WayGran)) Supported
+ , Flag "smp" (NoArg (addWay WayThreaded))
+ (Deprecated "Use -threaded instead")
+ , Flag "debug" (NoArg (addWay WayDebug)) Supported
+ , Flag "ndp" (NoArg (addWay WayNDP)) Supported
+ , Flag "threaded" (NoArg (addWay WayThreaded)) Supported
+ -- ToDo: user ways
+
+ ------ Debugging ----------------------------------------------------
+ , Flag "dppr-debug" (PassFlag addOpt) Supported
+ , Flag "dsuppress-uniques" (PassFlag addOpt) Supported
+ , Flag "dppr-user-length" (AnySuffix addOpt) Supported
+ , Flag "dopt-fuel" (AnySuffix addOpt) Supported
+ , Flag "dno-debug-output" (PassFlag addOpt) Supported