summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Small refactoringsghc-axiomsSimon Peyton Jones2012-01-031-8/+3
* Merge commit with HEADSimon Peyton Jones2012-01-0318-415/+523
|\
| * Fix Trac #5721; type variables can be quoted in THSimon Peyton Jones2011-12-291-2/+3
| * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-12-238-283/+304
| |\
| | * Now the constraint simplifier solves kind constraints as well.Dimitrios Vytiniotis2011-12-224-259/+224
| | * Introduced new form of TcEvidence for KindCasts, this patch also fixes aDimitrios Vytiniotis2011-12-222-21/+65
| | * Very small tweaks to pave the way for solving kind constraints in the simplif...Dimitrios Vytiniotis2011-12-222-3/+15
| * | Use HsTupleTy [] for unit tuples, uniformlySimon Peyton Jones2011-12-231-8/+4
| * | Fix an outright bug in the implementation of default declsSimon Peyton Jones2011-12-231-38/+38
| |/
| * fix #5022: polymorphic definitions inside arrow recRoss Paterson2011-12-193-14/+25
| * Merge branch 'master' of http://darcs.haskell.org/ghcIan Lynagh2011-12-191-1/+1
| |\
| | * Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2011-12-192-23/+27
| | |\
| | * | Tidy up pretty-printing for variablesSimon Peyton Jones2011-12-191-1/+1
| * | | Add a class HasDynFlags(getDynFlags)Ian Lynagh2011-12-191-2/+2
| | |/ | |/|
| * | Fix a bug in TcCanonical (Dimitrios spotted)Jose Pedro Magalhaes2011-12-161-1/+1
| * | Better failure with promoted kinds in THJose Pedro Magalhaes2011-12-161-22/+26
| |/
| * Exposing a useful assertion which was hidden inside a lazyness cloud.Dimitrios Vytiniotis2011-12-151-6/+9
| * Towards fixing Trac #5664Simon Peyton Jones2011-12-131-2/+4
| * Document typechecking of pattern bindingsSimon Peyton Jones2011-12-132-2/+23
| * Document the "kind invariant", and check itSimon Peyton Jones2011-12-131-0/+4
| * Make derived functor stuff watch out for type functions (Trac #5686)Simon Peyton Jones2011-12-122-26/+33
| * Allow type signatures in instance decls (Trac #5676)Simon Peyton Jones2011-12-123-13/+52
* | Lots of refactoring of the CoAxiom stuffSimon Peyton Jones2011-12-2913-149/+129
* | Represent type family instances by CoAxioms, not TyCons.Jose Pedro Magalhaes2011-12-2213-96/+130
|/
* Allow full constraint solving under a for-all (Trac #5595)Simon Peyton Jones2011-12-0526-267/+821
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-291-5/+44
|\
| * Insufficient rewriting during flattening. This fixes #5668.Dimitrios Vytiniotis2011-11-291-5/+44
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-2912-494/+714
|\ \ | |/
| * Reintroducing isReflCo optimization: invariantDimitrios Vytiniotis2011-11-295-85/+117
| * Implement a capi calling convention; fixes #2979Ian Lynagh2011-11-281-0/+1
| * isReflCo no longer reliable for detection of type identity.Dimitrios Vytiniotis2011-11-283-162/+147
| * Implemented -dsuppress-var-kinds flag to remove silly kinds when dppr-debug i...Dimitrios Vytiniotis2011-11-282-8/+34
| * Solved goal caching and zonking optimisations.Dimitrios Vytiniotis2011-11-286-302/+414
| * This patch includes:Dimitrios Vytiniotis2011-11-285-82/+132
| * Less kinds in error messagesJose Pedro Magalhaes2011-11-251-6/+10
| * Fix kind checking of tuplesJose Pedro Magalhaes2011-11-253-61/+72
| * Whitespace onlyJose Pedro Magalhaes2011-11-251-3/+2
* | Refactor (again) the treatment of record-selector bindingsSimon Peyton Jones2011-11-296-82/+91
* | White space onlySimon Peyton Jones2011-11-291-1/+1
* | Comments and white space onlySimon Peyton Jones2011-11-271-1/+1
* | Add missing cases in TcUnify.uUnfilledVarsSimon Peyton Jones2011-11-261-3/+9
|/
* Fix newtype wrapper for 'PData[s] (Wrap a)' and fix VECTORISE type and instan...Manuel M T Chakravarty2011-11-252-7/+11
* Relax the restriction on using abstract newtypes in FFI declarations.Simon Marlow2011-11-241-5/+17
* Use mkAppTys, not foldl AppTy, which was utterly wrongSimon Peyton Jones2011-11-231-14/+15
* uType_defer: only call mkErrInfo if -ddump-tc-trace is on (#5631)Simon Marlow2011-11-221-4/+9
* Replace EkCtxt by an SDocJose Pedro Magalhaes2011-11-212-34/+31
* Rename ? to OpenKind and ?? to ArgKindJose Pedro Magalhaes2011-11-212-4/+4
* Track #included files for recompilation checking (#4900, #3589)Simon Marlow2011-11-183-5/+19
* Fix panic (missing keepWanteds) in simplifyApproxDimitrios Vytiniotis2011-11-171-18/+6
* Removing the default grouping clause from the SQL-like comprehension notation ;George Giorgidze2011-11-171-2/+0
View Lorry Controller Status