summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Fix exponential-time behaviour with type synonyms; rename -XPartiallyAppliedT...simonpj@microsoft.com2007-09-191-23/+43
* FIX #1688: Givens in checkLoop are not that rigid after allManuel M T Chakravarty2007-09-191-4/+45
* Comments onlysimonpj@microsoft.com2007-09-171-1/+4
* FIX: TypeFamilies: should_compile/Simple12Manuel M T Chakravarty2007-09-163-62/+136
* Overhaul of the rewrite rulesManuel M T Chakravarty2007-09-157-837/+1091
* Comments, and remove export of checkAmbiguitysimonpj@microsoft.com2007-09-112-14/+16
* Minor refactoring: give an explicit name to the pretty-printing function for ...simonpj@microsoft.com2007-09-111-1/+1
* update .hi-boot-6 to track .lhs-bootSimon Marlow2007-09-121-0/+1
* update to track .lhs-boot fileSimon Marlow2007-09-121-1/+2
* Cleaned up version of Tom's unflattened skolemOccursManuel M T Chakravarty2007-09-102-66/+130
* Make various assertions work when !DEBUGIan Lynagh2007-09-081-5/+0
* Made TcTyFuns warning cleanManuel M T Chakravarty2007-09-071-43/+46
* fix for Simple9Tom Schrijvers2007-09-061-3/+7
* Improved error messages for higher-rank equality contextsManuel M T Chakravarty2007-09-071-5/+8
* FIX: Type families test Simple14Manuel M T Chakravarty2007-09-071-2/+9
* Fix zonking in mkExportssimonpj@microsoft.com2007-09-061-5/+6
* Cleanup of equality rewriting and no swapInsts for wantedsManuel M T Chakravarty2007-09-061-115/+132
* Remove EqInsts from addSCs to avoid -DDEBUG warningsManuel M T Chakravarty2007-09-061-1/+2
* EqInst related clean upManuel M T Chakravarty2007-09-065-117/+99
* Remove dead code in TcSimplifyManuel M T Chakravarty2007-09-061-15/+0
* Fix -DDEBUG warningManuel M T Chakravarty2007-09-061-1/+1
* also swap for variables in completion algorithmTom Schrijvers2007-09-051-2/+6
* FIX #1465, error messages could sometimes say things like "A.T doesn't match ...Simon Marlow2007-09-062-37/+17
* FIX #1651: use family instances during interactive typecheckingManuel M T Chakravarty2007-09-051-8/+8
* Refactor, improve, and document the deriving mechanismsimonpj@microsoft.com2007-09-056-529/+509
* bug fix in Decomp step of completion algorithm for given equationsTom Schrijvers2007-09-041-4/+5
* fix of wanted equational class contextTom Schrijvers2007-09-042-2/+37
* Fix CodingStyle#Warnings URLsIan Lynagh2007-09-0429-29/+29
* FIX #1651: unBox types when deferring unificationManuel M T Chakravarty2007-09-041-3/+9
* Better error message for unsolvable equalitiesManuel M T Chakravarty2007-09-031-4/+5
* Use OPTIONS rather than OPTIONS_GHC for pragmasIan Lynagh2007-09-0329-58/+58
* Add {-# OPTIONS_GHC -w #-} and some blurb to all compiler modulesIan Lynagh2007-09-0129-0/+202
* Added decidability check for type instancesManuel M T Chakravarty2007-08-303-41/+115
* FIX #1533: foreign exporing the same identifier multiple times gave a link errorSimon Marlow2007-08-281-1/+13
* Type checking for type synonym familiesManuel M T Chakravarty2007-08-2819-479/+2122
* Check that exported modules were actually imported; fixes #1384Ian Lynagh2007-08-262-3/+7
* Print infix function definitions correctly in HsSynsimonpj@microsoft.com2007-08-223-8/+8
* Check for correct number of parameters in type instancesManuel M T Chakravarty2007-08-192-5/+16
* ATs inherit kind annotations from class partametersManuel M T Chakravarty2007-08-191-10/+31
* Change standalone deriving syntax and semantics; fixes trac #1481Ian Lynagh2007-08-101-21/+43
* Improve error message (part of Trac #1606)simonpj@microsoft.com2007-08-101-1/+8
* Tidy up the treatment of newtypes, refactor, and fix Trac #736simonpj@microsoft.com2007-08-092-11/+20
* Fix Trac #1037simonpj@microsoft.com2007-08-041-7/+18
* In GHCi, filter instances by what is in scope, not just by what is in scope u...simonpj@microsoft.com2007-08-041-22/+8
* Canonicalise flags in error messageIan Lynagh2007-08-041-2/+2
* Rename Opt_Allow* to Opt_* to match the language namesIan Lynagh2007-08-042-4/+4
* Typo in a commentIan Lynagh2007-08-041-1/+1
* Dump renamer output with -ddump-rn for command-line entry in ghcisimonpj@microsoft.com2007-08-021-0/+1
* Wibbble to last fix to generalisation (again!); fixes Trac #1575simonpj@microsoft.com2007-08-021-7/+16
* Small error-message changesimonpj@microsoft.com2007-08-011-1/+1
View Lorry Controller Status