| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix a bug in Lint (which wrongly complained when compiling Data.Sequence with... | simonpj@microsoft.com | 2006-10-18 | 1 | -4/+14 |
| * | Add assertion checks for mkCoVar/mkTyVar | simonpj@microsoft.com | 2006-10-13 | 1 | -1/+2 |
| * | Improve pretty-printing slightly | simonpj@microsoft.com | 2006-10-11 | 1 | -6/+5 |
| * | More import tidying and fixing the stage 2 build | Simon Marlow | 2006-10-11 | 1 | -3/+0 |
| * | Module header tidyup, phase 1 | Simon Marlow | 2006-10-11 | 12 | -219/+170 |
| * | Comments and an import-trim | simonpj@microsoft.com | 2006-10-06 | 1 | -1/+1 |
| * | Correct the float-coercions-out-of-let patch | simonpj@microsoft.com | 2006-10-05 | 1 | -3/+0 |
| * | Comments and layout | simonpj@microsoft.com | 2006-10-05 | 1 | -7/+8 |
| * | Remove unused OccInfo (simplification) | simonpj@microsoft.com | 2006-10-05 | 1 | -9/+3 |
| * | Take 2 on the recursive-rule fix | simonpj@microsoft.com | 2006-10-05 | 1 | -1/+1 |
| * | Second bite at the rules-only idea | simonpj@microsoft.com | 2006-10-04 | 1 | -5/+5 |
| * | Remove Linear Implicit Parameters, and all their works | simonpj@microsoft.com | 2006-09-29 | 3 | -16/+8 |
| * | Improve pretty-printing of Core | simonpj@microsoft.com | 2006-09-29 | 1 | -5/+3 |
| * | Another correction to the (subtle) exprIsConApp_maybe | simonpj@microsoft.com | 2006-09-29 | 1 | -7/+14 |
| * | Fix exprIsConApp_maybe (wasn't dealing properly with the EqSpec of the DataCon) | simonpj@microsoft.com | 2006-09-27 | 1 | -74/+52 |
| * | Trim imports, and remove some dead code | simonpj@microsoft.com | 2006-09-23 | 1 | -2/+2 |
| * | Indexed newtypes | Manuel M T Chakravarty | 2006-09-20 | 1 | -1/+1 |
| * | Small refactoring | Manuel M T Chakravarty | 2006-09-20 | 1 | -11/+9 |
| * | Missing imports in CoreUtils | Manuel M T Chakravarty | 2006-09-20 | 1 | -1/+3 |
| * | Include the existential dictionaries in dataConOrigInstPat | Manuel M T Chakravarty | 2006-09-20 | 1 | -15/+15 |
| * | Flip direction of newtype coercions, fix some comments | Manuel M T Chakravarty | 2006-09-20 | 1 | -12/+12 |
| * | Chagne newtype wrapper into worker | Manuel M T Chakravarty | 2006-09-20 | 1 | -3/+1 |
| * | make dataConInstPat take a list of FastStrings rather than OccNames, remove o... | Manuel M T Chakravarty | 2006-09-20 | 1 | -43/+28 |
| * | Fix problem with selectors for GADT records with unboxed fields | Manuel M T Chakravarty | 2006-09-20 | 1 | -11/+17 |
| * | Minor tidying up | Manuel M T Chakravarty | 2006-09-20 | 2 | -4/+4 |
| * | Fix bug in type checking interface DataAlts | Manuel M T Chakravarty | 2006-09-20 | 1 | -13/+38 |
| * | fix big-lambda eta expansion, add comments | Manuel M T Chakravarty | 2006-09-20 | 1 | -2/+32 |
| * | Fix Lint for alts involving shadowing of type variables; add comments | Manuel M T Chakravarty | 2006-09-20 | 1 | -7/+26 |
| * | fixing record selectors | Manuel M T Chakravarty | 2006-09-20 | 2 | -7/+52 |
| * | GADT selector bugfix, bits of cleanup | Manuel M T Chakravarty | 2006-09-20 | 1 | -2/+1 |
| * | clean up Coercion kinding functions, rename coercionKindTyConApp | Manuel M T Chakravarty | 2006-09-20 | 3 | -6/+6 |
| * | fix bugs, add boolean flag to identify coercion variables | Manuel M T Chakravarty | 2006-09-20 | 1 | -0/+1 |
| * | fix some coercion kind representation things, extend exprIsConApp_maybe to no... | Manuel M T Chakravarty | 2006-09-20 | 1 | -12/+45 |
| * | Complete the evidence generation for GADTs | Manuel M T Chakravarty | 2006-09-20 | 1 | -4/+2 |
| * | some bug-fixes, newtype deriving might work now | Manuel M T Chakravarty | 2006-09-20 | 1 | -3/+11 |
| * | newtype fixes, coercions for non-recursive newtypes now optional | Manuel M T Chakravarty | 2006-09-20 | 3 | -4/+15 |
| * | Massive patch for the first months work adding System FC to GHC #3 | Manuel M T Chakravarty | 2006-09-18 | 2 | -47/+99 |
| * | Add comment for the invariant that DataAlt is never a newtype | simonpj@microsoft.com | 2006-09-06 | 1 | -1/+2 |
| * | Fix a lint bug with coercions | Manuel M T Chakravarty | 2006-08-06 | 1 | -4/+6 |
| * | Resolve conflict in MkExternalCore | Manuel M T Chakravarty | 2006-08-06 | 1 | -1/+2 |
| * | Massive patch for the first months work adding System FC to GHC #8 | Manuel M T Chakravarty | 2006-08-04 | 2 | -19/+10 |
| * | Massive patch for the first months work adding System FC to GHC #7 | Manuel M T Chakravarty | 2006-08-04 | 2 | -12/+11 |
| * | Massive patch for the first months work adding System FC to GHC #6 | Manuel M T Chakravarty | 2006-08-04 | 2 | -13/+33 |
| * | Massive patch for the first months work adding System FC to GHC #5 | Manuel M T Chakravarty | 2006-08-04 | 1 | -112/+183 |
| * | Massive patch for the first months work adding System FC to GHC #4 | Manuel M T Chakravarty | 2006-08-04 | 2 | -80/+40 |
| * | Massive patch for the first months work adding System FC to GHC #2 | Manuel M T Chakravarty | 2006-08-04 | 1 | -8/+14 |
| * | Make mkApps etc infix, and left-associative | simonpj@microsoft.com | 2006-07-26 | 1 | -0/+3 |
| * | Comments only | simonpj@microsoft.com | 2006-09-07 | 1 | -1/+4 |
| * | Make record selection look cheap | simonpj@microsoft.com | 2006-09-06 | 1 | -1/+1 |
| * | Improve exprIsCheap | simonpj@microsoft.com | 2006-08-14 | 1 | -40/+48 |
