2007-07-13 |
Michael D. Adams | Warning Police: Unused imports |
tree | commitdiff |
2007-07-12 |
andy@galois.com | Fixing Hpc SrcSpan usage; rejecting SrcSpans that are... |
tree | commitdiff |
2007-07-11 |
andy@galois.com | Stoping constant folding of calls to chr# that are... |
tree | commitdiff |
2007-05-18 |
Michael D. Adams | Added listSplitUniqSupply to ./compiler/basicTypes... |
tree | commitdiff |
2007-06-27 |
Manuel M T Chakravarty | Fix names of coercions in newtype instances |
tree | commitdiff |
2007-06-07 |
Lemmih | Fix a bug in MatchCon, and clarify what dataConInstOrig... |
tree | commitdiff |
2007-06-08 |
Manuel M T Chakravarty | Fix worker/wrapper ids for newtype instances |
tree | commitdiff |
2007-05-11 |
Roman Leshchinskiy | OccNames for closure conversion isomorphisms |
tree | commitdiff |
2007-05-10 |
Roman Leshchinskiy | Modify generation of OccNames for closure conversion |
tree | commitdiff |
2007-05-11 |
Simon Marlow | Store a SrcSpan instead of a SrcLoc inside a Name |
tree | commitdiff |
2007-05-09 |
Simon Marlow | Store the constructor name in the info table in UTF-8 |
tree | commitdiff |
2007-05-01 |
Roman Leshchinskiy | OccNames for closure conversion |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | Warning police |
tree | commitdiff |
2007-05-03 |
simonpj@microsoft.com | Fix dependency information for RULES |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Import fiddling |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Add more assertions |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Use the record fields of IdInfo.RecordSelId |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Make records work properly with type families |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Fixes to data type families |
tree | commitdiff |
2007-04-25 |
simonpj@microsoft.com | Improve hashing of expressions for CSE (reduces warning... |
tree | commitdiff |
2007-04-25 |
simonpj@microsoft.com | Fix comments about data constructors |
tree | commitdiff |
2007-04-22 |
simonpj@microsoft.com | Fixes to datacon wrappers for indexed data types |
tree | commitdiff |
2007-04-19 |
Pepe Iborra | add some DEBUG assertions |
tree | commitdiff |
2007-04-18 |
Simon Marlow | Various cleanups and improvements to the breakpoint... |
tree | commitdiff |
2007-04-17 |
Simon Marlow | Re-working of the breakpoint support |
tree | commitdiff |
2007-04-06 |
Ian Lynagh | Remove code that is dead, as we require __GLASGOW_HASKE... |
tree | commitdiff |
2007-04-03 |
Ian Lynagh | Fix C/Haskell type mismatches |
tree | commitdiff |
2007-02-20 |
bjpop@csse.unimelb... | Constructor names in info tables |
tree | commitdiff |
2007-02-06 |
simonpj@microsoft.com | Expose rnInScopeSet from VarEnv |
tree | commitdiff |
2007-02-04 |
lennart@augustsson.net | Export nameEnvUniqueElts, similar to nameEnvElts, but... |
tree | commitdiff |
2007-01-29 |
Kirsten Chevalier | Two new warnings: arity differing from demand type... |
tree | commitdiff |
2007-01-13 |
simonpj@microsoft.com | Fix an obscure bug in rule-matching |
tree | commitdiff |
2007-01-10 |
simonpj@microsoft.com | Sort rules and instances lexicographically in interface... |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Spelling correction only |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables |
tree | commitdiff |
2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
tree | commitdiff |
2006-12-29 |
Manuel M T Chakravarty | Construction of EqPred dictionaries |
tree | commitdiff |
2006-12-13 |
andy@galois.com | Removing explicit Binary Tick Boxes; using Case instead. |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Add comments, plus fix zapFragileInfo to zap worker... |
tree | commitdiff |
2006-12-04 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2006-11-29 |
andy@galois.com | TickBox representation change |
tree | commitdiff |
2006-11-28 |
Kirsten Chevalier | retain arity for let-bound vars in simplifier |
tree | commitdiff |
2006-11-25 |
Ian Lynagh | Add some Outputable instances |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Use existing Ord instance on Int, saving code |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Use existing function uniqAway instead of duplicating... |
tree | commitdiff |
2006-11-10 |
Samuel Bronson | Zap stray whitespace in lhs formatting |
tree | commitdiff |
2006-11-08 |
Samuel Bronson | Doc nit in OccName |
tree | commitdiff |
2006-11-10 |
simonpj@microsoft.com | Patch to demand analyser, to handle polymorphism in... |
tree | commitdiff |
2006-11-02 |
simonpj@microsoft.com | Improve handling of unused imports (test is mod75) |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Make idInfo fail more informatively on TyVars |
tree | commitdiff |
2006-10-20 |
Manuel M T Chakravarty | Fix processing of imports involving ATs with the new... |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Change type of TcGadt.refineType, plus consequences |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | More refactoring in RnNames |
tree | commitdiff |
2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
tree | commitdiff |
2006-10-11 |
Simon Marlow | Interface file optimisation and removal of nameParent |
tree | commitdiff |
2006-10-10 |
Simon Marlow | add extendNameEnvList_C |
tree | commitdiff |
2006-10-10 |
Simon Marlow | Use ":Co", not "Co" to prefix coercion TyCon names |
tree | commitdiff |
2006-10-10 |
Manuel M T Chakravarty | Removed unused unwrapFamInstBody from MkId |
tree | commitdiff |
2006-10-06 |
simonpj@microsoft.com | Import trimming |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Take 2 on the recursive-rule fix |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Fix comment in RdrName |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Tidy tyvar OccNames in TcTyClDecl |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Second bite at the rules-only idea |
tree | commitdiff |
2006-10-03 |
simonpj@microsoft.com | Make recursion and RULES interact better |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Remove ASSERT from mkDataCon, and add comments to expla... |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Add VarSet.disjointVarSet, and use it |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix type checking of imported data instances |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix category of representation tycon |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Get of fam inst index in ifaces |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Straightened out implicit coercions for indexed types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Pattern matching of indexed data types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Introduce coercions for data instance decls |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Extend TyCons and DataCons to represent data instance... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Removed spurious + due to manual patching |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Comments about datacon worker and wrappers |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Flip direction of newtype coercions, fix some comments |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Chagne newtype wrapper into worker |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Clean up unused imports, definitions and arguments |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix assertion and default case for GADT record selectors |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | make dataConInstPat take a list of FastStrings rather... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Just clean-up, no functional changes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Get rid of special case for Vanilla tycon record select... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix problem with selectors for GADT records with unboxe... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Minor tidying up |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Remove bogus ASSERT from MkId |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fixing record selectors |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | GADT selector bugfix, bits of cleanup |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix some GADT record selector bugs (still some remaining) |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Make data con wrappers for GADTs express the user type... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Comments only |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix bugs, add boolean flag to identify coercion variables |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fixed bug in product unboxing |
tree | commitdiff |
next |