2008-04-11 |
simonpj@microsoft.com | Transfer strictness and arity info when abstracting...
|
commit | commitdiff | tree |
2008-04-11 |
simonpj@microsoft.com | Rejig error reporting in the unifier slightly
|
commit | commitdiff | tree |
2008-04-10 |
simonpj@microsoft.com | Improve error message layout slightly
|
commit | commitdiff | tree |
2008-04-10 |
simonpj@microsoft.com | Two improvements to boxy matching
|
commit | commitdiff | tree |
2008-04-10 |
simonpj@microsoft.com | Fix Trac #2206: ensure the return type is rigid in...
|
commit | commitdiff | tree |
2008-04-10 |
simonpj@microsoft.com | Fix Trac #2205, which I introduced recently
|
commit | commitdiff | tree |
2008-04-10 |
simonpj@microsoft.com | Ensure that arity is accurate in back end
|
commit | commitdiff | tree |
2008-04-10 |
simonpj@microsoft.com | Make the arity and strictness agree, for wired-in bottoming Ids
|
commit | commitdiff | tree |
2008-04-04 |
simonpj@microsoft.com | Fix Trac #2188: scoping in TH declarations quotes
|
commit | commitdiff | tree |
2008-04-03 |
simonpj@microsoft.com | Fix simplifier thrashing
|
commit | commitdiff | tree |
2008-04-03 |
simonpj@microsoft.com | Fix Trac #2179: error message for main
|
commit | commitdiff | tree |
2008-04-03 |
simonpj@microsoft.com | Fix Trac #2136: reporting of unused variables
|
commit | commitdiff | tree |
2008-04-02 |
simonpj@microsoft.com | Fix Trac #2137: report correct location for shadowed...
|
commit | commitdiff | tree |
2008-04-02 |
simonpj@microsoft.com | Fix Trac #2141: invalid record update
|
commit | commitdiff | tree |
2008-03-06 |
simonpj@microsoft.com | Don't expose the unfolding of dictionary selectors...
|
commit | commitdiff | tree |
2008-03-06 |
simonpj@microsoft.com | Fix Trac #783: improve short-cutting literals in the...
|
commit | commitdiff | tree |
2008-03-06 |
simonpj@microsoft.com | Fix Trac #2138: print the 'stupid theta' of a data...
|
commit | commitdiff | tree |
2008-03-06 |
simonpj@microsoft.com | Improve SpecConstr for local bindings: seed specialisation...
|
commit | commitdiff | tree |
2008-03-05 |
simonpj@microsoft.com | Refactor OccAnal; and improve dead-code elimination
|
commit | commitdiff | tree |
2008-02-28 |
simonpj@microsoft.com | Fix Trac #2130: improve derived Ord for primmitive...
|
commit | commitdiff | tree |
2008-02-28 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2008-02-28 |
simonpj@microsoft.com | Wibble to error message (stmt of do block or comprehension)
|
commit | commitdiff | tree |
2008-02-28 |
simonpj@microsoft.com | Add comments explaining flags
|
commit | commitdiff | tree |
2008-02-27 |
simonpj@microsoft.com | Fix Trac #2126: re-order tests (easy)
|
commit | commitdiff | tree |
2008-02-26 |
simonpj@microsoft.com | Fix Trac #2111: improve error handling for 'rec' in...
|
commit | commitdiff | tree |
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 |
next |