projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improve error reporting for kind errors (fix Trac #1633)
[ghc-hetmet.git] / compiler / typecheck /
2009-05-13 simonpj@microsoft.comImprove error reporting for kind errors (fix Trac ... tree | commitdiff
2009-05-13 simonpj@microsoft.comFix Trac #3219: type of a record update tree | commitdiff
2009-05-12 simonpj@microsoft.comImprove error messages for type functions tree | commitdiff
2009-04-27 Manuel M T ChakravartyEquality constraint solver is now externally pure tree | commitdiff
2009-04-24 Ian LynaghDo the second part of #2806: Disallow unlifted types... tree | commitdiff
2009-04-24 Ian LynaghTiny refactor tree | commitdiff
2009-04-24 Ian LynaghRequire a bang pattern when unlifted types are where... tree | commitdiff
2009-04-23 simonpj@microsoft.comSimplify the placeholder binding for naughty record... tree | commitdiff
2009-04-23 simonpj@microsoft.comFix Trac #3176: intercept naughty record selectors tree | commitdiff
2009-03-31 Ian LynaghMake some showSDoc's use OneLineMode rather than PageMode tree | commitdiff
2009-03-30 simonpj@microsoft.comFix an nasty black hole, concerning computation of... tree | commitdiff
2009-03-30 simonpj@microsoft.comAdd an extra print to -ddump-tc-trace tree | commitdiff
2009-03-30 simonpj@microsoft.comRemove dead code (dataConsStupidTheta) tree | commitdiff
2009-03-26 Manuel M T ChakravartyTemplate Haskell: support for kind annotations tree | commitdiff
2009-03-25 Manuel M T ChakravartyTemplate Haskell: make reify aware of type families tree | commitdiff
2009-03-19 Manuel M T ChakravartyTemplate Haskell support for equality constraints tree | commitdiff
2009-03-18 simonpj@microsoft.comAdd the notion of "constructor-like" Ids for rule-matching tree | commitdiff
2009-03-16 simonpj@microsoft.comReject foralls in constructor args in 'deriving', excep... tree | commitdiff
2009-03-16 simonpj@microsoft.comFix Trac #3092 tree | commitdiff
2009-03-15 Manuel M T ChakravartyEnsure the orientation of var-var equalities is correct... tree | commitdiff
2009-03-13 simonpj@microsoft.comFix Trac #3087: derived Data now defines dataCast1/2 tree | commitdiff
2009-03-05 simonpj@microsoft.comMake -fdicts-cheap cope with implication constraints tree | commitdiff
2009-03-05 simonpj@microsoft.comFinally fix Trac #3066 tree | commitdiff
2009-03-04 simonpj@microsoft.comLayout only tree | commitdiff
2009-03-04 simonpj@microsoft.comFix a long-standing latent bug (and the build): check... tree | commitdiff
2009-03-03 simonpj@microsoft.comFix Trac #3066: checking argument types in foreign... tree | commitdiff
2009-03-03 simonpj@microsoft.comFix Trac #3057 in deriving Functor tree | commitdiff
2009-03-03 simonpj@microsoft.comComments only tree | commitdiff
2009-02-23 simonpj@microsoft.comUse 'nonIOok' instead of 'True'; cosmetics only tree | commitdiff
2009-02-13 Ian LynaghPut RelaxedPolyRec in the cabal file rather than a... tree | commitdiff
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough... tree | commitdiff
2009-02-11 simonpj@microsoft.comTurn another ASSERT into a WARN (temproraily) tree | commitdiff
2009-02-06 Ian LynaghFix building with GHC 6.8 tree | commitdiff
2009-02-04 simonpj@microsoft.comCheck -XGADTs in (a) type family decls (b) pattern... tree | commitdiff
2009-02-04 simonpj@microsoft.comImprove error reports for kind checking (Trac #2994) tree | commitdiff
2009-02-04 simonpj@microsoft.comFurther wibbles to 'deriving' for functor-like things tree | commitdiff
2009-02-04 simonpj@microsoft.comFix Trac #2999: change an ASSERT to a WARN tree | commitdiff
2009-01-15 simonpj@microsoft.comRobustify lookupFamInstEnv, plus some refactoring tree | commitdiff
2009-01-14 simonpj@microsoft.comRobustify lookupFamInstEnv tree | commitdiff
2009-02-02 simonpj@microsoft.comAdd the ability to derive instances of Functor, Foldabl... tree | commitdiff
2009-01-30 simonpj@microsoft.comFix Trac #2985: generating superclasses and recursive... tree | commitdiff
2009-01-30 simonpj@microsoft.comWhite space only tree | commitdiff
2009-01-14 Ian LynaghRemove redundant import; spotted by Thorkil Naur tree | commitdiff
2009-01-13 simonpj@microsoft.comRename isIdentityCoercion to isIdentityCoI; add Coercio... tree | commitdiff
2009-01-13 simonpj@microsoft.comSpelling in comment only tree | commitdiff
2009-01-13 simonpj@microsoft.comImprove error messages slightly tree | commitdiff
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions tree | commitdiff
2008-12-31 simonpj@microsoft.comFix Trac #2721: reject newtype deriving if the class... tree | commitdiff
2008-12-31 simonpj@microsoft.com-XImpredicativeTypes implies -XRankNTypes, and improve... tree | commitdiff
2008-12-31 simonpj@microsoft.comFix Trac #2856: make deriving work for type families tree | commitdiff
2008-12-31 simonpj@microsoft.comWhite space and spelling in comments tree | commitdiff
2008-12-31 simonpj@microsoft.comImprove error reporting for 'deriving' tree | commitdiff
2008-12-30 simonpj@microsoft.comImprove error message in deriving (fix Trac #2851) tree | commitdiff
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ... tree | commitdiff
2008-12-30 simonpj@microsoft.comRefactor RnEnv to fix Trac #2901 tree | commitdiff
2008-12-30 simonpj@microsoft.comAdd quotes to error message tree | commitdiff
2008-12-11 Thomas SchillingComments only. Haddockify parts of TcRnTypes. tree | commitdiff
2008-12-16 Simon MarlowRollback INLINE patches tree | commitdiff
2008-12-05 simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch) tree | commitdiff
2008-08-14 dias@eecs.harvard.eduMerging in the new codegen branch tree | commitdiff
2008-11-25 simonpj@microsoft.comFix Trac #2799: TcType.isOverloadedTy tree | commitdiff
2008-11-08 Ian LynaghRemove some dead code now that __GLASGOW_HASKELL__... tree | commitdiff
2008-11-07 Clemens FruhwirthReplace couple of fromJust with expectJust tree | commitdiff
2008-10-31 Thomas SchillingRemove dead code. tree | commitdiff
2008-11-03 simonpj@microsoft.comFix desugaring of record update (fixes Trac #2735) tree | commitdiff
2008-10-31 Thomas SchillingQuickfix for warning. tree | commitdiff
2008-10-30 simonpj@microsoft.comImprove error reporting for non-rigid GADT matches tree | commitdiff
2008-10-30 simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature tree | commitdiff
2008-10-29 simonpj@microsoft.comFix tcrun031: yet more tidying up in TcDeriv tree | commitdiff
2008-10-28 simonpj@microsoft.comMostly-fix Trac #2595: updates for existentials tree | commitdiff
2008-10-28 simonpj@microsoft.comFix Trac #2723: keep track of record field names in... tree | commitdiff
2008-10-28 simonpj@microsoft.comRemove dead code tree | commitdiff
2008-10-27 simonpj@microsoft.comFix Trac #2713: refactor and tidy up renaming of fixity... tree | commitdiff
2008-10-25 simonpj@microsoft.comFix Trac #2701: make deriving check better for unlifted... tree | commitdiff
2008-10-22 simonpj@microsoft.comFix Trac #2714 (a minor wibble) tree | commitdiff
2008-10-21 Manuel M T ChakravartyReject programs with superclass equalities for now tree | commitdiff
2008-10-21 Ian LynaghFix doc syntax tree | commitdiff
2008-10-21 simonpj@microsoft.comComments and parens only tree | commitdiff
2008-10-21 simonpj@microsoft.comFix Trac #2668, and refactor TcDeriv tree | commitdiff
2008-10-19 simonpj@microsoft.comComments to explain strict overlap checking for type... tree | commitdiff
2008-09-23 simonpj@microsoft.comAllow type families to use GADT syntax (and be GADTs) tree | commitdiff
2008-09-20 simonpj@microsoft.comWibble to ungrammatical error message tree | commitdiff
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal... tree | commitdiff
2008-10-21 Manuel M T ChakravartyFIX #2693 tree | commitdiff
2008-10-21 Manuel M T ChakravartyFIX #2688 tree | commitdiff
2008-10-15 simonpj@microsoft.comComments only tree | commitdiff
2008-10-09 Manuel M T ChakravartyFIX #2639 tree | commitdiff
2008-10-03 simonpj@microsoft.comFix warnings tree | commitdiff
2008-10-03 Ian LynaghUse a proper exception for IOEnvFailure, not just a... tree | commitdiff
2008-10-03 Ian LynaghUse an extensible-exceptions package when bootstrapping tree | commitdiff
2008-10-03 simonpj@microsoft.comExpunge ThFake, cure Trac #2632 tree | commitdiff
2008-10-03 simonpj@microsoft.comAdd ASSERTs to all calls of nameModule tree | commitdiff
2008-10-02 Manuel M T ChakravartyClean up some comments tree | commitdiff
2008-10-02 simonpj@microsoft.comComments only tree | commitdiff
2008-10-01 Manuel M T ChakravartyProper error message for unsupported pattern signatures tree | commitdiff
2008-10-01 Manuel M T ChakravartyTFs: Fixed InstContextNorm (and simplification of IPs) tree | commitdiff
2008-10-01 Manuel M T ChakravartyTcSimplify.reduceImplication: clean up tree | commitdiff
2008-10-01 Manuel M T ChakravartyMake sure to zonk the kind of coercion variables tree | commitdiff
2008-09-30 Manuel M T ChakravartyType families: need to instantiate flexible skolems... tree | commitdiff
2008-09-29 Manuel M T ChakravartyFix warnings tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)