2007-02-19 |
simonpj@microsoft.com | Signature type variables must not be instantiated with... |
blob | commitdiff |
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 |
|