summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcBinds.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-1635/+0
* Rename Untouchables to TcLevelSimon Peyton Jones2014-12-021-4/+4
* Wibble to the "instance signatures" patchSimon Peyton Jones2014-12-011-1/+1
* Fix the handling of instance signatures (Trac #9582, #9833)Simon Peyton Jones2014-12-011-11/+7
* Implement Partial Type SignaturesThomas Winant2014-11-281-37/+124
* Rename some of the functions in NameSet, to make the uniform with VarSet etcSimon Peyton Jones2014-11-281-1/+1
* Capture original source for literalsAlan Zimmerman2014-11-211-1/+2
* AST changes to prepare for API annotations, for #9628Alan Zimmerman2014-11-211-11/+14
* Implement full co/contra-variant subsumption checking (fixes Trac #9569)Simon Peyton Jones2014-11-211-12/+11
* Rejig builders for pattern synonyms, especially unlifted onesSimon Peyton Jones2014-11-211-8/+6
* Add support for pattern synonym type signatures.Dr. ERDI Gergo2014-11-201-90/+124
* If pattern synonym is bidirectional and its type is some unboxed type T#,Dr. ERDI Gergo2014-11-131-4/+4
* Switch off lazy flattening (fix Trac #3064)Simon Peyton Jones2014-11-061-1/+4
* Normalise the type of an inferred let-bindingSimon Peyton Jones2014-11-041-9/+17
* Get the Untouchables level right in simplifyInferSimon Peyton Jones2014-11-041-3/+4
* Implementation of hsig (module signatures), per #9252Edward Z. Yang2014-10-241-2/+2
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-1/+1
* PostTcType replaced with TypeAnnotAlan Zimmerman2014-09-061-2/+3
* Comments fix to Trac #9140Simon Peyton Jones2014-08-201-0/+4
* Correct checkStrictBinds for generalised typearchblob2014-08-191-2/+2
* Typo fixesGabor Greif2014-08-011-1/+1
* Add note about renaming of pattern synonym wrappersDr. ERDI Gergo2014-07-291-0/+1
* Refactor PatSynBind so that we can pass around PSBs instead of several argumentsDr. ERDI Gergo2014-07-291-19/+8
* Typecheck the wrapper definition of a pattern synonym,Dr. ERDI Gergo2014-07-291-6/+20
* Add Note [Placeholder PatSyn kinds] in TcBindsSimon Peyton Jones2014-06-241-11/+33
* Add fake entries into the global kind environment for pattern synonyms.Dr. ERDI Gergo2014-06-211-7/+16
* Improve error message in Trac #8883Simon Peyton Jones2014-06-111-37/+59
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Validate inferred theta. Fixes #8883Jan Stolarek2014-04-191-0/+5
* Instead of tracking Origin in LHsBindsLR, track it in MatchGroupDr. ERDI Gergo2014-04-131-46/+42
* A bit more tracing to do with SPECIALISE pragmasSimon Peyton Jones2014-03-131-1/+2
* Fix the treatment of lexically scoped kind variables (Trac #8856)Simon Peyton Jones2014-03-071-38/+11
* Use NoGen plan for unboxed-tuple bindingsSimon Peyton Jones2014-02-181-40/+37
* Cleaned up Maybes.lhsBaldur Blöndal2014-02-131-1/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-57/+115
* Roleify TcCoercionJoachim Breitner2013-11-271-1/+1
* Print the correct name when complaining about SPECIALISE pragmasSimon Peyton Jones2013-11-221-3/+5
* Improve -XAllowAmbiguousTypes (Trac #8392)Simon Peyton Jones2013-10-031-9/+10
* Make lazy unlifted bindings an error by default.Austin Seipp2013-09-291-5/+5
* Improve error reporting for "relevant bindings" again (Trac #8233)Simon Peyton Jones2013-09-101-28/+29
* Make Specialise close over kind variables (fixes Trac #8196)Simon Peyton Jones2013-09-021-3/+2
* Wibbles to yesterday's "Simplify kind generalisation" patchSimon Peyton Jones2013-05-221-3/+6
* Fix typechecking of pattern bindings that have type signatures (Trac #7268)Simon Peyton Jones2013-05-151-13/+8
* Merge branch 'refs/heads/vect-avoid' into vect-avoid-mergeManuel M T Chakravarty2013-02-061-7/+2
|\
| * Rewrote vectorisation avoidance (based on the HS paper)Manuel M T Chakravarty2012-12-051-7/+2
* | Pure refactoringSimon Peyton Jones2013-01-281-0/+1
* | Tidy up FunDeps.ocloseSimon Peyton Jones2013-01-151-0/+1
* | Merge remote branch 'origin/master'Simon Peyton Jones2013-01-081-2/+2
|\ \
| * | Refactor HsExpr.MatchGroupSimon Peyton Jones2013-01-041-2/+2
* | | Re-engineer the ambiguity test for user type signaturesSimon Peyton Jones2013-01-081-8/+20
|/ /
View Lorry Controller Status