projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix building of optional packages
[ghc-hetmet.git] / compiler / typecheck / TcBinds.lhs
2011-06-11 Simon Peyton JonesWithout -O do not complain about SPECIALISE pragmas... blob | commitdiff
2011-06-10 Manuel M T ChakravartyTake vectorisation declarations into account during... blob | commitdiff | diff to current
2011-05-02 Simon Peyton JonesMerge in changes from HEAD blob | commitdiff | diff to current
2011-04-30 Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co blob | commitdiff | diff to current
2011-04-19 simonpjSimplify treatement of pragmas slightly blob | commitdiff | diff to current
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New... blob | commitdiff | diff to current
2011-03-31 simonpj@microsoft.comFix Trac #5048: location on AbsBinds blob | commitdiff | diff to current
2011-03-31 simonpj@microsoft.comComments and variable naming only blob | commitdiff | diff to current
2011-02-20 Manuel M T ChakravartyAdded a VECTORISE pragma blob | commitdiff | diff to current
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine blob | commitdiff | diff to current
2010-12-02 simonpj@microsoft.comImprove error message (Trac #4799) blob | commitdiff | diff to current
2010-11-17 simonpj@microsoft.comFix Trac #4498: bang-pattern bindings are monomorphic blob | commitdiff | diff to current
2010-11-16 simonpj@microsoft.comWarn a bit less often about unlifted bindings. blob | commitdiff | diff to current
2010-11-05 simonpj@microsoft.comTrack change in isInlinePragma blob | commitdiff | diff to current
2010-10-27 simonpj@microsoft.comWarn (not error) for SPECIALISE pragmas without INLINE blob | commitdiff | diff to current
2010-10-21 simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli... blob | commitdiff | diff to current
2010-10-15 Simon MarlowInlinePrag needs an arity only for INLINE, not INLINABLE blob | commitdiff | diff to current
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and... blob | commitdiff | diff to current
2010-10-07 simonpj@microsoft.comImplement auto-specialisation of imported Ids blob | commitdiff | diff to current
2010-09-24 simonpj@microsoft.comFix an egregious bug: INLINE pragmas on monomorphic... blob | commitdiff | diff to current
2010-09-19 simonpj@microsoft.comAdd a flag -fwarn-missing-local-sigs, and improve ... blob | commitdiff | diff to current
2010-09-18 Ian LynaghAdd separate functions for querying DynFlag and Extensi... blob | commitdiff | diff to current
2010-09-17 simonpj@microsoft.comAdd types of implicit parameters as untouchable blob | commitdiff | diff to current
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
2010-09-11 Ian Lynaghput back the conversion of warn-lazy-unlifted-bindings... blob | commitdiff | diff to current
2010-07-21 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2010-05-06 Ian LynaghEnable the "redundant specialise pragmas" warning;... blob | commitdiff | diff to current
2010-03-04 simonpj@microsoft.comRefactor part of the renamer to fix Trac #3901 blob | commitdiff | diff to current
2010-01-06 simonpj@microsoft.comImprove the handling of default methods blob | commitdiff | diff to current
2009-10-29 simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN... blob | commitdiff | diff to current
2009-09-30 simonpj@microsoft.comFix Trac #3540: malformed types blob | commitdiff | diff to current
2009-09-17 Manuel M T ChakravartyUse CONF_CC_OPTS blob | commitdiff | diff to current
2009-07-07 Ian LynaghRemove unused imports blob | commitdiff | diff to current
2009-07-01 Max BolingbrokeSupport for -fwarn-unused-do-bind and -fwarn-wrong... blob | commitdiff | diff to current
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)