summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* A few typos in commentsGabor Greif2016-11-213-3/+3
* Optimise whole module exportsMatthew Pickering2016-11-181-11/+14
* Spelling in comment onlyGabor Greif2016-11-181-1/+1
* Have reify work for local variables with functional dependencies.Facundo Domínguez2016-11-173-21/+68
* Correct name of Note in commentRichard Eisenberg2016-11-171-1/+1
* Test for type synonym loops on TyCon.Edward Z. Yang2016-11-164-144/+230
* Typos in comments, notes and manualGabor Greif2016-11-157-9/+9
* Kill Type pretty-printerBen Gamari2016-11-1311-15/+17
* Revert "Refactor CallStack defaulting slightly"Simon Peyton Jones2016-11-111-35/+39
* Prevent GND from inferring an instance context for method-less classesRyan Scott2016-11-101-4/+4
* Refactor CallStack defaulting slightlySimon Peyton Jones2016-11-101-39/+35
* Refactoring of mkNewTypeEqnSimon Peyton Jones2016-11-101-18/+19
* Allow GeneralizedNewtypeDeriving for classes with associated type familiesRyan Scott2016-11-062-74/+283
* Stop -dno-debug-output suppressing -ddump-tc-traceMatthew Pickering2016-11-061-7/+7
* Take account of injectivity when doing fundepsSimon Peyton Jones2016-11-042-32/+69
* Remove a debug traceSimon Peyton Jones2016-11-041-1/+0
* Add comments from Trac #12768Simon Peyton Jones2016-11-041-0/+28
* Fix Trac #12797: approximateWCSimon Peyton Jones2016-11-021-12/+16
* Use substTyUnchecked in TcMType.new_meta_tv_xSimon Peyton Jones2016-11-021-1/+6
* Simplify the API for TcHsType.kcHsTyVarBndrsSimon Peyton Jones2016-11-022-27/+24
* Get rid of TcTyVars more assiduouslySimon Peyton Jones2016-11-024-16/+35
* Tiny refactorSimon Peyton Jones2016-11-022-7/+7
* Typos in commentsGabor Greif2016-10-314-4/+4
* Clarify comments on kinds (Trac #12536)Simon Peyton Jones2016-10-281-28/+2
* Collect coercion variables, not type variablesSimon Peyton Jones2016-10-272-5/+5
* Simple refactor to remove misleading commentSimon Peyton Jones2016-10-271-5/+3
* Remove -dtrace-levelMatthew Pickering2016-10-262-13/+11
* Make traceRn behave more like traceTcMatthew Pickering2016-10-263-31/+37
* Fundeps work even for unary type classesSimon Peyton Jones2016-10-261-2/+1
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-246-172/+169
* Don't instantaite when typechecking a pattern synonymSimon Peyton Jones2016-10-241-1/+1
* Prioritise class-level equality costraintsSimon Peyton Jones2016-10-241-1/+30
* Improve TcCanonical.unifyWanted and unifyDerivedSimon Peyton Jones2016-10-211-14/+19
* Define emitNewWantedEq, and use itSimon Peyton Jones2016-10-213-14/+19
* Refactor occurrence-check logicSimon Peyton Jones2016-10-216-388/+39
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-2121-632/+1054
* Make TcLevel increase by 1 not 2Simon Peyton Jones2016-10-211-11/+6
* Comments and trivial refactoringSimon Peyton Jones2016-10-211-3/+3
* Refactor typechecking of pattern bindingsSimon Peyton Jones2016-10-212-177/+242
* Typos in commentsGabor Greif2016-10-211-2/+2
* Fix Mac OS X build by removing space after ASSERT.Edward Z. Yang2016-10-201-1/+1
* Only delete instances when merging when there is an exact match.Edward Z. Yang2016-10-201-17/+71
* Support constraint synonym implementations of abstract classes.Edward Z. Yang2016-10-201-1/+45
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-204-16/+58
* Test for newtype with unboxed argumentSimon Peyton Jones2016-10-193-36/+30
* Track dep_finsts in exports hash, as it affects downstream deps.Edward Z. Yang2016-10-171-1/+12
* Re-add accidentally-deleted lineSimon Peyton Jones2016-10-171-1/+2
* Typos in commentsGabor Greif2016-10-171-1/+1
* Reduce trace output slightlySimon Peyton Jones2016-10-171-4/+2
* Fix wrapping order in matchExpectedConTySimon Peyton Jones2016-10-171-10/+14
View Lorry Controller Status