summaryrefslogtreecommitdiff
path: root/compiler/main/DynFlags.hs
Commit message (Collapse)AuthorAgeFilesLines
...
* Remove SafeLanguage from safe haskellDavid Terei2011-07-121-21/+2
|
* Make an extension for interruptible FFI callsIan Lynagh2011-07-111-0/+2
|
* Remove -fmethod-sharingIan Lynagh2011-07-031-4/+0
| | | | It was already deprecated, and marked for removal in 7.2.
* Remove the Opt_Generics constructorIan Lynagh2011-07-031-5/+2
| | | | | | | | We no longer advertise that we support the Generics extension, although we still do accept -XGenerics and -XNoGenerics flags (but warn that we are ignoring them). I also remove the even older -fgenerics and -fno-generics flags.
* -optm is now deprecatedIan Lynagh2011-07-031-5/+2
|
* defaultErrorHandler now only takes LogActionIan Lynagh2011-07-031-13/+18
| | | | | | | | | It used to take a whole DynFlags, but that meant we had to create a DynFlags with (panic "No settings") for settings, as we didn't have any real settings. Now we just pass the LogAction, which is all that it actually needed. The default is exported from DynFlags as defaultLogAction.
* Fix a copy-and-paste-oIan Lynagh2011-07-031-1/+1
|
* Flip fplugin options to restore hasarg parsingMax Bolingbroke2011-07-021-2/+2
|
* Restore home-package-plugin functionalityMax Bolingbroke2011-06-301-1/+5
|
* SafeHaskell: Try to be consistent in naming.David Terei2011-06-291-10/+12
|
* Use sepArg instead of hasArg for -fplugin* to avoid ambiguityMax Bolingbroke2011-06-291-4/+7
|
* Enable LLVM backend in unregisterised mode (#5145)David Terei2011-06-231-3/+0
|
* SafeHaskell: Fix some mistakes in trust checking.David Terei2011-06-171-1/+3
|
* SafeHaskell: No longer restrict some safe compilation thingsDavid Terei2011-06-171-20/+20
|
* SafeHaskell: Improve error handling for -XSafe... flagsDavid Terei2011-06-171-19/+21
|
* SafeHaskell: Change SafeHaskellMode to use Outputable vs ShowDavid Terei2011-06-171-10/+10
|
* SafeHaskell: Fix typo in warningDavid Terei2011-06-171-1/+1
|
* SafeHaskell: Require implicit imports to be safeDavid Terei2011-06-171-1/+1
|
* SafeHaskell: Remove dead alternate flag check methodDavid Terei2011-06-171-77/+0
|
* SafeHaskell: Remove some flags from being restricted on CmdLineDavid Terei2011-06-171-30/+32
| | | | | | | This was done as we originally planned for SafeHaskell to provide some compilation safety. We have dropped this though and instead intend for a new static flag, '--safecompile' that provides this instead in an orthogonal way to SafeHaskell.
* SafeHaskell: Allow some flags that were cmdline only before by mistakeDavid Terei2011-06-171-3/+3
|
* SafeHaskell: Add new package flags for setting trustDavid Terei2011-06-171-14/+25
| | | | | | | Now ghc supports: - trust => Set a package to be trusted - distrust => Set a package to be untrusted - distrust-all-package => Set all packages to be untrusted by default
* SafeHaskell: Disable user written rewrite rules in Safe modeDavid Terei2011-06-171-4/+2
|
* SafeHaskell: Fix problem with forced recompilation and disable THDavid Terei2011-06-171-14/+20
| | | | | Problem with -fforce-recomp not picking up changed Safe flags correctly fixed. Also now disable Template Haskell completely.
* SafeHaskell: Disable certain ghc extensions in Safe.David Terei2011-06-171-436/+553
| | | | | | | | | | This patch disables the use of some GHC extensions in Safe mode and also the use of certain flags. Some are disabled completely while others are only allowed on the command line and not in source PRAGMAS. We also check that Safe imports are indeed importing a Safe or Trustworthy module.
* SafeHaskell: Force all imports to be safe in Safe modeDavid Terei2011-06-171-1/+8
|
* SafeHaskell: Add safe import flag (not functional)David Terei2011-06-171-0/+6
|
* SafeHaskell: Add Safe & Trustworthy pragmasDavid Terei2011-06-171-1/+76
|
* Add dynamically-linked plugins (see Trac #3843)Simon Peyton Jones2011-06-161-1/+24
| | | | | | | | | | | | | | | | | | | | | | | | | | | This patch was originally developed by Max Bolingbroke, and worked on further by Austin Seipp. It allows you to write a Core-to-Core pass and have it dynamically linked into an otherwise-unmodified GHC, and run at a place you specify in the Core optimisation pipeline. Main components: - CoreMonad: new types Plugin, PluginPass plus a new constructor CoreDoPluginPass in CoreToDo - SimplCore: stuff to dynamically load any plugins, splice them into the core-to-core pipeline, and invoke them - Move "getCoreToDo :: DynFlags -> [CoreToDo]" which constructs the main core-to-core pipeline from CoreMonad to SimplCore SimplCore is the driver for the optimisation pipeline, and it makes more sense to have the pipeline construction in the driver not in the infrastructure module. - New module DynamicLoading: invoked by SimplCore to load any plugins Some consequential changes in Linker. - New module GhcPlugins: this should be imported by plugin modules; it it not used by GHC itself.
* Deprecate the DatatypeContexts extensionIan Lynagh2011-06-151-1/+2
|
* Remove very dead Java backend code.David Terei2011-05-311-2/+0
|
* Merge remote branch 'origin/master' into ghc-genericsSimon Peyton Jones2011-05-261-5/+8
|\
| * Bump specConstr threshold to match to 10x factor added toSimon Marlow2011-05-261-2/+2
| | | | | | | | | | CoreUnfold.sizeExpr (oops, forgot to push this patch along with the others yesterday, and this caused a few test failures overnight).
| * deprecate the -n option (#5180)Simon Marlow2011-05-251-2/+1
| |
| * Disable DatatypeContexts by defaultIan Lynagh2011-05-241-1/+5
| | | | | | | | | | The Haskell' committee decided to remove datatype contexts from the language: http://www.haskell.org/pipermail/haskell-prime/2011-January/003335.html
* | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-171-3/+40
|\ \ | |/
| * Make -ddump-to-file truncate existing files.Edward Z. Yang2011-05-151-1/+11
| | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
| * Split -ddump-cmmz into many smaller flags.Edward Z. Yang2011-05-151-0/+27
| | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
| * Accept '-l foo' as library syntax: fixes #4869Max Bolingbroke2011-05-151-2/+2
| |
* | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-121-3/+1
|\ \ | |/ | | | | | | Resolved conflicts: compiler/typecheck/TcTyClsDecls.lhs
| * Merge ghc-new-co into master branchSimon Peyton Jones2011-05-091-3/+1
| |\
| | * Merge master into the ghc-new-co branchSimon Peyton Jones2011-05-061-34/+70
| | |\
| | * \ Merge remote branch 'origin/master' into ghc-new-coSimon Peyton Jones2011-04-301-166/+190
| | |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: compiler/typecheck/TcErrors.lhs compiler/typecheck/TcSMonad.lhs compiler/typecheck/TcType.lhs compiler/types/TypeRep.lhs
| | * | | This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-4/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | See the paper "Practical aspects of evidence based compilation in System FC" * Coercion becomes a data type, distinct from Type * Coercions become value-level things, rather than type-level things, (although the value is zero bits wide, like the State token) A consequence is that a coerion abstraction increases the arity by 1 (just like a dictionary abstraction) * There is a new constructor in CoreExpr, namely Coercion, to inject coercions into terms
* | | | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-091-22/+17
|\ \ \ \ \ | |/ / / /
| * | | | Merge branch 'coloured-core' of https://github.com/nominolo/ghc into ↵coloured-coreIan Lynagh2011-05-081-4/+4
| |\ \ \ \ | | | | | | | | | | | | | | | | | | coloured-core
| | * | | | Start support for coloured SDoc output.Thomas Schilling2011-04-071-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The SDoc type now passes around an abstract SDocContext rather than just a PprStyle which required touching a few more files. This should also make it easier to integrate DynFlags passing, so that we can get rid of global variables.
| * | | | | Improve the warning about -fllvm and -fPIC/-dynamic conflictingIan Lynagh2011-05-071-18/+13
| | |_|_|/ | |/| | | | | | | | | | | | | | | | | | We now do it while parsing the flags, rather than at the end. It also now uses the Platform's arch/os variables, rather than Config's.
* | | | | Deprecate -XGenerics.Jose Pedro Magalhaes2011-05-091-6/+4
| | | | |
* | | | | Rename `Representable0` to `Generic`.Jose Pedro Magalhaes2011-05-091-4/+4
| | | | | | | | | | | | | | | | | | | | Remove a few other `0`s from names.
View Lorry Controller Status