| 2010-11-15 |
keller@cse.unsw... | Handling of lets, letrec and case when checking if...
|
commit | commitdiff | tree |
| 2010-11-26 |
simonpj@microsoft.com | Acutally, wild-card variables *can* have occurrences
|
commit | commitdiff | tree |
| 2010-11-26 |
simonpj@microsoft.com | Tidy up the handling of wild-card binders, and make...
|
commit | commitdiff | tree |
| 2010-11-25 |
simonpj@microsoft.com | Substitution should just substitute, not optimise
|
commit | commitdiff | tree |
| 2010-11-25 |
simonpj@microsoft.com | Make SpecConstr "look through" identity coercions
|
commit | commitdiff | tree |
| 2010-11-25 |
simonpj@microsoft.com | Comment only
|
commit | commitdiff | tree |
| 2010-11-01 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2010-09-14 |
benl@ouroborus.net | mkDFunUnfolding wants the type of the dfun to be a...
|
commit | commitdiff | tree |
| 2010-09-14 |
benl@ouroborus.net | Comments and formatting only
|
commit | commitdiff | tree |
| 2010-09-09 |
benl@ouroborus.net | Comments and formatting to type environment vectoriser
|
commit | commitdiff | tree |
| 2010-11-15 |
pepeiborra@gmail.com | Fix bug #3165 (:history throws irrefutable pattern...
|
commit | commitdiff | tree |
| 2010-11-19 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Move the superclass generation to the canonicaliser
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Fix the generation of in-scope variables for IfaceLint...
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Omit bogus test for -XDeriveFunctor
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Improve error message on advice from a user
|
commit | commitdiff | tree |
| 2010-11-05 |
scpmw@leeds.ac.uk | Eventlog: Put correct size for startup event
|
commit | commitdiff | tree |
| 2010-11-17 |
simonpj@microsoft.com | Document SPECIALISE for imported functions
|
commit | commitdiff | tree |
| 2010-11-17 |
simonpj@microsoft.com | Fix Trac #4498: bang-pattern bindings are monomorphic
|
commit | commitdiff | tree |
| 2010-11-17 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-11-17 |
simonpj@microsoft.com | Fix Trac #4501: a transposition error in DynFlags
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Refactoring of the way that inlinings and rules are...
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Some infrastruture for lambda-lifting
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Occurrence analyser takes account of the phase when...
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Add -fwarn-lazy-unlifted-bindings to the list of flags
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Warn a bit less often about unlifted bindings.
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Libraries bytestirng, time, binary need -fno-warn-identities
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Improve documentation for -fwarn-incomplete-patterns
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Add warning for probable identities (fromIntegral and...
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Remove unncessary fromIntegral calls
|
commit | commitdiff | tree |
| 2010-11-15 |
simonpj@microsoft.com | Fix -fwarn-missing-import-lists (fix Trac #4489)
|
commit | commitdiff | tree |
| 2010-11-15 |
simonpj@microsoft.com | Deriving Typeable changes
|
commit | commitdiff | tree |
| 2010-11-15 |
simonpj@microsoft.com | Ensure that instance overlap errors are report properly
|
commit | commitdiff | tree |
| 2010-11-15 |
simonpj@microsoft.com | Ensure that unification variables alloc'd during solving...
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | Remove use of (now-gone) VarPatOut
|
commit | commitdiff | tree |
| 2010-11-05 |
simonpj@microsoft.com | Remove the now-unused constructor VarPatOut
|
commit | commitdiff | tree |
| 2010-11-05 |
simonpj@microsoft.com | Track change in isInlinePragma
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | More modules that need LANGUAGE BangPatterns
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | Add LANGUAGE BangPatterns to modules that use them
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | Warn about top-level bangs (Trac #4477)
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | A (final) re-engineering of the new typechecker
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | Allow the old [$foo| ... |] syntax for quasi-quotes
|
commit | commitdiff | tree |
| 2010-11-11 |
simonpj@microsoft.com | Fix multi-line string (minor glitch in stage-1 compiler)
|
commit | commitdiff | tree |
| 2010-11-01 |
simonpj@microsoft.com | Improve error messages
|
commit | commitdiff | tree |
| 2010-10-29 |
benl@ouroborus.net | Comment out bogus debug line that broke build on OSX
|
commit | commitdiff | tree |
| 2010-10-29 |
benl@ouroborus.net | Fix import warning
|
commit | commitdiff | tree |
| 2010-10-29 |
benl@ouroborus.net | Cleanup comments and formatting only
|
commit | commitdiff | tree |
| 2010-10-29 |
benl@ouroborus.net | Nicer error message for #3782
|
commit | commitdiff | tree |
| 2010-10-28 |
simonpj@microsoft.com | Remove -ds-multi-tyvar static flag
|
commit | commitdiff | tree |
| 2010-10-28 |
simonpj@microsoft.com | Deprecate -fmethod-sharing, which no longer does anything
|
commit | commitdiff | tree |
| 2010-10-28 |
simonpj@microsoft.com | Do w/w *recursive* things even if they are small
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Two signficant changes to the simplifier
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Yet another go at CoreArity
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Buglet in tcIface, now that nested binders can have...
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Add strictness for raiseIO# primop
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Don't worker-wrapper INLINABLE things
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Warn (not error) for SPECIALISE pragmas without INLINE
|
commit | commitdiff | tree |
| 2010-10-26 |
gwright@antiope.com | Fix for #4318 (Linker failure on OS X 10.6)
|
commit | commitdiff | tree |
| 2010-10-26 |
simonpj@microsoft.com | Fix a long-standing bug the float-out pass
|
commit | commitdiff | tree |
| 2010-08-31 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-10-26 |
simonpj@microsoft.com | Fix initialisation of strictness in the demand analyser
|
commit | commitdiff | tree |
| 2010-10-26 |
simonpj@microsoft.com | Don't look through SCC in exprIsConApp_maybe
|
commit | commitdiff | tree |
| 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 |
| next |
projects / ghc-hetmet.git / search