Comments only
[ghc.git] / compiler / typecheck /
2013-08-14  Jan StolarekComparison primops return Int# (Fixes #6135)
2013-08-05  Richard EisenbergAdded support for writing and checking closed type...
2013-08-04  Richard EisenbergRefactor checking for GADT-like datacons' return types
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-07-30  Ian LynaghRename doDynamicToo to dynamicTooMkDynamicDynFlags
2013-06-28  Richard EisenbergMerge branch 'master' of ssh://
2013-06-28  Richard EisenbergFix Trac #8018.
2013-06-28  Simon Peyton JonesMerge TcSMonad.matchClass into TcInteract.matchClassInst
2013-06-28  Richard EisenbergMerge branch 'master' of ssh://
2013-06-28  Richard EisenbergFix stale comments around closed type families.
2013-06-28  Richard EisenbergFix Trac #7939, and add kind inference to closed type...
2013-06-25  Simon Peyton JonesComments for Trac #7989
2013-06-25  Takano AkioImprove "No data constructor has all these fields"...
2013-06-24  Simon Peyton JonesWhite space and ordering only
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-06-19  Austin SeippFix many ASSERT uses under Clang.
2013-06-17  Simon Peyton JonesEmit addUsedRdrNames for the datacons in a standalone...
2013-06-12  Simon Peyton JonesRemove dead code
2013-06-12  Simon Peyton JonesRemove trace that sometimes causes a loop
2013-06-12  Simon Peyton JonesFix the constraint simplifier (Trac #7967)
2013-06-11  Ian LynaghMerge branch 'master' of
2013-06-10  Simon Peyton JonesTrace statements only
2013-06-10  Simon Peyton JonesMake sure we quantify over the context in data constructors
2013-06-10  Simon Peyton JonesFix egregious typo in cmpTypeX
2013-06-06  Simon Peyton JonesAdd TyCon.checkRecTc, and use in in typeArity
2013-06-05  Krzysztof GogolewskiFix panic on deriving a nullary typeclass (#7959)
2013-06-03  Geoffrey MainlandUntabify
2013-05-30  Simon Peyton JonesFix Read for empty data types (again; Trac #7931)
2013-05-30  Simon Peyton JonesEta-reduce data/newtype family instance axioms (Trac...
2013-05-30  Simon Peyton JonesImprove validity check to give better error message
2013-05-30  Simon Peyton JonesUse new TcHsType.zonkSigType to establish Type invariants
2013-05-30  Simon Peyton JonesMake 'SPECIALISE instance' work again
2013-05-28  Simon Peyton JonesDo not do an ambiguity check on the type in a GHCi...
2013-05-28  Simon Peyton JonesAccept derived Read on an empty data type (Trac #7931)
2013-05-22  Simon Peyton JonesWibbles to yesterday's "Simplify kind generalisation...
2013-05-21  Jose Pedro MagalhaesFix #5863
2013-05-21  Jose Pedro MagalhaesMake AutoDeriveTypeable derive Typeable instances for...
2013-05-21  Simon Peyton JonesSimplify kind generalisation, and fix Trac #7916
2013-05-19  Ian LynaghAdd some extra debugging info
2013-05-15  Ian LynaghMerge branch 'master' of
2013-05-15  Simon Peyton JonesMake reifyInstances expand type synonyms robustly ...
2013-05-15  Simon Peyton JonesComments only
2013-05-15  Simon Peyton JonesFix typechecking of pattern bindings that have type...
2013-05-12  Ian LynaghMerge win:/cygdrive/c/ghc/git/dt
2013-05-12  Ian LynaghModernise some code
2013-05-12  Ian LynaghRemove a "returnM = return" wrapper in typecheck/TcHsSy...
2013-05-12  Ian LynaghRemove a "mappM = mapM" wrapper in typecheck/TcHsSyn.lhs
2013-05-12  Ian LynaghWhitespace only in typecheck/TcHsSyn.lhs
2013-05-12  Ian LynaghRemove an old commented out import
2013-05-10  Ian LynaghMake -fno-flat-cache use a dynamic, rather than static...
2013-05-09  Patrick PalkaUpdate the name cache when creating new names via Deriv...
2013-05-07  Jose Pedro MagalhaesAllow deriving Typeable for more tycons
2013-05-03  Simon Peyton JonesImprove error message for existential newtypes
2013-05-03  Simon Peyton JonesIn doTopReactDict, try lookup even if fundeps work
2013-05-03  Simon Peyton JonesFix kind quantification (again)
2013-05-03  Simon Peyton JonesEliminate (given) flatten-skolems in favour of user...
2013-04-30  Simon Peyton JonesFix comment to placate Haddock
2013-04-30  Simon Peyton JonesExend the "Too few args" message for naked Ids (Trac...
2013-04-30  Simon Peyton JonesSuppress a misleading error message (Trac #7869)
2013-04-30  Simon Peyton JonesTighten up on the kind checking for foralls
2013-04-25  Gabor GreifFixed moer tyops
2013-04-25  Richard EisenbergUpdated documentation; changed "group" to "branched...
2013-04-24  Jose Pedro MagalhaesAllow deriving Generic for polykinded phantom types
2013-04-23  Simon Peyton JonesComments and debug messages only
2013-04-23  Simon Peyton JonesComment typo
2013-04-22  Simon Peyton JonesFurther wibbbling to type error message reporting
2013-04-22  Simon Peyton JonesNever unify a SigTyVar with a non-tyvar type (fixes...
2013-04-22  Simon Peyton JonesWhen zonking, get rid of empty implications
2013-04-22  Simon Peyton JonesComments only
2013-04-22  Simon Peyton JonesTiny wibble to trace message
2013-04-21  Krzysztof GogolewskiDisplay operators using parentheses/backticks in error...
2013-04-19  Simon Peyton JonesMerge branch 'master' of
2013-04-16  Simon Peyton JonesMerge branch 'master' of
2013-04-16  Simon Peyton JonesAllow partial applications of a type synonym in :kind...
2013-04-16  Simon Peyton JonesRemove accidentally-inserted tabs
2013-04-16  Simon Peyton JonesComments and debug output only
2013-04-15  Simon Peyton JonesImprove the "main is not defined in Main" message a...
2013-04-15  Simon Peyton JonesMerge branch 'master' of
2013-04-12  Simon Peyton JonesChange wording of "main is not defined in Main" message...
2013-04-03  Simon Peyton JonesMerge branch 'master' of
2013-04-03  Simon Peyton JonesFix Trac #7804, about floating equalites
2013-04-03  Simon Peyton JonesFix Trac #7805: don't allow nested foralls in promoted...
2013-04-03  Simon Peyton JonesThis changes fixes a bad error in canonicalisation...
2013-03-27  Simon Peyton JonesComment typo
2013-03-16  Ian LynaghMerge branch 'master' of
2013-03-15  Patrick PalkaImplement type family instance support for ":info"...
2013-03-13  Simon Peyton JonesImplement nullary type classes (#7642)
2013-03-13  Krzysztof GogolewskiRemove tabs and trailing whitespace from TcTyClsDecls
2013-03-09  Ian LynaghMerge branch 'master' of
2013-03-09  Simon Peyton JonesSlight tidy-up to Pedro's work on Typeable
2013-03-08  Simon Peyton JonesMerge branch 'master' of
2013-03-08  Jose Pedro MagalhaesDo not generate duplicate instances with AutoDeriveTypeable
2013-03-08  Jose Pedro MagalhaesProperly instantiate the kind of the tycon when derivin...
2013-03-04  Simon Peyton JonesMerge branch 'master' of
2013-03-04  Simon Peyton JonesRearrange the typechecking of arrows, especially arrow...
2013-03-04  Ian LynaghMerge branch 'master' of
2013-03-03  Simon Peyton JonesComments and type signatures only
2013-03-03  Simon Peyton JonesTreat equalities with incompatible kinds as "irreducibl...
2013-02-28  Gabor GreifTypo
2013-02-21  Ian LynaghMerge branch 'master' of