summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Support code generation for unboxed-tuple function argumentsunboxed-tuple-arguments2Max Bolingbroke2012-05-158-81/+39
* Add a fixity environment to InteractiveContext (#2947)Paolo Capriotti2012-05-151-12/+17
* Refactor LHsTyVarBndrs to fix Trac #6081Simon Peyton Jones2012-05-115-73/+72
* Comments onlySimon Peyton Jones2012-05-101-3/+27
* Take care not to mix polymorphic and unlifted bindings in a groupSimon Peyton Jones2012-05-091-18/+41
* Make fresh variables when decomposing Givensghc-new-flavorSimon Peyton Jones2012-05-091-4/+21
* CosmeticsSimon Peyton Jones2012-05-092-4/+4
* Yet another major refactoring of the constraint solverSimon Peyton Jones2012-05-0712-820/+898
* Check the calling convention of foreign imported labels is supportedIan Lynagh2012-05-031-5/+7
* Tidy up a remaining glitch in unificationSimon Peyton Jones2012-05-014-83/+29
* Egregious typo (fixes Trac #6055)Simon Peyton Jones2012-04-301-1/+1
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2012-04-274-28/+41
|\
| * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-04-271-1/+4
| |\
| | * Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghcIan Lynagh2012-04-2610-265/+346
| | |\
| | * | Add a flag for the unsupported calling convention warningIan Lynagh2012-04-241-1/+4
| * | | Small refactoring in kind generalisation of type declarationsSimon Peyton Jones2012-04-271-23/+35
| * | | White space and debug printintSimon Peyton Jones2012-04-272-4/+2
| | |/ | |/|
* | | Pretty printing and debug improvementsSimon Peyton Jones2012-04-276-15/+12
|/ /
* | Make the RHS of a generic FamInst use the same type variables as the LHS!Simon Peyton Jones2012-04-261-10/+12
* | Do not generate derived instances in TH bracketsSimon Peyton Jones2012-04-261-1/+22
* | Improve debug print a bitSimon Peyton Jones2012-04-261-1/+1
* | Fix a one-character typo (kv1 should be kv2!)Simon Peyton Jones2012-04-261-1/+1
* | Fix typoSimon Peyton Jones2012-04-251-1/+1
* | More fixes to kind polymorphism, fixes Trac #6035, #6036Simon Peyton Jones2012-04-256-213/+219
* | Better error messages during sort checking of kind signaturesSimon Peyton Jones2012-04-252-30/+35
* | Merge remote-tracking branch 'origin/master'Simon Peyton Jones2012-04-252-8/+56
|\ \
| * | Add experimental GHCi monad.David Terei2012-04-242-8/+56
| |/
* | Report deprecations at occurrence sites, not once per moduleSimon Peyton Jones2012-04-251-11/+10
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-04-242-26/+31
|\
| * Sort instances by location before printing themSimon Peyton Jones2012-04-232-26/+31
* | Tiny refactoring; no change in behaviourSimon Peyton Jones2012-04-221-1/+1
* | Respect kind-variable scoping when instantiating dfunsSimon Peyton Jones2012-04-222-29/+32
|/
* Move free-var info from InstDecl to FamInstDeclSimon Peyton Jones2012-04-201-1/+3
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-04-2012-372/+407
|\
| * Do SCC on instance declarations (fixes Trac #5715)Simon Peyton Jones2012-04-204-35/+84
| * Simplify the typechecking of RULESSimon Peyton Jones2012-04-164-228/+179
| * Simplify construction of equality predicatesSimon Peyton Jones2012-04-162-7/+11
| * Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-04-137-111/+250
| |\
| * | Allow kind-variable binders in type signaturesSimon Peyton Jones2012-04-135-104/+135
* | | Comments onlySimon Peyton Jones2012-04-201-3/+11
* | | Allow overlaps when -XIncoherentInstances is in forceSimon Peyton Jones2012-04-131-8/+10
| |/ |/|
* | Revert "Added ':runmonad' command to GHCi"Simon Peyton Jones2012-04-133-57/+9
* | Added ':runmonad' command to GHCiDavid Terei2012-04-123-9/+57
* | Fix instance signature error message (#6001)Paolo Capriotti2012-04-121-1/+1
* | Setting empty touchable range in implications that are generated from polytypeDimitrios.Vytiniotis2012-04-101-3/+3
* | Updates to the constraint solver to be able to handle implicationDimitrios.Vytiniotis2012-04-105-93/+226
* | Update names to match the implementation in GHC.TypeLits.Iavor S. Diatchki2012-04-082-17/+23
|/
* Improved caching: I was flushing the solved when going under implications,Dimitrios.Vytiniotis2012-04-052-23/+31
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-04-0515-1669/+1830
|\
| * Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavorDimitrios.Vytiniotis2012-04-052-12/+23
| |\
View Lorry Controller Status