| 2007-08-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
blob | commitdiff |
| 2007-08-09 |
simonpj@microsoft.com | Tidy up the treatment of newtypes, refactor, and fix... |
blob | commitdiff | diff to current |
| 2007-08-04 |
simonpj@microsoft.com | Fix Trac #1037 |
blob | commitdiff | diff to current |
| 2007-07-10 |
Ian Lynagh | Fix tcInstHeadTyNotSynonym |
blob | commitdiff | diff to current |
| 2007-07-09 |
Ian Lynagh | Add -XUnliftedFFITypes flag |
blob | commitdiff | diff to current |
| 2007-07-08 |
Ian Lynagh | Add flags for TypeSynonymInstances and FlexibleInstances |
blob | commitdiff | diff to current |
| 2007-07-03 |
simonpj@microsoft.com | Improve formatting of errors, and fix a typo |
blob | commitdiff | diff to current |
| 2007-06-29 |
simonpj@microsoft.com | Improve name-printing on unification mis-matches, when... |
blob | commitdiff | diff to current |
| 2007-06-28 |
simonmar@microsoft.com | Fix typechecking bug with implicit parameters (Trac... |
blob | commitdiff | diff to current |
| 2007-05-07 |
simonpj@microsoft.com | FIX Trac #1332: make isStringTy work right |
blob | commitdiff | diff to current |
| 2007-04-26 |
Simon Marlow | Give a better error message when we try to print a... |
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-19 |
simonpj@microsoft.com | Signature type variables must not be instantiated with... |
blob | commitdiff | diff to current |
| 2007-01-11 |
simonpj@microsoft.com | Add the function TypeRep.pprTypeApp, and use it |
blob | commitdiff | diff to current |
| 2007-01-10 |
Manuel M T Chakravarty | checkTauTvUpdate: take synonym families into account |
blob | commitdiff | diff to current |
| 2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
blob | commitdiff | diff to current |
| 2006-12-28 |
Manuel M T Chakravarty | Parse and desugar equational constraints |
blob | commitdiff | diff to current |
| 2006-12-11 |
simonpj@microsoft.com | More refactoring of constraint simplification |
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-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
blob | commitdiff | diff to current |
| 2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
blob | commitdiff | diff to current |
| 2006-09-20 |
bjorn@bringert.net | Merged stand-alone deriving with FC stuff. |
blob | commitdiff | diff to current |
| 2006-09-18 |
bjorn@bringert.net | Added type signature for tcSplitSigmaTy. |
blob | commitdiff | diff to current |
| 2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
blob | commitdiff | diff to current |
| 2006-09-25 |
simonpj@microsoft.com | Fix newtype deriving properly (un-doing Audreys patch) |
blob | commitdiff | diff to current |
| 2006-09-24 |
audreyt@audreyt.org | Comment-only: Fix a typo, and note that the PredTy... |
blob | commitdiff | diff to current |
| 2006-09-24 |
audreyt@audreyt.org | In tcSplittyConApp_maybe, add the PredTy case |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Some more ASSERTs |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Basic set up for global family instance environment |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | Extended TyCon and friends to represent family declarations |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | fix bugs, add boolean flag to identify coercion variables |
blob | commitdiff | diff to current |
| 2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
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 | newtype fixes, coercions for non-recursive newtypes... |
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-07-14 |
simonpj@microsoft.com | Add some type signatures |
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-06 |
simonpj@microsoft.com | Pattern-match warning police |
blob | commitdiff | diff to current |
| 2006-09-06 |
simonpj@microsoft.com | Improve error reporting for SigTvs, and add comments |
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-07-04 |
Simon Marlow | remove unused bits, mostly to do with the Addr type |
blob | commitdiff | diff to current |
| 2006-07-12 |
simonpj@microsoft.com | Comments and import trimming |
blob | commitdiff | diff to current |
| 2006-06-23 |
Simon Marlow | the unlifted kind |
blob | commitdiff | diff to current |
| 2006-04-18 |
Simon Marlow | remove vestiges of ByteArray and MutableByteArray,... |
blob | commitdiff | diff to current |
| 2006-04-11 |
simonpj@microsoft.com | Allow IO to be wrapped in a newtype in foreign import... |
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