| 2011-05-04 |
Simon Peyton Jones | Final batch of monad-comprehension stuff |
blob | commitdiff |
| 2011-01-12 |
simonpj@microsoft.com | Major refactoring of the type inference engine |
blob | commitdiff | diff to current |
| 2010-11-05 |
simonpj@microsoft.com | Remove the now-unused constructor VarPatOut |
blob | commitdiff | diff to current |
| 2010-10-21 |
simonpj@microsoft.com | Tidy-up sweep, following the Great Skolemisation Simpli... |
blob | commitdiff | diff to current |
| 2010-10-08 |
simonpj@microsoft.com | Beautiful new approach to the skolem-escape check and... |
blob | commitdiff | diff to current |
| 2010-09-24 |
simonpj@microsoft.com | Fix an egregious bug: INLINE pragmas on monomorphic... |
blob | commitdiff | diff to current |
| 2010-09-18 |
Ian Lynagh | Add separate functions for querying DynFlag and Extensi... |
blob | commitdiff | diff to current |
| 2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
| 2010-07-24 |
Ian Lynagh | Separate the language flags from the other DynFlag's |
blob | commitdiff | diff to current |
| 2010-05-06 |
simonpj@microsoft.com | Add a comment about pattern coercions |
blob | commitdiff | diff to current |
| 2009-08-20 |
simonpj@microsoft.com | Improvements to record puns, wildcards |
blob | commitdiff | diff to current |
| 2009-07-24 |
Ian Lynagh | Remove GHC's haskell98 dependency |
blob | commitdiff | diff to current |
| 2009-07-07 |
Ian Lynagh | Remove unused imports |
blob | commitdiff | diff to current |
| 2009-07-01 |
Max Bolingbroke | Support for -fwarn-unused-do-bind and -fwarn-wrong... |
blob | commitdiff | diff to current |
| 2009-04-24 |
Ian Lynagh | Do the second part of #2806: Disallow unlifted types... |
blob | commitdiff | diff to current |
| 2009-04-24 |
Ian Lynagh | Tiny refactor |
blob | commitdiff | diff to current |
| 2009-02-04 |
simonpj@microsoft.com | Check -XGADTs in (a) type family decls (b) pattern... |
blob | commitdiff | diff to current |
| 2009-01-13 |
simonpj@microsoft.com | Rename isIdentityCoercion to isIdentityCoI; add Coercio... |
blob | commitdiff | diff to current |
| 2009-01-13 |
simonpj@microsoft.com | Improve error messages slightly |
blob | commitdiff | diff to current |
| 2008-10-30 |
simonpj@microsoft.com | Improve error reporting for non-rigid GADT matches |
blob | commitdiff | diff to current |
| 2008-09-20 |
simonpj@microsoft.com | Comments only: replace ":=:" by "~" (notation for equal... |
blob | commitdiff | diff to current |
| 2008-10-09 |
Manuel M T Chakravarty | FIX #2639 |
blob | commitdiff | diff to current |
| 2008-10-01 |
Manuel M T Chakravarty | Proper error message for unsupported pattern signatures |
blob | commitdiff | diff to current |
| 2008-10-01 |
Manuel M T Chakravarty | Make sure to zonk the kind of coercion variables |
blob | commitdiff | diff to current |
| 2008-08-01 |
simonpj@microsoft.com | Fix Trac #2478 |
blob | commitdiff | diff to current |
| 2008-06-10 |
Ian Lynagh | Fix warnings in TcPat |
blob | commitdiff | diff to current |
| 2008-05-06 |
simonpj@microsoft.com | Fix Trac #2246; overhaul handling of overloaded literals |
blob | commitdiff | diff to current |
| 2008-04-22 |
Ian Lynagh | Change the last few (F)SLIT's into (f)sLit's |
blob | commitdiff | diff to current |
| 2008-04-22 |
simonpj@microsoft.com | Rename WpCo to WpCast |
blob | commitdiff | diff to current |
| 2008-04-10 |
simonpj@microsoft.com | Fix Trac #2206: ensure the return type is rigid in... |
blob | commitdiff | diff to current |
| 2008-02-29 |
Manuel M T Chakravarty | Remove GADT refinements, part 3 |
blob | commitdiff | diff to current |
| 2008-02-28 |
Manuel M T Chakravarty | Remove GADT refinements, part 1 |
blob | commitdiff | diff to current |
| 2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcPat: use return and standard monad... |
blob | commitdiff | diff to current |
| 2008-01-18 |
simonpj@microsoft.com | Add quasi-quotation, courtesy of Geoffrey Mainland |
blob | commitdiff | diff to current |
| 2008-01-04 |
simonpj@microsoft.com | Do not consult -XGADTs flag when pattern matching on... |
blob | commitdiff | diff to current |
| 2007-12-24 |
simonpj@microsoft.com | When complaining about non-rigid context, give suggesti... |
blob | commitdiff | diff to current |
| 2007-12-08 |
Manuel M T Chakravarty | Coercions from boxy splitters must be sym'ed in pattern... |
blob | commitdiff | diff to current |
| 2007-12-07 |
Manuel M T Chakravarty | Properly keep track of whether normalising given or... |
blob | commitdiff | diff to current |
| 2007-11-20 |
Manuel M T Chakravarty | TcPat.tcConPat uses equalities instead of GADT refinement |
blob | commitdiff | diff to current |
| 2007-11-21 |
simonpj@microsoft.com | Make rebindable do-notation behave as advertised |
blob | commitdiff | diff to current |
| 2007-11-19 |
simonpj@microsoft.com | FIX Trac #1806: test for correct arity for datacon... |
blob | commitdiff | diff to current |
| 2007-11-14 |
simonpj@microsoft.com | FIX Trac 1662: actually check for existentials in proc... |
blob | commitdiff | diff to current |
| 2007-10-16 |
simonpj@microsoft.com | Fix #1662: do not simplify constraints for vanilla... |
blob | commitdiff | diff to current |
| 2007-10-10 |
Dan Licata | View patterns, record wildcards, and record puns |
blob | commitdiff | diff to current |
| 2007-09-29 |
Manuel M T Chakravarty | Some more traceTcs |
blob | commitdiff | diff to current |
| 2007-09-28 |
Manuel M T Chakravarty | FIX: Make boxy splitters aware of type families |
blob | commitdiff | diff to current |
| 2007-09-06 |
Manuel M T Chakravarty | Fix -DDEBUG warning |
blob | commitdiff | diff to current |
| 2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
blob | commitdiff | diff to current |
| 2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
blob | commitdiff | diff to current |
| 2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
blob | commitdiff | diff to current |
| 2007-08-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
blob | commitdiff | diff to current |
| 2007-06-21 |
simonpj@microsoft.com | Another wibble to the head-exploded error message ... |
blob | commitdiff | diff to current |
| 2007-06-21 |
simonpj@microsoft.com | Improve 'my head exploded' error message |
blob | commitdiff | diff to current |
| 2007-06-21 |
Lemmih | Add several new record features |
blob | commitdiff | diff to current |
| 2007-06-18 |
Lemmih | Remove the unused HsExpr constructor DictPat |
blob | commitdiff | diff to current |
| 2007-06-20 |
simonpj@microsoft.com | Implement -X=GADTs and -X=RelaxedPolyRec |
blob | commitdiff | diff to current |
| 2007-06-05 |
Ian Lynagh | Typo, spotted by Stefan Holdermans |
blob | commitdiff | diff to current |
| 2007-05-02 |
simonpj@microsoft.com | Comments, plus type sigs |
blob | commitdiff | diff to current |
| 2007-04-22 |
simonpj@microsoft.com | Fixes to datacon wrappers for indexed data types |
blob | commitdiff | diff to current |
| 2007-02-04 |
lennart@augustsson.net | Fix a comment typo. |
blob | commitdiff | diff to current |
| 2006-12-21 |
lennart@augustsson.net | Add support for overloaded string literals. |
blob | commitdiff | diff to current |
| 2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables |
blob | commitdiff | diff to current |
| 2006-12-11 |
simonpj@microsoft.com | Comments and layout only |
blob | commitdiff | diff to current |
| 2006-12-11 |
simonpj@microsoft.com | Remove strange extra print (a temporary debug?) |
blob | commitdiff | diff to current |
| 2006-11-24 |
simonpj@microsoft.com | Fix constraint handling for lazy patterns |
blob | commitdiff | diff to current |
| 2006-11-22 |
simonpj@microsoft.com | Improve error messages slightly |
blob | commitdiff | diff to current |
| 2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference |
blob | commitdiff | diff to current |
| 2006-10-13 |
simonpj@microsoft.com | Change type of TcGadt.refineType, plus consequences |
blob | commitdiff | diff to current |
| 2006-10-11 |
simonpj@microsoft.com | Make Inst into a record type to ease subsequent changes |
blob | commitdiff | diff to current |
| 2006-10-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
blob | commitdiff | diff to current |
| 2006-10-05 |
davve@dtek.chalmers.se | Merge Haddock comment support from ghc.haddock -- big... |
blob | commitdiff | diff to current |
| 2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
blob | commitdiff | diff to current |
| 2006-09-23 |
simonpj@microsoft.com | Fix origin for addDataConStupidTheta |
blob | commitdiff | diff to current |
| 2006-09-22 |
simonpj@microsoft.com | Add a crucial missing prime in tcConPat |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Adapt TcFix imports |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Pattern matching of indexed data types |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
| 2006-09-08 |
simonpj@microsoft.com | Catch errors in pattern matching for unboxed tuples |
blob | commitdiff | diff to current |
| 2006-09-07 |
simonpj@microsoft.com | Fix bug in error message |
blob | commitdiff | diff to current |
| 2006-08-08 |
simonpj@microsoft.com | Check that lazy patterns are for lifted types |
blob | commitdiff | diff to current |
| 2006-08-04 |
simonpj@microsoft.com | Do pre-subsumption in the main subsumption check |
blob | commitdiff | diff to current |
| 2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|
projects / ghc-hetmet.git / history