summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTyFuns.lhs
Commit message (Expand)AuthorAgeFilesLines
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-1684/+0
* Fix Trac #4099: better error message for type functionssimonpj@microsoft.com2010-05-311-14/+9
* Change an assert to a warnsimonpj@microsoft.com2010-05-061-1/+1
* Fix Trac #3193: improve line number reporting for equality constraintssimonpj@microsoft.com2009-07-231-2/+1
* FIX #3272Manuel M T Chakravarty2009-07-141-6/+30
* Remove unused importsIan Lynagh2009-07-071-1/+0
* Adjust error message slightlysimonpj@microsoft.com2009-05-281-5/+5
* Improve error messages for type functionssimonpj@microsoft.com2009-05-121-2/+30
* Equality constraint solver is now externally pureManuel M T Chakravarty2009-04-271-239/+397
* Ensure the orientation of var-var equalities is correct for instatiationManuel M T Chakravarty2009-03-151-85/+121
* Fix Trac #2999: change an ASSERT to a WARNsimonpj@microsoft.com2009-02-041-1/+10
* Robustify lookupFamInstEnvsimonpj@microsoft.com2009-01-141-9/+4
* Clean up some commentsManuel M T Chakravarty2008-10-021-10/+1
* TcSimplify.reduceImplication: clean upManuel M T Chakravarty2008-10-011-2/+2
* Type families: need to instantiate flexible skolems before other flexiblesManuel M T Chakravarty2008-09-301-37/+46
* Fix warningsManuel M T Chakravarty2008-09-291-1/+1
* Type families: consider subst rules both wayManuel M T Chakravarty2008-09-291-2/+32
* Type families: fixes in flattening & finalisationManuel M T Chakravarty2008-09-251-16/+45
* Type families: fix decomposition problemManuel M T Chakravarty2008-09-251-14/+21
* Type families: fixes in the new solverManuel M T Chakravarty2008-09-181-59/+93
* Type families: unify with family apps in checking modeManuel M T Chakravarty2008-09-171-5/+16
* Type families: bug fixesManuel M T Chakravarty2008-09-161-5/+14
* Keep sysnonyms folded in equalities if possibleManuel M T Chakravarty2008-09-161-17/+35
* Type families: apply flattening coercions in the right orderManuel M T Chakravarty2008-09-161-17/+37
* TcTyFuns: tidy warningManuel M T Chakravarty2008-09-151-4/+6
* Remember if RewriteInst is swapped & bug fixesManuel M T Chakravarty2008-09-141-89/+108
* Type families: fixed all non-termination in the testsuiteManuel M T Chakravarty2008-09-141-18/+72
* Type families: completed the new equality solverManuel M T Chakravarty2008-09-131-1148/+340
* Type families: new algorithm to solve equalitiesManuel M T Chakravarty2008-09-071-6/+784
* (F)SLIT -> (f)sLit in TcTyFunsIan Lynagh2008-04-121-2/+2
* Rename WpCo to WpCastsimonpj@microsoft.com2008-04-221-1/+1
* Don't import FastString in HsVersions.hIan Lynagh2008-03-291-0/+1
* Remove leftover NoteTy/FTVNote bitsIan Lynagh2008-03-151-4/+0
* Some cleanup in TcSimplify.reduceContextManuel M T Chakravarty2008-03-131-34/+8
* Properly normalise reduced dictsManuel M T Chakravarty2008-03-131-1/+0
* Fix Trac #1899; missing equality check in typechecker's constraint simplifiersimonpj@microsoft.com2008-02-261-11/+16
* Monadify typecheck/TcTyFuns: use standard monad functionsTwan van Laarhoven2008-01-171-2/+2
* Make the treatment of equalities more uniformsimonpj@microsoft.com2008-01-071-1/+1
* Properly keep track of whether normalising given or wanted dictsManuel M T Chakravarty2007-12-071-7/+20
* Rejig the error messages a bit; fixes a minor bugsimonpj@microsoft.com2007-11-011-39/+44
* Zonk quantified tyvars with skolemsManuel M T Chakravarty2007-10-191-1/+1
* Don't barf on error message with non-tc tyvarsManuel M T Chakravarty2007-10-181-1/+1
* More docu for skolemOccursManuel M T Chakravarty2007-10-151-3/+48
* TcTyFuns: remove some duplicate codeManuel M T Chakravarty2007-10-041-42/+25
* TcTyFuns.eqInstToRewriteManuel M T Chakravarty2007-10-031-53/+72
* FIX: TypeFamilies: should_compile/Simple12Manuel M T Chakravarty2007-09-161-4/+8
* Overhaul of the rewrite rulesManuel M T Chakravarty2007-09-151-577/+835
* Cleaned up version of Tom's unflattened skolemOccursManuel M T Chakravarty2007-09-101-54/+130
* Made TcTyFuns warning cleanManuel M T Chakravarty2007-09-071-43/+46
* fix for Simple9Tom Schrijvers2007-09-061-3/+7
View Lorry Controller Status