projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Midstream changes to deal with spontaneous solving and flatten skolem equivalence...
[ghc-hetmet.git] / compiler / typecheck / TcInteract.lhs
2010-10-19 dimitris@microsoft.comMidstream changes to deal with spontaneous solving... blob | commitdiff
2010-10-20 simonpj@microsoft.comRefactor, plus fix Trac #4418 blob | commitdiff | diff to current
2010-10-19 simonpj@microsoft.comLayout and tiny refactoring only blob | commitdiff | diff to current
2010-10-18 dimitris@microsoft.comMajor pass through type checker:(1) prioritizing equali... blob | commitdiff | diff to current
2010-10-15 dimitris@microsoft.com(1) Caching FD improvements for efficiency, (2) prevent... blob | commitdiff | diff to current
2010-10-14 dimitris@microsoft.comMidstream changes for performance improvement related... blob | commitdiff | diff to current
2010-10-08 dimitris@microsoft.comKind checking bugfix (#4356) and preventing wanteds... blob | commitdiff | diff to current
2010-10-08 simonpj@microsoft.comFix Trac #4360: omitted case in combineCtLoc blob | commitdiff | diff to current
2010-10-07 simonpj@microsoft.comSome refactoring and simplification in TcInteract.occur... blob | commitdiff | diff to current
2010-10-07 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2010-10-07 simonpj@microsoft.comFix a looping bug in the new occur-check code blob | commitdiff | diff to current
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker blob | commitdiff | diff to current
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing blob | commitdiff | diff to current
2010-09-23 dimitris@microsoft.comPerformance bug fixes blob | commitdiff | diff to current
2010-09-17 simonpj@microsoft.comFix overriding of implicit parameters in the solver blob | commitdiff | diff to current
2010-09-15 simonpj@microsoft.comRemove pprTrace blob | commitdiff | diff to current
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)