Imported ids without signatures are still inferred.
[ghc.git] / compiler / typecheck / TcBinds.hs
2015-07-10  Richard EisenbergImported ids without signatures are still inferred.
2015-07-09  Richard EisenbergRemove SkolemiseMode -- always go deep.
2015-07-09  Richard EisenbergBugfixing
2015-07-08  Richard EisenbergUndoing some changes
2015-07-08  Richard EisenbergCheckpoint in bugfixing
2015-07-08  Richard EisenbergYet another checkpoint
2015-06-30  Richard EisenbergStarting to compile.
2015-06-30  Richard EisenbergMidway through redesign of the type inference alg.
2015-06-28  Richard EisenbergTestsuite stuff from previous commit
2015-06-28  Richard EisenbergRetain System naems until the end of typechecking
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-02  Gabor GreifTypofixes
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-06  Austin SeippRevert "API Annotations : add Locations in hsSyn were...
2015-05-06  Alan ZimmermanAPI Annotations : add Locations in hsSyn were layout...
2015-04-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-02-19  Simon Peyton JonesComments only
2015-02-19  Thomas WinantFix #10045
2015-02-13  Simon Peyton JonesRefactor decideQuantification
2015-01-22  Simon Peyton JonesMerge branch 'master' of ssh://git.haskell.org/ghc
2015-01-20  Dr. ERDI GergoCosmetic: Fix all uses of the word 'worker' when referr...
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-14  Simon Peyton JonesRefactor handling of SPECIALISE pragmas (Trac #5821)
2015-01-09  Dr. ERDI GergoPattern synonym names need to be in scope before renami...
2015-01-09  Simon Peyton JonesMake TcRnMonad.reportWarning call makeIntoWarning
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesAlways generalise a partial type signature
2014-12-16  Peter WortmannGeneralized Coverage pass to allow adding multiple...
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-03  Austin Seippcompiler: de-lhs typecheck/