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-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 |
simonpj@microsoft.com | Define SpecConstrAnnotation in GHC.Exts, and import...
|
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-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 |
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 |
2010-09-17 |
simonpj@microsoft.com | Add types of implicit parameters as untouchable
|
commit | commitdiff | tree |
2010-09-17 |
simonpj@microsoft.com | Better pretty printing of implicit parameters
|
commit | commitdiff | tree |
2010-09-17 |
simonpj@microsoft.com | Yet more error message improvement
|
commit | commitdiff | tree |
2010-09-17 |
simonpj@microsoft.com | More error message wibbles
|
commit | commitdiff | tree |
2010-09-17 |
simonpj@microsoft.com | More error refactoring
|
commit | commitdiff | tree |
2010-09-17 |
simonpj@microsoft.com | Refactor type errors a bit
|
commit | commitdiff | tree |
2010-09-16 |
simonpj@microsoft.com | Fix a very subtle shadowing bug in optCoercion
|
commit | commitdiff | tree |
2010-09-16 |
simonpj@microsoft.com | Fix bad error in tyVarsOfType
|
commit | commitdiff | tree |
2010-09-16 |
simonpj@microsoft.com | More assertions
|
commit | commitdiff | tree |
2010-09-16 |
simonpj@microsoft.com | Add more location info in CoreLint
|
commit | commitdiff | tree |
2010-09-16 |
simonpj@microsoft.com | Print coercion variables as such (debugging change...
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Remove pprTrace
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Remove dead code dealing with type refinement
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Use mkAppTy
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Extend eta reduction to work with casted arguments
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Allow "INLINEABLE" as a synonym
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Documentation for INLINABLE
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Implement TH reification of instances (Trac #1835)
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Add quotes in error message
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Fix isDefaultInlinePragma
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Implement INLINABLE pragma
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Less voluminous error when derived code doesn't typecheck
|
commit | commitdiff | tree |
2010-09-15 |
simonpj@microsoft.com | Improve pretty-printing of family instances
|
commit | commitdiff | tree |
next |