summaryrefslogtreecommitdiff
path: root/compiler/iface/MkIface.lhs
Commit message (Expand)AuthorAgeFilesLines
* Cleaned up Maybes.lhsBaldur Blöndal2014-02-131-1/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-2/+28
* Rename topDmdType to nopDmdTypeJoachim Breitner2013-12-091-1/+1
* Fix marshalling of IfaceAt to and from interface filesSimon Peyton Jones2013-11-051-1/+3
* Tidy up the commit for Trac #3725Simon Peyton Jones2013-10-031-39/+56
* Persist annotations to interface files (#3725)Austin Seipp2013-10-011-33/+47
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Ignore Tickish Breakpoints when serialising Core into interface filesSimon Peyton Jones2013-09-201-5/+9
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-181-0/+1
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+3
* Remove the final vestiges of InlineWrappersSimon Peyton Jones2013-09-021-1/+0
* simplified the .hi format and added the -flate-dmd-anal flag (fixes #7782)Nicolas Frisby2013-08-291-5/+2
* Remove trailing whitespace from MkIfaceAustin Seipp2013-08-221-86/+86
* Fix interface hashes including time stamp of dependent files.Niklas Hambüchen2013-08-221-9/+9
* MkIface: Be consistent with do notationNiklas Hambüchen2013-08-221-118/+122
* MkIface: When printing the recomp reason, make clear only mtime is usedNiklas Hambüchen2013-08-221-1/+1
* MkIface: More specific comment about what forms the interface hashNiklas Hambüchen2013-08-221-1/+1
* MkIface: Mention that #include now adds dependent filesNiklas Hambüchen2013-08-221-2/+4
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-3/+6
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-6/+13
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-16/+29
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-2/+2
* Updated documentation; changed "group" to "branched" in type familiesRichard Eisenberg2013-04-241-6/+6
* Remove readIface's unused argumentIan Lynagh2013-03-171-1/+1
* Merge branch 'refs/heads/vect-avoid' into vect-avoid-mergeManuel M T Chakravarty2013-02-061-9/+9
|\
| * Rewrote vectorisation avoidance (based on the HS paper)Manuel M T Chakravarty2012-12-051-9/+9
* | Change a few throwGhcException uses to throwGhcExceptionIOIan Lynagh2013-01-301-1/+1
* | Pure refactoringSimon Peyton Jones2013-01-281-0/+1
* | More refactoring of FamInst/FamInstEnv; finally fixes Trac #7524Simon Peyton Jones2013-01-281-14/+7
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-4/+4
|\ \
| * | Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-4/+4
* | | Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-0/+1
|/ /
* | Be willing to parse {-# UNPACK #-} without '!'Simon Peyton Jones2013-01-141-1/+1
* | Refactor the invariants for ClsInstsSimon Peyton Jones2013-01-011-4/+3
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-12-231-15/+26
|\ \
| * | Implement overlapping type family instances.Richard Eisenberg2012-12-211-15/+26
* | | Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-1/+7
|/ /
* | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2012-12-141-3/+2
|\ \
| * | Implement the -dynamic-too optimised path for the NCGIan Lynagh2012-12-111-3/+2
* | | Major refactoring of the way that UNPACK pragmas are handledSimon Peyton Jones2012-12-141-1/+1
|/ /
* | TypoIan Lynagh2012-12-051-1/+1
* | Replace all uses of ghcError with throwGhcException and purge ghcError.Erik de Castro Lopo2012-11-301-1/+1
* | Use the right environment for tidying the types of a data constructorSimon Peyton Jones2012-11-231-5/+8
* | Some alpha renamingIan Lynagh2012-10-161-1/+1
* | Fix error in tidying the type variables of a TyCon when building an interface...Simon Peyton Jones2012-10-121-1/+1
* | Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-12/+6
* | Fix #7215: we weren't calculating the hashes correctly for sub-bindersSimon Marlow2012-09-051-15/+2
* | Fix to-iface conversion of RULES involving coercions in argument pattternsSimon Peyton Jones2012-08-231-4/+3
* | applying simonpj's fix from #7022 (with 80-col reformatting)Simon Marlow2012-08-021-2/+6
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-07-101-13/+12
|\