projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Support for -fwarn-unused-do-bind and -fwarn-wrong-do-bind, as per #3263
[ghc-hetmet.git] / compiler / typecheck / TcBinds.lhs
2009-07-01 Max BolingbrokeSupport for -fwarn-unused-do-bind and -fwarn-wrong... blob | commitdiff
2009-06-05 Ian LynaghMake a proper Opt_WarnLazyUnliftedBindings warning... blob | commitdiff | diff to current
2009-05-29 simonpj@microsoft.comImplement -XMonoLocalBinds: a radical new flag blob | commitdiff | diff to current
2009-04-24 Ian LynaghRequire a bang pattern when unlifted types are where... blob | commitdiff | diff to current
2009-01-13 simonpj@microsoft.comRename isIdentityCoercion to isIdentityCoI; add Coercio... blob | commitdiff | diff to current
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions blob | commitdiff | diff to current
2008-12-16 Simon MarlowRollback INLINE patches blob | commitdiff | diff to current
2008-12-05 simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch) blob | commitdiff | diff to current
2008-09-10 simonpj@microsoft.comSimplify the type signature for tcPolyBinds blob | commitdiff | diff to current
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations... blob | commitdiff | diff to current
2008-08-27 simonpj@microsoft.comFix Trac #745: improve error recoevery for type signatures blob | commitdiff | diff to current
2008-07-31 Max BolingbrokeFollow Digraph changes in TcBinds blob | commitdiff | diff to current
2008-07-31 Max BolingbrokeSplit the Id related functions out from Var into Id... blob | commitdiff | diff to current
2008-07-20 Thomas SchillingFix Haddock errors. blob | commitdiff | diff to current
2008-06-16 Ian LynaghMore commandline flag improvements blob | commitdiff | diff to current
2008-05-18 Ian LynaghMake TcBinds warning-free blob | commitdiff | diff to current
2008-05-18 Ian LynaghDetab TcBinds blob | commitdiff | diff to current
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcBinds blob | commitdiff | diff to current
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h blob | commitdiff | diff to current
2008-03-05 Ian LynaghImprove no-type-signature warning blob | commitdiff | diff to current
2008-01-17 Twan van LaarhovenMonadify typecheck/TcBinds: use do, return and standard... blob | commitdiff | diff to current
2008-01-22 simonpj@microsoft.comTidy up the treatment of SPECIALISE pragmas blob | commitdiff | diff to current
2008-01-10 simonpj@microsoft.comFix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec blob | commitdiff | diff to current
2007-11-21 simonpj@microsoft.comMake rebindable do-notation behave as advertised blob | commitdiff | diff to current
2007-11-06 simonpj@microsoft.comFix Trac #1813: generalise over *all* type variables... blob | commitdiff | diff to current
2007-10-27 simonpj@microsoft.comIn an AbsBinds, the 'dicts' can include EqInsts blob | commitdiff | diff to current
2007-09-06 simonpj@microsoft.comFix zonking in mkExports blob | commitdiff | diff to current
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs blob | commitdiff | diff to current
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas blob | commitdiff | diff to current
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... blob | commitdiff | diff to current
2007-08-28 Manuel M T ChakravartyType checking for type synonym families blob | commitdiff | diff to current
2007-08-22 simonpj@microsoft.comPrint infix function definitions correctly in HsSyn blob | commitdiff | diff to current
2007-06-20 simonpj@microsoft.comImplement -X=GADTs and -X=RelaxedPolyRec blob | commitdiff | diff to current
2007-04-25 simonpj@microsoft.comGive the inferred type when warning of a missing type... blob | commitdiff | diff to current
2007-04-22 simonpj@microsoft.comFix corner case of useless constraint in SPECIALISE... blob | commitdiff | diff to current
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification blob | commitdiff | diff to current
2006-11-10 Samuel BronsonZap stray whitespace in lhs formatting blob | commitdiff | diff to current
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference blob | commitdiff | diff to current
2006-10-24 andy@galois.comHaskell Program Coverage blob | commitdiff | diff to current
2006-10-11 simonpj@microsoft.comMake Inst into a record type to ease subsequent changes blob | commitdiff | diff to current
2006-10-11 Simon MarlowModule header tidyup, phase 1 blob | commitdiff | diff to current
2006-10-03 simonpj@microsoft.comFix scoped type variables for expression type signatures blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... blob | commitdiff | diff to current
2006-09-18 simonpj@microsoft.comEnsure that only zonked poly_ids are passed to tcSpecPrag blob | commitdiff | diff to current
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments blob | commitdiff | diff to current
2006-09-05 simonpj@microsoft.comFix dependency analysis (notably bindInstsOfLocalFuns... blob | commitdiff | diff to current
2006-08-11 simonpj@microsoft.comComplete -fmono-pat-binds patch blob | commitdiff | diff to current
2006-08-11 simonpj@microsoft.comImprove error message layouts blob | commitdiff | diff to current
2006-07-22 simonpj@microsoft.comAdd -fmono-pat-binds, and make it the default blob | commitdiff | diff to current
2006-06-21 simonpj@microsoft.comComment only blob | commitdiff | diff to current
2006-06-12 simonpj@microsoft.comMake scoped type variables work for default methods blob | commitdiff | diff to current
2006-04-14 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2006-04-07 Simon MarlowReorganisation of the source tree blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)