2009-06-09 |
Duncan Coutts | Typechecking for "foreign import prim" |
tree | commitdiff |
2009-06-11 |
Duncan Coutts | Deprecate the threadsafe kind of foreign import |
tree | commitdiff |
2009-06-08 |
Duncan Coutts | Check we're not using stdcall in foreign export on... |
tree | commitdiff |
2009-06-05 |
Ian Lynagh | Make a proper Opt_WarnLazyUnliftedBindings warning... |
tree | commitdiff |
2009-06-03 |
simonpj@microsoft.com | Allow RULES for seq, and exploit them |
tree | commitdiff |
2009-05-29 |
simonpj@microsoft.com | Implement -XMonoLocalBinds: a radical new flag |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Fix Trac #3262: suppress name-shadow warning for _names |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Print more nicely in -ddump-splices |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Fix Trac #3261: make default types play nice with ... |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Adjust error message slightly |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | White space only |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Move getMainFun to TcRnDriver, trim DynFlags imports |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Remove dead code isHsVar |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Separate flags -XDeriveFunctor, -XDeriveFoldable, ... |
tree | commitdiff |
2009-05-28 |
simonpj@microsoft.com | Add a comment |
tree | commitdiff |
2009-05-27 |
simonpj@microsoft.com | Fix Trac #3221: renamer warnings for deriving clauses |
tree | commitdiff |
2009-05-27 |
simonpj@microsoft.com | Template Haskell: allow type splices |
tree | commitdiff |
2009-05-27 |
simonpj@microsoft.com | Template Haskell: improve lifting for strings |
tree | commitdiff |
2009-05-26 |
Ian Lynagh | Wibble some comments to avoid haddock parse errors |
tree | commitdiff |
2009-05-13 |
simonpj@microsoft.com | Improve error reporting for kind errors (fix Trac ... |
tree | commitdiff |
2009-05-13 |
simonpj@microsoft.com | Fix Trac #3219: type of a record update |
tree | commitdiff |
2009-05-12 |
simonpj@microsoft.com | Improve error messages for type functions |
tree | commitdiff |
2009-04-27 |
Manuel M T Chakravarty | Equality constraint solver is now externally pure |
tree | commitdiff |
2009-04-24 |
Ian Lynagh | Do the second part of #2806: Disallow unlifted types... |
tree | commitdiff |
2009-04-24 |
Ian Lynagh | Tiny refactor |
tree | commitdiff |
2009-04-24 |
Ian Lynagh | Require a bang pattern when unlifted types are where... |
tree | commitdiff |
2009-04-23 |
simonpj@microsoft.com | Simplify the placeholder binding for naughty record... |
tree | commitdiff |
2009-04-23 |
simonpj@microsoft.com | Fix Trac #3176: intercept naughty record selectors |
tree | commitdiff |
2009-03-31 |
Ian Lynagh | Make some showSDoc's use OneLineMode rather than PageMode |
tree | commitdiff |
2009-03-30 |
simonpj@microsoft.com | Fix an nasty black hole, concerning computation of... |
tree | commitdiff |
2009-03-30 |
simonpj@microsoft.com | Add an extra print to -ddump-tc-trace |
tree | commitdiff |
2009-03-30 |
simonpj@microsoft.com | Remove dead code (dataConsStupidTheta) |
tree | commitdiff |
2009-03-26 |
Manuel M T Chakravarty | Template Haskell: support for kind annotations |
tree | commitdiff |
2009-03-25 |
Manuel M T Chakravarty | Template Haskell: make reify aware of type families |
tree | commitdiff |
2009-03-19 |
Manuel M T Chakravarty | Template Haskell support for equality constraints |
tree | commitdiff |
2009-03-18 |
simonpj@microsoft.com | Add the notion of "constructor-like" Ids for rule-matching |
tree | commitdiff |
2009-03-16 |
simonpj@microsoft.com | Reject foralls in constructor args in 'deriving', excep... |
tree | commitdiff |
2009-03-16 |
simonpj@microsoft.com | Fix Trac #3092 |
tree | commitdiff |
2009-03-15 |
Manuel M T Chakravarty | Ensure the orientation of var-var equalities is correct... |
tree | commitdiff |
2009-03-13 |
simonpj@microsoft.com | Fix Trac #3087: derived Data now defines dataCast1/2 |
tree | commitdiff |
2009-03-05 |
simonpj@microsoft.com | Make -fdicts-cheap cope with implication constraints |
tree | commitdiff |
2009-03-05 |
simonpj@microsoft.com | Finally fix Trac #3066 |
tree | commitdiff |
2009-03-04 |
simonpj@microsoft.com | Layout only |
tree | commitdiff |
2009-03-04 |
simonpj@microsoft.com | Fix a long-standing latent bug (and the build): check... |
tree | commitdiff |
2009-03-03 |
simonpj@microsoft.com | Fix Trac #3066: checking argument types in foreign... |
tree | commitdiff |
2009-03-03 |
simonpj@microsoft.com | Fix Trac #3057 in deriving Functor |
tree | commitdiff |
2009-03-03 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2009-02-23 |
simonpj@microsoft.com | Use 'nonIOok' instead of 'True'; cosmetics only |
tree | commitdiff |
2009-02-13 |
Ian Lynagh | Put RelaxedPolyRec in the cabal file rather than a... |
tree | commitdiff |
2009-02-11 |
simonpj@microsoft.com | Fix Trac #3017: ensure that we quantify over enough... |
tree | commitdiff |
2009-02-11 |
simonpj@microsoft.com | Turn another ASSERT into a WARN (temproraily) |
tree | commitdiff |
2009-02-06 |
Ian Lynagh | Fix building with GHC 6.8 |
tree | commitdiff |
2009-02-04 |
simonpj@microsoft.com | Check -XGADTs in (a) type family decls (b) pattern... |
tree | commitdiff |
2009-02-04 |
simonpj@microsoft.com | Improve error reports for kind checking (Trac #2994) |
tree | commitdiff |
2009-02-04 |
simonpj@microsoft.com | Further wibbles to 'deriving' for functor-like things |
tree | commitdiff |
2009-02-04 |
simonpj@microsoft.com | Fix Trac #2999: change an ASSERT to a WARN |
tree | commitdiff |
2009-01-15 |
simonpj@microsoft.com | Robustify lookupFamInstEnv, plus some refactoring |
tree | commitdiff |
2009-01-14 |
simonpj@microsoft.com | Robustify lookupFamInstEnv |
tree | commitdiff |
2009-02-02 |
simonpj@microsoft.com | Add the ability to derive instances of Functor, Foldabl... |
tree | commitdiff |
2009-01-30 |
simonpj@microsoft.com | Fix Trac #2985: generating superclasses and recursive... |
tree | commitdiff |
2009-01-30 |
simonpj@microsoft.com | White space only |
tree | commitdiff |
2009-01-14 |
Ian Lynagh | Remove redundant import; spotted by Thorkil Naur |
tree | commitdiff |
2009-01-13 |
simonpj@microsoft.com | Rename isIdentityCoercion to isIdentityCoI; add Coercio... |
tree | commitdiff |
2009-01-13 |
simonpj@microsoft.com | Spelling in comment only |
tree | commitdiff |
2009-01-13 |
simonpj@microsoft.com | Improve error messages slightly |
tree | commitdiff |
2009-01-02 |
simonpj@microsoft.com | Make record selectors into ordinary functions |
tree | commitdiff |
2008-12-31 |
simonpj@microsoft.com | Fix 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.com | Fix Trac #2856: make deriving work for type families |
tree | commitdiff |
2008-12-31 |
simonpj@microsoft.com | White space and spelling in comments |
tree | commitdiff |
2008-12-31 |
simonpj@microsoft.com | Improve error reporting for 'deriving' |
tree | commitdiff |
2008-12-30 |
simonpj@microsoft.com | Improve error message in deriving (fix Trac #2851) |
tree | commitdiff |
2008-12-30 |
simonpj@microsoft.com | Avoid nasty name clash with associated data types ... |
tree | commitdiff |
2008-12-30 |
simonpj@microsoft.com | Refactor RnEnv to fix Trac #2901 |
tree | commitdiff |
2008-12-30 |
simonpj@microsoft.com | Add quotes to error message |
tree | commitdiff |
2008-12-11 |
Thomas Schilling | Comments only. Haddockify parts of TcRnTypes. |
tree | commitdiff |
2008-12-16 |
Simon Marlow | Rollback INLINE patches |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Completely new treatment of INLINE pragmas (big patch) |
tree | commitdiff |
2008-08-14 |
dias@eecs.harvard.edu | Merging in the new codegen branch |
tree | commitdiff |
2008-11-25 |
simonpj@microsoft.com | Fix Trac #2799: TcType.isOverloadedTy |
tree | commitdiff |
2008-11-08 |
Ian Lynagh | Remove some dead code now that __GLASGOW_HASKELL__... |
tree | commitdiff |
2008-11-07 |
Clemens Fruhwirth | Replace couple of fromJust with expectJust |
tree | commitdiff |
2008-10-31 |
Thomas Schilling | Remove dead code. |
tree | commitdiff |
2008-11-03 |
simonpj@microsoft.com | Fix desugaring of record update (fixes Trac #2735) |
tree | commitdiff |
2008-10-31 |
Thomas Schilling | Quickfix for warning. |
tree | commitdiff |
2008-10-30 |
simonpj@microsoft.com | Improve error reporting for non-rigid GADT matches |
tree | commitdiff |
2008-10-30 |
simonpj@microsoft.com | Add (a) CoreM monad, (b) new Annotations feature |
tree | commitdiff |
2008-10-29 |
simonpj@microsoft.com | Fix tcrun031: yet more tidying up in TcDeriv |
tree | commitdiff |
2008-10-28 |
simonpj@microsoft.com | Mostly-fix Trac #2595: updates for existentials |
tree | commitdiff |
2008-10-28 |
simonpj@microsoft.com | Fix Trac #2723: keep track of record field names in... |
tree | commitdiff |
2008-10-28 |
simonpj@microsoft.com | Remove dead code |
tree | commitdiff |
2008-10-27 |
simonpj@microsoft.com | Fix Trac #2713: refactor and tidy up renaming of fixity... |
tree | commitdiff |
2008-10-25 |
simonpj@microsoft.com | Fix Trac #2701: make deriving check better for unlifted... |
tree | commitdiff |
2008-10-22 |
simonpj@microsoft.com | Fix Trac #2714 (a minor wibble) |
tree | commitdiff |
2008-10-21 |
Manuel M T Chakravarty | Reject programs with superclass equalities for now |
tree | commitdiff |
2008-10-21 |
Ian Lynagh | Fix doc syntax |
tree | commitdiff |
2008-10-21 |
simonpj@microsoft.com | Comments and parens only |
tree | commitdiff |
2008-10-21 |
simonpj@microsoft.com | Fix Trac #2668, and refactor TcDeriv |
tree | commitdiff |
2008-10-19 |
simonpj@microsoft.com | Comments to explain strict overlap checking for type... |
tree | commitdiff |
next |