- Interactive mode - normally used by just running ghci
+ Interactive mode - normally used by just running ghci;
+ see for details.mode-
- Build a multi-module Haskell program, automatically figuring out dependencies. Likely to be much easier, and faster, than using make.
+ Build a multi-module Haskell program, automatically figuring out dependencies. Likely to be much easier, and faster, than using make;
+ see for details..mode-
- Evaluate expr
+ Evaluate expr;
+ see for details.mode-
- Generate dependency information suitable for use in a Makefile.
+ Generate dependency information suitable for use in a Makefile;
+ see for details.mode-
@@ -358,13 +362,13 @@
dir1:dir2:...add dir,
dir2, etc. to import path
- dynamic
+ static/:set-Empty the import directory list
- dynamic
+ static/:set-
@@ -477,6 +481,24 @@
static-
+
+
+ Generate bytecode enabled for debugging
+ dynamic
+ -
+
+
+
+ Do not include debugging information in bytecodes
+ dynamic
+ -
+
+
+
+ Turn off printing of binding results in GHCi
+ dynamic
+ -
+
@@ -507,7 +529,7 @@
PExpose package P
- dynamic
+ static/:set-
@@ -519,25 +541,25 @@
nameHide package P
- dynamic
+ static/:set-nameIgnore package P
- dynamic
+ static/:set-fileLoad more packages from file
- dynamic
+ static-Don't load the user's package config file.
- dynamic
+ static-
@@ -650,6 +672,13 @@
+
+ Enable overloaded string literals.
+
+ dynamic
+
+
+ Enable lexically-scoped type variables.
Implied by .
@@ -664,8 +693,14 @@
+
+ Enable type families.
+ dynamic
+
+
+
- Enable bang patterns.
+ Enable bang patterns.dynamic
@@ -704,7 +739,7 @@
- enable all warnings
+ enable almost all warnings (details in )dynamic
@@ -737,6 +772,13 @@
+
+
+ warn when the Prelude is implicitly imported
+ dynamic
+
+
+
warn when a pattern match could fail
@@ -802,6 +844,13 @@
+
+ warn if there are tabs in the source file
+ dynamic
+
+
+
+ warn when defaulting happensdynamic
@@ -809,6 +858,13 @@
+
+ warn when the Monomorphism Restriction is applied
+ dynamic
+
+
+
+ warn about bindings that are unuseddynamic
@@ -885,7 +941,7 @@
- Enable case-merging
+ Enable case-merging. Implied by .dynamic
@@ -899,7 +955,7 @@
- Enable eta-reduction
+ Enable eta-reduction. Implied by .dynamic
@@ -919,14 +975,6 @@
-
- Switch off all rewrite rules (including rules
- generated by automatic specialisation of overloaded functions)
- static
-
-
-
- Ignore assertions in the sourcedynamic
@@ -941,13 +989,6 @@
-
- Tweak the liberate-case optimisation (default: 10)
- static
-
-
-
- Don't generate interface pragmasdynamic
@@ -978,31 +1019,55 @@
-
- Turn off common sub-expression
+
+ Turn on common sub-expression elimination. Implied by .dynamic
- -
+ -fno-cse
-
- Turn off full laziness (floating bindings outwards).
+
+ Turn on full laziness (floating bindings outwards). Implied by .dynamic
- -ffull-laziness
+ -fno-full-laziness
-
- Turn off pre-inlining
- static
- -
+
+ Switch on all rewrite rules (including rules
+ generated by automatic specialisation of overloaded functions).
+ Implied by .
+ dynamic
+
-
- Turn off strictness analysis
+
+ Turn on strictness analysis. Implied by .dynamic
- -
+ -fno-strictness
+
+
+
+
+ Turn on the SpecConstr transformation. Implied by .
+ dynamic
+ -fno-spec-constr
+
+
+
+
+ Turn on the liberate-case transformation. Implied by .
+ dynamic
+ -fno-liberate-case
+
+
+
+ =n
+ Set the size threshold for function specialisation to n, for both
+ the liberate-case and SpecConstr transformations (default: 200)
+ static
+
@@ -1046,6 +1111,13 @@
static
+
+
+
+ Turn off pre-inlining
+ static
+ -
+
@@ -1238,7 +1310,19 @@
Omit code generation
- mode
+ dynamic
+ -
+
+
+
+ Generate byte-code
+ dynamic
+ -
+
+
+
+ Generate object code
+ dynamic-
@@ -1304,7 +1388,7 @@
- Set main function
+ Set main module and functiondynamic-
@@ -1902,12 +1986,6 @@
dynamic-
-
-
- Turn off printing of binding results in GHCi
- dynamic
- -
-