projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
merge GHC HEAD
[ghc-hetmet.git] / compiler / typecheck / TcExpr.lhs
2011-05-31 Adam Megaczmerge GHC HEAD blob | commitdiff
2011-05-09 Adam Megaczupdate compiler using *->*->* as the kind of environmen... blob | commitdiff | diff to current
2011-05-06 Simon Peyton JonesMerge master into the ghc-new-co branch blob | commitdiff | diff to current
2011-05-04 Simon Peyton JonesImprove error message when a function is applied blob | commitdiff | diff to current
2011-04-29 Simon Peyton JonesSimon's hacking on monad-comp; incomplete blob | commitdiff | diff to current
2011-04-28 Simon Peyton JonesPreliminary monad-comprehension patch (Trac #4370) 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-14 Adam Megaczeliminate reliance on -XRebindableSyntax blob | commitdiff | diff to current
2011-03-08 Adam Megaczhandle stage-(n+1) literals properly by expanding them... blob | commitdiff | diff to current
2011-03-03 Adam Megaczrebase to ghc main repo blob | commitdiff | diff to current
2011-03-02 Adam MegaczInitial checkin of HetMet / -XModalTypes modifications 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.comMake rebindable if-then-else a little more permissive blob | commitdiff | diff to current
2010-10-22 simonpj@microsoft.comAdd rebindable syntax for if-then-else blob | commitdiff | diff to current
2010-10-21 simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli... blob | commitdiff | diff to current
2010-09-18 Ian LynaghAdd separate functions for querying DynFlag and Extensi... blob | commitdiff | diff to current
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
2010-05-06 simonpj@microsoft.comFix Trac #3966: warn about useless UNPACK pragmas blob | commitdiff | diff to current
2009-10-29 simonpj@microsoft.comComments and -ddump-tc-trace wibbles only blob | commitdiff | diff to current
2009-10-20 simonpj@microsoft.comFix Trac #3590: a nasty type-checker bug in left/right... blob | commitdiff | diff to current
2009-09-24 Ian LynaghErrors talking about a left section should refer to... blob | commitdiff | diff to current
2009-09-10 simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467) blob | commitdiff | diff to current
2009-07-23 simonpj@microsoft.comAdd tuple sections as a new feature blob | commitdiff | diff to current
2009-07-02 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2009-06-25 simonpj@microsoft.comFix Trac #3323: naughty record selectors again blob | commitdiff | diff to current
2009-05-27 simonpj@microsoft.comTemplate Haskell: improve lifting for strings blob | commitdiff | diff to current
2009-05-26 Ian LynaghWibble some comments to avoid haddock parse errors blob | commitdiff | diff to current
2009-05-13 simonpj@microsoft.comFix Trac #3219: type of a record update blob | commitdiff | diff to current
2009-04-23 simonpj@microsoft.comFix Trac #3176: intercept naughty record selectors 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-11-03 simonpj@microsoft.comFix desugaring of record update (fixes Trac #2735) blob | commitdiff | diff to current
2008-10-30 simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature blob | commitdiff | diff to current
2008-10-28 simonpj@microsoft.comMostly-fix Trac #2595: updates for existentials blob | commitdiff | diff to current
2008-09-20 simonpj@microsoft.comWibble to ungrammatical error message blob | commitdiff | diff to current
2008-09-20 simonpj@microsoft.comFix Trac #2597 (first bug): correct type checking for... blob | commitdiff | diff to current
2008-09-10 simonpj@microsoft.comMore refactoring of instance declarations (fixes Trac... blob | commitdiff | diff to current
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations... blob | commitdiff | diff to current
2008-07-12 Ian LynaghAdd PostfixOperators flag for (e op) postfix operators... blob | commitdiff | diff to current
2008-05-15 simonpj@microsoft.comTuples cannot contain unboxed types blob | commitdiff | diff to current
2008-05-20 Roman LeshchinskiyMake -f[no-]method-sharing a dynamic flag blob | commitdiff | diff to current
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcExpr blob | commitdiff | diff to current
2008-04-22 simonpj@microsoft.comRename WpCo to WpCast blob | commitdiff | diff to current
2008-01-17 Twan van LaarhovenMonadify typecheck/TcExpr: use do, return and standard... blob | commitdiff | diff to current
2008-01-18 simonpj@microsoft.comAdd quasi-quotation, courtesy of Geoffrey Mainland blob | commitdiff | diff to current
2007-12-20 simonpj@microsoft.comImplement generalised list comprehensions 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 #1814 (staging interaction in Template Haskell... blob | commitdiff | diff to current
2007-10-10 Dan LicataView patterns, record wildcards, and record puns blob | commitdiff | diff to current
2007-09-28 Manuel M T ChakravartyFIX: Make boxy splitters aware of type families 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-06-21 LemmihAdd several new record features blob | commitdiff | diff to current
2007-06-06 simonpj@microsoft.comFIX #1385: make sure tuple instances are loaded blob | commitdiff | diff to current
2007-05-10 simonpj@microsoft.comDead code elimination blob | commitdiff | diff to current
2007-05-02 simonpj@microsoft.comMake records work properly with type families blob | commitdiff | diff to current
2007-02-04 lennart@augustsson.netMake HsRecordBinds a data type instead of a synonym. blob | commitdiff | diff to current
2007-02-04 lennart@augustsson.netFix a typo. blob | commitdiff | diff to current
2007-01-09 simonpj@microsoft.comPreserve rigidity for GADTs when typechecking explicit... blob | commitdiff | diff to current
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code blob | commitdiff | diff to current
2006-12-29 andy@galois.comAdding a GENERATED pragma blob | commitdiff | diff to current
2006-12-13 simonpj@microsoft.comAdd left-to-right impredicative instantiation blob | commitdiff | diff to current
2006-12-11 simonpj@microsoft.comComments and layout only blob | commitdiff | diff to current
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build 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.comRemove Linear Implicit Parameters, and all their works blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comFix origin for addDataConStupidTheta blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartySPJ's fix to resolve conflict in instFun blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyAdjust code from manual merges blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyFix a couple of stage-2 bogosities blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend... 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-08-19 Ross Patersonremove spurious commas in imports blob | commitdiff | diff to current
2006-08-18 simonpj@microsoft.comI don't thing we want to add a call-context here; it... blob | commitdiff | diff to current
2006-08-16 simonpj@microsoft.comAdd ad-hoc typing checks for tagToEnum# blob | commitdiff | diff to current
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check blob | commitdiff | diff to current
2006-04-14 simonpj@microsoft.comRecover gracefully from a Template Haskell programmers... 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)