summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* A nice tidy-up for CvSubst and liftCoSubstSimon Peyton Jones2011-07-231-4/+7
* Change loop breaker terminologySimon Peyton Jones2011-07-213-4/+4
* Fix #481: use a safe recompilation check when Template Haskell isSimon Marlow2011-07-203-34/+47
* Separate the warning flags into their own datatypeIan Lynagh2011-07-141-2/+2
* move computeFingerprint from MkIface to BinarySimon Marlow2011-07-121-19/+6
* remove out of date comment about instance versioning, replace it withSimon Marlow2011-07-011-37/+1
* SafeHaskell: Try to be consistent in naming.David Terei2011-06-291-4/+2
* Formatting fixes.David Terei2011-06-291-4/+4
* SafeHaskell: Fix trust check for when safe module importsDavid Terei2011-06-293-25/+39
* Get rid of the DFunArg type and all its worksSimon Peyton Jones2011-06-234-17/+4
* Add equality superclassesSimon Peyton Jones2011-06-221-27/+23
* Remove "silent superclass parameters"Simon Peyton Jones2011-06-224-11/+8
* SafeHaskell: Transitively check safety when compiling a module.David Terei2011-06-172-4/+11
* Code wibbleDavid Terei2011-06-171-1/+1
* SafeHaskell: Fix validation errors when Safe base used.David Terei2011-06-171-1/+1
* SafeHaskell: Move safe haskell flag into Overlap flagDavid Terei2011-06-174-13/+13
* SafeHaskell: Fix recompilation avoidance to take Safe into account.David Terei2011-06-172-4/+6
* SafeHaskell: Restrict OverlappingInstances.David Terei2011-06-173-23/+25
* SafeHaskell: Fix problem with forced recompilation and disable THDavid Terei2011-06-171-27/+28
* SafeHaskell: Force all FFI imports to be in IODavid Terei2011-06-171-1/+1
* SafeHaskell: Disable certain ghc extensions in Safe.David Terei2011-06-171-1/+1
* SafeHaskell: Force all imports to be safe in Safe modeDavid Terei2011-06-171-3/+5
* SafeHaskell: Add safe import flag (not functional)David Terei2011-06-173-17/+33
* SafeHaskell: Add Safe & Trustworthy pragmasDavid Terei2011-06-173-76/+96
* Re-do (again) the handling of binders in Template HaskellSimon Peyton Jones2011-06-161-1/+1
* Propagate scalar variables and tycons for vectorisation through 'HscTypes.Vec...Manuel M T Chakravarty2011-06-034-42/+56
* Rejig the way in which generic default method signatures are checkedSimon Peyton Jones2011-05-261-2/+2
* Simon's fixes to the generated type instances in GenericsSimon Peyton Jones2011-05-201-1/+2
* Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-126-138/+252
|\
| * The final batch of changes for the new coercion representationSimon Peyton Jones2011-05-122-2/+2
| * Merge master into the ghc-new-co branchSimon Peyton Jones2011-05-061-260/+271
| |\
| * \ Merge remote branch 'origin/master' into ghc-new-coSimon Peyton Jones2011-04-301-17/+17
| |\ \
| * | | This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-196-127/+241
* | | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-051-265/+276
|\ \ \ \ | | |_|/ | |/| |
| * | | Fix some warnings in IfaceSynDavid Terei2011-05-041-6/+6
| * | | Formatting fixes to IfaceSynDavid Terei2011-05-041-269/+280
| | |/ | |/|
* | | Remove the hasGenerics field of TyCon, improve the way the Generics flags is ...Jose Pedro Magalhaes2011-05-025-25/+8
* | | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-04-271-17/+17
|\ \ \ | |/ /
| * | Share some work in MkIfaceDavid Terei2011-04-261-17/+17
| |/
* | Initial commit for Pedro's new generic default methodssimonpj2011-04-122-6/+8
|/
* Fix Trac #4953: local let binders can have IdInfo with free namessimonpj@microsoft.com2011-02-141-2/+4
* Look through type synonyms when computing orphanssimonpj@microsoft.com2011-01-261-8/+6
* Make mkDFunUnfolding more robustsimonpj@microsoft.com2010-12-222-2/+2
* Tighten up what it means to be an "enumeration data constructor"simonpj@microsoft.com2010-12-151-2/+6
* Fix recursive superclasses (again). Fixes Trac #4809.simonpj@microsoft.com2010-12-134-15/+28
* Fix a recomp bug: make classes/datatypes depend directly on DFuns (#4469)Simon Marlow2010-12-021-29/+15
* Fix the generation of in-scope variables for IfaceLint checksimonpj@microsoft.com2010-11-181-7/+9
* Buglet in tcIface, now that nested binders can have pragmassimonpj@microsoft.com2010-10-271-24/+26
* Serialise nested unfoldings across module boundariessimonpj@microsoft.com2010-10-255-95/+108
* Switch more uniqFromSupply+splitUniqSupply's to takeUniqFromSupplyIan Lynagh2010-10-211-7/+5