| 2010-10-26 |
simonpj@microsoft.com | Make isIrrefutableHsPat say True for existentials;...
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | Serialise nested unfoldings across module boundaries
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | Do not (ever) use substExprSC in the simplifier
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | Use new showMultiLineString to fix Trac #4436
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | For a non-recursive let, make sure we extend the value...
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | instance Outputable IntMap
|
commit | commitdiff | tree |
| 2010-10-17 |
pho@cielonegro.org | libffi: missing dependency on ffitarget.h
|
commit | commitdiff | tree |
| 2010-10-22 |
dimitris@microsoft.com | Optimised the representation of Inert Sets to use Maps...
|
commit | commitdiff | tree |
| 2010-10-22 |
simonpj@microsoft.com | Add rebindable syntax for if-then-else
|
commit | commitdiff | tree |
| 2010-10-22 |
simonpj@microsoft.com | Lint should check for duplicate top-level bindings...
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Fix Trac #4396, by localising pattern binders in the...
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Add an assertion
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Tidy up RuntimeUnkSkols a bit more
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Fix haddock markup
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Improve rule checking, to fix panic Trac #4398
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Improve the simple expression optimiser so it does...
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Tidy-up sweep, following the Great Skolemisation Simplification
|
commit | commitdiff | tree |
| 2010-10-20 |
simonpj@microsoft.com | Comments and layout only
|
commit | commitdiff | tree |
| 2010-10-10 |
Neil Mitchell | Update the documentation on using DLL's from Windows...
|
commit | commitdiff | tree |
| 2010-10-20 |
dimitris@microsoft.com | (1) More lenient kind checking, (2) Fixed orientation...
|
commit | commitdiff | tree |
| 2010-10-19 |
dimitris@microsoft.com | Midstream changes to deal with spontaneous solving...
|
commit | commitdiff | tree |
| 2010-10-20 |
simonpj@microsoft.com | Refactor, plus fix Trac #4418
|
commit | commitdiff | tree |
| 2010-10-20 |
simonpj@microsoft.com | Add a comment, connecting the seq to the test (#4367...
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Fix debugger
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Fix IPRun by fixing the inferred quantification mechanism
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Recover after an error in an implication constraint
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Reject programs with equality superclasses for now
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Layout and tiny refactoring only
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Clean up the debugger code
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Add new VarEnv functions minusVarEnv, intersectsVarEnv...
|
commit | commitdiff | tree |
| 2010-10-18 |
dimitris@microsoft.com | Major pass through type checker:(1) prioritizing equalities...
|
commit | commitdiff | tree |
| 2010-10-15 |
dimitris@microsoft.com | (1) Caching FD improvements for efficiency, (2) preventing...
|
commit | commitdiff | tree |
| 2010-10-14 |
dimitris@microsoft.com | Midstream changes for performance improvement related...
|
commit | commitdiff | tree |
| 2010-10-12 |
dimitris@microsoft.com | Minor
|
commit | commitdiff | tree |
| 2010-10-11 |
dimitris@microsoft.com | Commentary changes
|
commit | commitdiff | tree |
| 2010-10-08 |
dimitris@microsoft.com | Kind checking bugfix (#4356) and preventing wanteds...
|
commit | commitdiff | tree |
| 2010-10-18 |
simonpj@microsoft.com | Define SpecConstrAnnotation in GHC.Exts, and import...
|
commit | commitdiff | tree |
| 2010-09-27 |
pho@cielonegro.org | New member "archiveMemberName" for struct _ObjectCode
|
commit | commitdiff | tree |
| 2010-10-15 |
simonpj@microsoft.com | Comments and layout
|
commit | commitdiff | tree |
| 2010-10-15 |
simonpj@microsoft.com | Make (Located a) an instance of Eq, Ord
|
commit | commitdiff | tree |
| 2010-10-15 |
simonpj@microsoft.com | Give user-defined rules precedence over built-in rules
|
commit | commitdiff | tree |
| 2010-10-15 |
simonpj@microsoft.com | Fix Trac #4401: meta-tyvars allocated by the constraint...
|
commit | commitdiff | tree |
| 2010-10-13 |
simonpj@microsoft.com | Remove GHC.extendGlobalRdrScope, GHC.extendGlobalTypeScope
|
commit | commitdiff | tree |
| 2010-10-13 |
benl@ouroborus.net | Fix warnings
|
commit | commitdiff | tree |
| 2010-10-13 |
benl@ouroborus.net | RegAlloc: Track slot liveness over jumps in spill cleaner
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Fix Trac #4360: omitted case in combineCtLoc
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Beautiful new approach to the skolem-escape check and...
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Do less simplification when doing let-generalisation
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Suppress ambiguity errors if any other errors occur
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Fix Trac #4361: be more discerning when inferring types
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Suppress knock-on typechecker errors
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Some refactoring and simplification in TcInteract.occurCheck
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Implement auto-specialisation of imported Ids
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Make NameEnv back into type NameEnv a = UniqFM a
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Improve the rule-matcher
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Fix Trac #4345: simplifier bug
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Avoid redundant simplification
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Make the occurrence analyser deal correctly with RULES...
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Make warning-free
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | This is just white-space and layout
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Fix an ASSERT failure in FamInstEnv
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Fix a looping bug in the new occur-check code
|
commit | commitdiff | tree |
| 2010-10-06 |
simonpj@microsoft.com | Fix test T4235 with -O
|
commit | commitdiff | tree |
| 2010-10-06 |
simonpj@microsoft.com | Make warning-free
|
commit | commitdiff | tree |
| 2010-10-06 |
dimitris@microsoft.com | Major bugfixing pass through the type checker
|
commit | commitdiff | tree |
| 2010-10-04 |
dimitris@microsoft.com | Typechecker performance fixes and flatten skolem bugfixing
|
commit | commitdiff | tree |
| 2010-09-23 |
dimitris@microsoft.com | Performance bug fixes
|
commit | commitdiff | tree |
| 2010-10-06 |
simonpj@microsoft.com | Fix Trac #4371: matching of view patterns
|
commit | commitdiff | tree |
| 2010-10-06 |
simonpj@microsoft.com | Remove unused NoMatchContext construtor
|
commit | commitdiff | tree |
| 2010-10-06 |
simonpj@microsoft.com | Refactoring: mainly rename ic_env_tvs to ic_untch
|
commit | commitdiff | tree |
| 2010-09-24 |
simonpj@microsoft.com | Fix an egregious bug: INLINE pragmas on monomorphic...
|
commit | commitdiff | tree |
| 2010-09-24 |
simonpj@microsoft.com | Eta expand only lambdas that bind a non-dictionary Id
|
commit | commitdiff | tree |
| 2010-09-24 |
simonpj@microsoft.com | Add a comment
|
commit | commitdiff | tree |
| 2010-09-24 |
simonpj@microsoft.com | Add a debug print
|
commit | commitdiff | tree |
| 2010-09-24 |
simonpj@microsoft.com | Just moving comments around
|
commit | commitdiff | tree |
| 2010-09-24 |
simonpj@microsoft.com | Fix computation of installed packages
|
commit | commitdiff | tree |
| 2010-09-24 |
simonpj@microsoft.com | Fix braino in WwLib/Literal patch
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | For now, switch off incomplete-pattern warnings in...
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | Make -funfolding-dict-threshold work properly
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | Impredicative types is no longer deprecated
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | Do not make FunctionalDependencies force MonoLocalBinds
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | Allow absent State# RealWorld arguments
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | Add notSCCNote, and use it
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | Remove use of lambda with a refutable pattern
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | Avoid ASSERT black hole
|
commit | commitdiff | tree |
| 2010-09-23 |
simonpj@microsoft.com | Rejig the absent-arg stuff for unlifted types
|
commit | commitdiff | tree |
| 2010-09-22 |
simonpj@microsoft.com | Remove -fwarn-simple-patterns, and make -fwarn-incomplete...
|
commit | commitdiff | tree |
| 2010-09-22 |
simonpj@microsoft.com | Get rid of non-exhaustive lambda
|
commit | commitdiff | tree |
| 2010-09-22 |
simonpj@microsoft.com | Fix an ASSERT failure with profiling
|
commit | commitdiff | tree |
| 2010-09-19 |
simonpj@microsoft.com | Loosen the conditions for -XUndecidableInstances; fixes...
|
commit | commitdiff | tree |
| 2010-09-19 |
simonpj@microsoft.com | Further improvements in error messages
|
commit | commitdiff | tree |
| 2010-09-19 |
simonpj@microsoft.com | Add a flag -fwarn-missing-local-sigs, and improve ...
|
commit | commitdiff | tree |
| 2010-09-19 |
simonpj@microsoft.com | Include the "stupid theta" in the type of $con2tag
|
commit | commitdiff | tree |
| 2010-09-17 |
simonpj@microsoft.com | Fix overriding of implicit parameters in the solver
|
commit | commitdiff | tree |
| 2010-09-17 |
simonpj@microsoft.com | Minor type printing amomaly
|
commit | commitdiff | tree |
| 2010-09-17 |
simonpj@microsoft.com | Spaces only
|
commit | commitdiff | tree |
| 2010-09-17 |
simonpj@microsoft.com | Minor refactoring
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search