| 2008-02-26 |
simonpj@microsoft.com | Remove gaw comment
|
commit | commitdiff | tree |
| 2008-02-26 |
simonpj@microsoft.com | Fix Trac #1899; missing equality check in typechecker...
|
commit | commitdiff | tree |
| 2008-02-19 |
simonpj@microsoft.com | Fix Trac #2082
|
commit | commitdiff | tree |
| 2008-02-22 |
simonpj@microsoft.com | Fix Trac #2114: error reporting for 'forall' without...
|
commit | commitdiff | tree |
| 2008-02-22 |
simonpj@microsoft.com | Improve error messages from type-checking data constructors
|
commit | commitdiff | tree |
| 2008-02-22 |
simonpj@microsoft.com | Add type sigs and minor refactoring
|
commit | commitdiff | tree |
| 2008-02-07 |
simonpj@microsoft.com | Adjust error message (Trac #2079)
|
commit | commitdiff | tree |
| 2008-02-07 |
simonpj@microsoft.com | Redo inlining patch, plus some tidying up
|
commit | commitdiff | tree |
| 2008-01-25 |
simonpj@microsoft.com | Comments, and a type signature
|
commit | commitdiff | tree |
| 2008-02-05 |
simonpj@microsoft.com | Inject implicit bindings before the simplifier (Trac...
|
commit | commitdiff | tree |
| 2008-02-05 |
simonpj@microsoft.com | Make do-notation a bit more flexible (Trac #1537)
|
commit | commitdiff | tree |
| 2008-02-05 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2008-02-04 |
simonpj@microsoft.com | Fix DEBUG build
|
commit | commitdiff | tree |
| 2008-01-29 |
simonpj@microsoft.com | Move spiltDmdTy within module (no change in code)
|
commit | commitdiff | tree |
| 2008-01-28 |
simonpj@microsoft.com | Fix typo where I forgot the new substitution
|
commit | commitdiff | tree |
| 2008-01-28 |
simonpj@microsoft.com | Add missing (error) case in isIrrefutablePat
|
commit | commitdiff | tree |
| 2008-01-28 |
simonpj@microsoft.com | Add missing (error) case in pprConDecl
|
commit | commitdiff | tree |
| 2008-01-25 |
simonpj@microsoft.com | Fix do-notation so that it works with -DDEBUG
|
commit | commitdiff | tree |
| 2008-01-25 |
simonpj@microsoft.com | Be a little keener to inline
|
commit | commitdiff | tree |
| 2008-01-23 |
simonpj@microsoft.com | Attach the INLINE Activation pragma to any automatically...
|
commit | commitdiff | tree |
| 2008-01-22 |
simonpj@microsoft.com | Tidy up the treatment of SPECIALISE pragmas
|
commit | commitdiff | tree |
| 2008-01-22 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2008-01-21 |
simonpj@microsoft.com | Wibble to the OccurAnal fix for RULEs and loop-breakers
|
commit | commitdiff | tree |
| 2008-01-21 |
simonpj@microsoft.com | Do not worker/wrapper INLINE things, even if they are...
|
commit | commitdiff | tree |
| 2008-01-21 |
simonpj@microsoft.com | Make the loop-breaking algorithm a bit more liberal...
|
commit | commitdiff | tree |
| 2008-01-21 |
simonpj@microsoft.com | Fix Trac #2055
|
commit | commitdiff | tree |
| 2008-01-21 |
simonpj@microsoft.com | Typo in phase-control documentation
|
commit | commitdiff | tree |
| 2008-01-18 |
simonpj@microsoft.com | Wibble to SetLevels.abstractVars
|
commit | commitdiff | tree |
| 2008-01-18 |
simonpj@microsoft.com | Add quasi-quotation, courtesy of Geoffrey Mainland
|
commit | commitdiff | tree |
| 2008-01-17 |
simonpj@microsoft.com | Add missing extendSubst
|
commit | commitdiff | tree |
| 2008-01-17 |
simonpj@microsoft.com | Add -fspec-inline-join-points to SpecConstr
|
commit | commitdiff | tree |
| 2008-01-17 |
simonpj@microsoft.com | Fix egregious error in earlier "Record evaluated-ness...
|
commit | commitdiff | tree |
| 2008-01-17 |
simonpj@microsoft.com | Eliminate warnings with -DDEBUG
|
commit | commitdiff | tree |
| 2008-01-17 |
simonpj@microsoft.com | Record evaluated-ness information correctly for strict...
|
commit | commitdiff | tree |
| 2008-01-16 |
simonpj@microsoft.com | In float-out, make sure we abstract over the type variables...
|
commit | commitdiff | tree |
| 2008-01-16 |
simonpj@microsoft.com | Fix broken debug warning
|
commit | commitdiff | tree |
| 2008-01-16 |
simonpj@microsoft.com | Complain sensibly if you try to use scoped type variables...
|
commit | commitdiff | tree |
| 2008-01-16 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2008-01-16 |
simonpj@microsoft.com | Extra instance for Outputable on 5-tuples
|
commit | commitdiff | tree |
| 2008-01-16 |
simonpj@microsoft.com | Fix the -frule-check pass
|
commit | commitdiff | tree |
| 2008-01-16 |
simonpj@microsoft.com | The Core type-matcher should look through PredTypes
|
commit | commitdiff | tree |
| 2008-01-16 |
simonpj@microsoft.com | A bottoming function should have infinite arity
|
commit | commitdiff | tree |
| 2008-01-10 |
simonpj@microsoft.com | Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec
|
commit | commitdiff | tree |
| 2008-01-07 |
simonpj@microsoft.com | Fix Trac #2018: float-out was ignoring the kind of...
|
commit | commitdiff | tree |
| 2008-01-07 |
simonpj@microsoft.com | Make the treatment of equalities more uniform
|
commit | commitdiff | tree |
| 2008-01-07 |
simonpj@microsoft.com | Fix Trac #2017
|
commit | commitdiff | tree |
| 2008-01-07 |
simonpj@microsoft.com | Add -XImpredicativeTypes, and tighten up type-validity...
|
commit | commitdiff | tree |
| 2008-01-04 |
simonpj@microsoft.com | A little refactoring of GenIfaceEq to make the Outputable...
|
commit | commitdiff | tree |
| 2008-01-04 |
simonpj@microsoft.com | Make the instance of DebugNodes more H98-like
|
commit | commitdiff | tree |
| 2008-01-04 |
simonpj@microsoft.com | Do not consult -XGADTs flag when pattern matching on...
|
commit | commitdiff | tree |
| 2008-01-04 |
simonpj@microsoft.com | Add a note about primop wrappers (cf Trac #1509)
|
commit | commitdiff | tree |
| 2008-01-04 |
simonpj@microsoft.com | Document SOURCE pragma; clarify TH behavior for mutually...
|
commit | commitdiff | tree |
| 2008-01-04 |
simonpj@microsoft.com | White space and comments only
|
commit | commitdiff | tree |
| 2008-01-03 |
simonpj@microsoft.com | Remove -funfolding-update-in-place flag documentation
|
commit | commitdiff | tree |
| 2007-12-24 |
simonpj@microsoft.com | When complaining about non-rigid context, give suggestion...
|
commit | commitdiff | tree |
| 2007-12-21 |
simonpj@microsoft.com | Improve handling of newtypes (fixes Trac 1495)
|
commit | commitdiff | tree |
| 2007-12-21 |
simonpj@microsoft.com | Fix Trac #1981: seq on a type-family-typed expression
|
commit | commitdiff | tree |
| 2007-12-20 |
simonpj@microsoft.com | Comment only
|
commit | commitdiff | tree |
| 2007-12-20 |
simonpj@microsoft.com | Fix nasty recompilation bug in MkIface.computeChangedOccs
|
commit | commitdiff | tree |
| 2007-12-20 |
simonpj@microsoft.com | Fix Trac #1988; keep the ru_fn field of a RULE up to...
|
commit | commitdiff | tree |
| 2007-12-20 |
simonpj@microsoft.com | Add better panic message in getSRTInfo (Trac #1973)
|
commit | commitdiff | tree |
| 2007-12-20 |
simonpj@microsoft.com | Remove obselete code for update-in-place (which we...
|
commit | commitdiff | tree |
| 2007-12-20 |
simonpj@microsoft.com | Implement generalised list comprehensions
|
commit | commitdiff | tree |
| 2007-12-04 |
simonpj@microsoft.com | Make HscTypes.tyThingId respond not panic on ADataCon
|
commit | commitdiff | tree |
| 2007-12-13 |
simonpj@microsoft.com | Use Unix format for RnPat (no other change)
|
commit | commitdiff | tree |
| 2007-12-13 |
simonpj@microsoft.com | Improve free-variable handling for rnPat and friends...
|
commit | commitdiff | tree |
| 2007-12-10 |
simonpj@microsoft.com | Improve pretty-printing of InstDecl
|
commit | commitdiff | tree |
| 2007-12-07 |
simonpj@microsoft.com | Remove debug warning, and explain why
|
commit | commitdiff | tree |
| 2007-12-04 |
simonpj@microsoft.com | Change --shared to -shared in Win32 DLL docs
|
commit | commitdiff | tree |
| 2007-12-04 |
simonpj@microsoft.com | Make eta reduction check more carefully for bottoms...
|
commit | commitdiff | tree |
| 2007-12-04 |
simonpj@microsoft.com | Improve inlining for INLINE non-functions
|
commit | commitdiff | tree |
| 2007-12-03 |
simonpj@microsoft.com | Improve eta reduction, to reduce Simplifier iterations
|
commit | commitdiff | tree |
| 2007-11-28 |
simonpj@microsoft.com | Improve pretty-printing for Insts
|
commit | commitdiff | tree |
| 2007-11-28 |
simonpj@microsoft.com | Reorganise TcSimplify (again); FIX Trac #1919
|
commit | commitdiff | tree |
| 2007-11-28 |
simonpj@microsoft.com | FIX Trac #1935: generate superclass constraints for...
|
commit | commitdiff | tree |
| 2007-11-28 |
simonpj@microsoft.com | Print a bit more info in VarBinds (no need to merge)
|
commit | commitdiff | tree |
| 2007-11-28 |
simonpj@microsoft.com | Check for duplicate bindings in CoreLint
|
commit | commitdiff | tree |
| 2007-11-23 |
simonpj@microsoft.com | Tidy and trim the type environment in mkBootModDetails
|
commit | commitdiff | tree |
| 2007-11-21 |
simonpj@microsoft.com | Make rebindable do-notation behave as advertised
|
commit | commitdiff | tree |
| 2007-11-16 |
simonpj@microsoft.com | Add DEBUG-only flag -dsuppress-uniques to suppress...
|
commit | commitdiff | tree |
| 2007-11-05 |
simonpj@microsoft.com | Add -dcore-lint when validating libraries
|
commit | commitdiff | tree |
| 2007-11-21 |
simonpj@microsoft.com | Fix Trac #1913: check data const for derived types...
|
commit | commitdiff | tree |
| 2007-11-20 |
simonpj@microsoft.com | Fix Trac #1909: type of map in docs
|
commit | commitdiff | tree |
| 2007-11-20 |
simonpj@microsoft.com | FIX Trac #1825: standalone deriving Typeable
|
commit | commitdiff | tree |
| 2007-11-20 |
simonpj@microsoft.com | FIX #1715: egregious bug in ifaceDeclSubBndrs
|
commit | commitdiff | tree |
| 2007-11-19 |
simonpj@microsoft.com | Two small typos in the flags summary (merge to 6.8...
|
commit | commitdiff | tree |
| 2007-11-19 |
simonpj@microsoft.com | Improve the situation for Trac #959: civilised warning...
|
commit | commitdiff | tree |
| 2007-11-19 |
simonpj@microsoft.com | FIX Trac #1806: test for correct arity for datacon...
|
commit | commitdiff | tree |
| 2007-11-16 |
simonpj@microsoft.com | Wibble to fix Trac #1901 (shorten messsage slightly)
|
commit | commitdiff | tree |
| 2007-11-16 |
simonpj@microsoft.com | Improve links from flag reference to the relevant section...
|
commit | commitdiff | tree |
| 2007-11-16 |
simonpj@microsoft.com | FIX Trac #1901: check no existential context in H98...
|
commit | commitdiff | tree |
| 2007-11-16 |
simonpj@microsoft.com | Improve documentation of data type declarations (Trac...
|
commit | commitdiff | tree |
| 2007-11-15 |
simonpj@microsoft.com | Make SpecConstr work again
|
commit | commitdiff | tree |
| 2007-11-14 |
simonpj@microsoft.com | FIX Trac 1662: actually check for existentials in proc...
|
commit | commitdiff | tree |
| 2007-11-14 |
simonpj@microsoft.com | FIX Trac 1888; duplicate INLINE pragmas
|
commit | commitdiff | tree |
| 2007-11-14 |
simonpj@microsoft.com | Run the -frule-check pass more often (when asked)
|
commit | commitdiff | tree |
| 2007-11-12 |
simonpj@microsoft.com | Improve documentation of INLINE, esp its interactions...
|
commit | commitdiff | tree |
| 2007-11-12 |
simonpj@microsoft.com | Comment re Trac #1220
|
commit | commitdiff | tree |
| 2007-11-08 |
simonpj@microsoft.com | Fix Trac #1654: propagate name changes into CoreRules
|
commit | commitdiff | tree |
| 2007-11-06 |
simonpj@microsoft.com | Fix Trac #1813: generalise over *all* type variables...
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search