projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix haddock submodule pointer
[ghc-hetmet.git] / compiler / typecheck / TcType.lhs
2011-05-12 Simon Peyton JonesThe final batch of changes for the new coercion represe... commit | commitdiff
2011-04-30 Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co commit | commitdiff
2011-04-20 Simon Peyton JonesTidy up SigTv commit | commitdiff
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New... commit | commitdiff
2011-01-26 simonpj@microsoft.comLook through type synonyms when computing orphans commit | commitdiff
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine commit | commitdiff
2010-12-22 simonpj@microsoft.comMake mkDFunUnfolding more robust commit | commitdiff
2010-12-14 simonpj@microsoft.comFix Trac #4841: behave right with TypeSynonymInstances... commit | commitdiff
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809. commit | commitdiff
2010-12-02 simonpj@microsoft.comRe-jig simplifySuperClass (again) commit | commitdiff
2010-11-01 simonpj@microsoft.comWhite space only commit | commitdiff
2010-11-12 simonpj@microsoft.comA (final) re-engineering of the new typechecker commit | commitdiff
2010-10-21 simonpj@microsoft.comTidy up RuntimeUnkSkols a bit more commit | commitdiff
2010-10-19 simonpj@microsoft.comFix debugger commit | commitdiff
2010-10-19 simonpj@microsoft.comClean up the debugger code commit | commitdiff
2010-10-15 simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint... commit | commitdiff
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing commit | commitdiff
2010-09-18 Ian LynaghAdd separate functions for querying DynFlag and Extensi... commit | commitdiff
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... commit | commitdiff
2009-12-22 simonpj@microsoft.comMove isDictTy from TcType to Type commit | commitdiff
2009-10-29 simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN... commit | commitdiff
2009-07-27 Simon MarlowRemove old 'foreign import dotnet' code commit | commitdiff
2009-07-06 simonpj@microsoft.comTrim unused imports detected by new unused-import code commit | commitdiff
2009-06-09 Duncan CouttsTypechecking for "foreign import prim" commit | commitdiff
2009-05-27 simonpj@microsoft.comTemplate Haskell: allow type splices commit | commitdiff
2009-04-27 Manuel M T ChakravartyEquality constraint solver is now externally pure commit | commitdiff
2009-03-30 simonpj@microsoft.comRemove dead code (dataConsStupidTheta) commit | commitdiff
2009-03-26 Manuel M T ChakravartyTemplate Haskell: support for kind annotations commit | commitdiff
2009-03-05 simonpj@microsoft.comMake -fdicts-cheap cope with implication constraints commit | commitdiff
2009-03-05 simonpj@microsoft.comFinally fix Trac #3066 commit | commitdiff
2009-03-03 simonpj@microsoft.comFix Trac #3066: checking argument types in foreign... commit | commitdiff
2008-11-25 simonpj@microsoft.comFix Trac #2799: TcType.isOverloadedTy commit | commitdiff
2008-09-25 Manuel M T ChakravartyType families: fix decomposition problem commit | commitdiff
2008-09-10 simonpj@microsoft.comCheck the *right* set of type variables for escape! commit | commitdiff
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations... commit | commitdiff
2008-07-31 Max BolingbrokeSplit the Id related functions out from Var into Id... commit | commitdiff
2008-07-09 Simon Marlowadd -fwarn-dodgy-foreign-imports (see #1357) commit | commitdiff
2008-05-20 Ian LynaghMake TcType warning-free commit | commitdiff
2008-04-23 Ian LynaghAdd 123## literals for Word# commit | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcType commit | commitdiff
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h commit | commitdiff
2008-03-15 Ian LynaghRemove leftover NoteTy/FTVNote bits commit | commitdiff
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform commit | commitdiff
2007-11-06 simonpj@microsoft.comFix Trac #1813: generalise over *all* type variables... commit | commitdiff
2007-10-29 simonpj@microsoft.comImprove error-message output slightly commit | commitdiff
2007-10-19 Manuel M T ChakravartyZonk quantified tyvars with skolems commit | commitdiff
2007-10-11 simonpj@microsoft.comFix Trac #1680; check for unboxed tuples in TcType... commit | commitdiff
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs commit | commitdiff
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas commit | commitdiff
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... commit | commitdiff
2007-08-28 Manuel M T ChakravartyType checking for type synonym families commit | commitdiff
2007-08-09 simonpj@microsoft.comTidy up the treatment of newtypes, refactor, and fix... commit | commitdiff
2007-08-04 simonpj@microsoft.comFix Trac #1037 commit | commitdiff
2007-07-10 Ian LynaghFix tcInstHeadTyNotSynonym commit | commitdiff
2007-07-09 Ian LynaghAdd -XUnliftedFFITypes flag commit | commitdiff
2007-07-08 Ian LynaghAdd flags for TypeSynonymInstances and FlexibleInstances commit | commitdiff
2007-07-03 simonpj@microsoft.comImprove formatting of errors, and fix a typo commit | commitdiff
2007-06-29 simonpj@microsoft.comImprove name-printing on unification mis-matches, when... commit | commitdiff
2007-06-28 simonmar@microsoft.comFix typechecking bug with implicit parameters (Trac... commit | commitdiff
2007-05-07 simonpj@microsoft.comFIX Trac #1332: make isStringTy work right commit | commitdiff
2007-04-26 Simon MarlowGive a better error message when we try to print a... commit | commitdiff
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types commit | commitdiff
2007-02-19 simonpj@microsoft.comSignature type variables must not be instantiated with... commit | commitdiff
2007-01-11 simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it commit | commitdiff
2007-01-10 Manuel M T ChakravartycheckTauTvUpdate: take synonym families into account commit | commitdiff
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code commit | commitdiff
2006-12-28 Manuel M T ChakravartyParse and desugar equational constraints commit | commitdiff
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification commit | commitdiff
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference commit | commitdiff
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build commit | commitdiff
2006-10-11 Simon MarlowModule header tidyup, phase 1 commit | commitdiff
2006-09-20 bjorn@bringert.netMerged stand-alone deriving with FC stuff. commit | commitdiff
2006-09-18 bjorn@bringert.netAdded type signature for tcSplitSigmaTy. commit | commitdiff
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works commit | commitdiff
2006-09-25 simonpj@microsoft.comFix newtype deriving properly (un-doing Audreys patch) commit | commitdiff
2006-09-24 audreyt@audreyt.orgComment-only: Fix a typo, and note that the PredTy... commit | commitdiff
2006-09-24 audreyt@audreyt.orgIn tcSplittyConApp_maybe, add the PredTy case commit | commitdiff
2006-09-20 Manuel M T ChakravartySome more ASSERTs commit | commitdiff
2006-09-20 Manuel M T ChakravartyBasic set up for global family instance environment commit | commitdiff
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations commit | commitdiff
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables commit | commitdiff
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend... commit | commitdiff
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs commit | commitdiff
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... commit | commitdiff
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... commit | commitdiff
2006-07-14 simonpj@microsoft.comAdd some type signatures commit | commitdiff
2006-09-08 simonpj@microsoft.comCatch errors in pattern matching for unboxed tuples commit | commitdiff
2006-09-06 simonpj@microsoft.comPattern-match warning police commit | commitdiff
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments commit | commitdiff
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check commit | commitdiff
2006-07-04 Simon Marlowremove unused bits, mostly to do with the Addr type commit | commitdiff
2006-07-12 simonpj@microsoft.comComments and import trimming commit | commitdiff
2006-06-23 Simon Marlowthe unlifted kind commit | commitdiff
2006-04-18 Simon Marlowremove vestiges of ByteArray and MutableByteArray,... commit | commitdiff
2006-04-11 simonpj@microsoft.comAllow IO to be wrapped in a newtype in foreign import... commit | commitdiff
2006-04-07 Simon MarlowReorganisation of the source tree commit | commitdiff
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)