projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix Trac #2138: print the 'stupid theta' of a data type
2008-03-06 simonpj@microsoft.comFix Trac #2138: print the 'stupid theta' of a data...
commit | commitdiff | tree
2008-03-06 simonpj@microsoft.comImprove SpecConstr for local bindings: seed specialisation...
commit | commitdiff | tree
2008-03-05 simonpj@microsoft.comRefactor OccAnal; and improve dead-code elimination
 commit | commitdiff | tree
2008-02-28 simonpj@microsoft.comFix Trac #2130: improve derived Ord for primmitive...
commit | commitdiff | tree
2008-02-28 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-02-28 simonpj@microsoft.comWibble to error message (stmt of do block or comprehension)
 commit | commitdiff | tree
2008-02-28 simonpj@microsoft.comAdd comments explaining flags
 commit | commitdiff | tree
2008-02-27 simonpj@microsoft.comFix Trac #2126: re-order tests (easy)
 commit | commitdiff | tree
2008-02-26 simonpj@microsoft.comFix Trac #2111: improve error handling for 'rec' in...
commit | commitdiff | tree
2008-02-26 simonpj@microsoft.comRemove gaw comment
 commit | commitdiff | tree
2008-02-26 simonpj@microsoft.comFix Trac #1899; missing equality check in typechecker...
commit | commitdiff | tree
2008-02-19 simonpj@microsoft.comFix Trac #2082
 commit | commitdiff | tree
2008-02-22 simonpj@microsoft.comFix Trac #2114: error reporting for 'forall' without...
commit | commitdiff | tree
2008-02-22 simonpj@microsoft.comImprove error messages from type-checking data constructors
 commit | commitdiff | tree
2008-02-22 simonpj@microsoft.comAdd type sigs and minor refactoring
 commit | commitdiff | tree
2008-02-07 simonpj@microsoft.comAdjust error message (Trac #2079)
 commit | commitdiff | tree
2008-02-07 simonpj@microsoft.comRedo inlining patch, plus some tidying up
 commit | commitdiff | tree
2008-01-25 simonpj@microsoft.comComments, and a type signature
 commit | commitdiff | tree
2008-02-05 simonpj@microsoft.comInject implicit bindings before the simplifier (Trac...
commit | commitdiff | tree
2008-02-05 simonpj@microsoft.comMake do-notation a bit more flexible (Trac #1537)
 commit | commitdiff | tree
2008-02-05 simonpj@microsoft.comWhite space only
 commit | commitdiff | tree
2008-02-04 simonpj@microsoft.comFix DEBUG build
 commit | commitdiff | tree
2008-01-29 simonpj@microsoft.comMove spiltDmdTy within module (no change in code)
 commit | commitdiff | tree
2008-01-28 simonpj@microsoft.comFix typo where I forgot the new substitution
 commit | commitdiff | tree
2008-01-28 simonpj@microsoft.comAdd missing (error) case in isIrrefutablePat
 commit | commitdiff | tree
2008-01-28 simonpj@microsoft.comAdd missing (error) case in pprConDecl
 commit | commitdiff | tree
2008-01-25 simonpj@microsoft.comFix do-notation so that it works with -DDEBUG
 commit | commitdiff | tree
2008-01-25 simonpj@microsoft.comBe a little keener to inline
 commit | commitdiff | tree
2008-01-23 simonpj@microsoft.comAttach the INLINE Activation pragma to any automatically...
commit | commitdiff | tree
2008-01-22 simonpj@microsoft.comTidy up the treatment of SPECIALISE pragmas
 commit | commitdiff | tree
2008-01-22 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-01-21 simonpj@microsoft.comWibble to the OccurAnal fix for RULEs and loop-breakers
 commit | commitdiff | tree
2008-01-21 simonpj@microsoft.comDo not worker/wrapper INLINE things, even if they are...
commit | commitdiff | tree
2008-01-21 simonpj@microsoft.comMake the loop-breaking algorithm a bit more liberal...
commit | commitdiff | tree
2008-01-21 simonpj@microsoft.comFix Trac #2055
 commit | commitdiff | tree
2008-01-21 simonpj@microsoft.comTypo in phase-control documentation
 commit | commitdiff | tree
2008-01-18 simonpj@microsoft.comWibble to SetLevels.abstractVars
 commit | commitdiff | tree
2008-01-18 simonpj@microsoft.comAdd quasi-quotation, courtesy of Geoffrey Mainland
 commit | commitdiff | tree
2008-01-17 simonpj@microsoft.comAdd missing extendSubst
 commit | commitdiff | tree
2008-01-17 simonpj@microsoft.comAdd -fspec-inline-join-points to SpecConstr
 commit | commitdiff | tree
2008-01-17 simonpj@microsoft.comFix egregious error in earlier "Record evaluated-ness...
commit | commitdiff | tree
2008-01-17 simonpj@microsoft.comEliminate warnings with -DDEBUG
 commit | commitdiff | tree
2008-01-17 simonpj@microsoft.comRecord evaluated-ness information correctly for strict...
commit | commitdiff | tree
2008-01-16 simonpj@microsoft.comIn float-out, make sure we abstract over the type variables...
commit | commitdiff | tree
2008-01-16 simonpj@microsoft.comFix broken debug warning
 commit | commitdiff | tree
2008-01-16 simonpj@microsoft.comComplain sensibly if you try to use scoped type variables...
commit | commitdiff | tree
2008-01-16 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-01-16 simonpj@microsoft.comExtra instance for Outputable on 5-tuples
 commit | commitdiff | tree
2008-01-16 simonpj@microsoft.comFix the -frule-check pass
 commit | commitdiff | tree
2008-01-16 simonpj@microsoft.comThe Core type-matcher should look through PredTypes
 commit | commitdiff | tree
2008-01-16 simonpj@microsoft.comA bottoming function should have infinite arity
 commit | commitdiff | tree
2008-01-10 simonpj@microsoft.comFix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec
 commit | commitdiff | tree
2008-01-07 simonpj@microsoft.comFix Trac #2018: float-out was ignoring the kind of...
commit | commitdiff | tree
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform
 commit | commitdiff | tree
2008-01-07 simonpj@microsoft.comFix Trac #2017
 commit | commitdiff | tree
2008-01-07 simonpj@microsoft.comAdd -XImpredicativeTypes, and tighten up type-validity...
commit | commitdiff | tree
2008-01-04 simonpj@microsoft.comA little refactoring of GenIfaceEq to make the Outputable...
commit | commitdiff | tree
2008-01-04 simonpj@microsoft.comMake the instance of DebugNodes more H98-like
 commit | commitdiff | tree
2008-01-04 simonpj@microsoft.comDo not consult -XGADTs flag when pattern matching on...
commit | commitdiff | tree
2008-01-04 simonpj@microsoft.comAdd a note about primop wrappers (cf Trac #1509)
 commit | commitdiff | tree
2008-01-04 simonpj@microsoft.comDocument SOURCE pragma; clarify TH behavior for mutually...
commit | commitdiff | tree
2008-01-04 simonpj@microsoft.comWhite space and comments only
 commit | commitdiff | tree
2008-01-03 simonpj@microsoft.comRemove -funfolding-update-in-place flag documentation
 commit | commitdiff | tree
2007-12-24 simonpj@microsoft.comWhen complaining about non-rigid context, give suggestion...
commit | commitdiff | tree
2007-12-21 simonpj@microsoft.comImprove handling of newtypes (fixes Trac 1495)
 commit | commitdiff | tree
2007-12-21 simonpj@microsoft.comFix Trac #1981: seq on a type-family-typed expression
 commit | commitdiff | tree
2007-12-20 simonpj@microsoft.comComment only
 commit | commitdiff | tree
2007-12-20 simonpj@microsoft.comFix nasty recompilation bug in MkIface.computeChangedOccs
 commit | commitdiff | tree
2007-12-20 simonpj@microsoft.comFix Trac #1988; keep the ru_fn field of a RULE up to...
commit | commitdiff | tree
2007-12-20 simonpj@microsoft.comAdd better panic message in getSRTInfo (Trac #1973)
 commit | commitdiff | tree
2007-12-20 simonpj@microsoft.comRemove obselete code for update-in-place (which we...
commit | commitdiff | tree
2007-12-20 simonpj@microsoft.comImplement generalised list comprehensions
 commit | commitdiff | tree
2007-12-04 simonpj@microsoft.comMake HscTypes.tyThingId respond not panic on ADataCon
 commit | commitdiff | tree
2007-12-13 simonpj@microsoft.comUse Unix format for RnPat (no other change)
 commit | commitdiff | tree
2007-12-13 simonpj@microsoft.comImprove free-variable handling for rnPat and friends...
commit | commitdiff | tree
2007-12-10 simonpj@microsoft.comImprove pretty-printing of InstDecl
 commit | commitdiff | tree
2007-12-07 simonpj@microsoft.comRemove debug warning, and explain why
 commit | commitdiff | tree
2007-12-04 simonpj@microsoft.comChange --shared to -shared in Win32 DLL docs
 commit | commitdiff | tree
2007-12-04 simonpj@microsoft.comMake eta reduction check more carefully for bottoms...
commit | commitdiff | tree
2007-12-04 simonpj@microsoft.comImprove inlining for INLINE non-functions
 commit | commitdiff | tree
2007-12-03 simonpj@microsoft.comImprove eta reduction, to reduce Simplifier iterations
 commit | commitdiff | tree
2007-11-28 simonpj@microsoft.comImprove pretty-printing for Insts
 commit | commitdiff | tree
2007-11-28 simonpj@microsoft.comReorganise TcSimplify (again); FIX Trac #1919
 commit | commitdiff | tree
2007-11-28 simonpj@microsoft.comFIX Trac #1935: generate superclass constraints for...
commit | commitdiff | tree
2007-11-28 simonpj@microsoft.comPrint a bit more info in VarBinds (no need to merge)
 commit | commitdiff | tree
2007-11-28 simonpj@microsoft.comCheck for duplicate bindings in CoreLint
 commit | commitdiff | tree
2007-11-23 simonpj@microsoft.comTidy and trim the type environment in mkBootModDetails
 commit | commitdiff | tree
2007-11-21 simonpj@microsoft.comMake rebindable do-notation behave as advertised
 commit | commitdiff | tree
2007-11-16 simonpj@microsoft.comAdd DEBUG-only flag -dsuppress-uniques to suppress...
commit | commitdiff | tree
2007-11-05 simonpj@microsoft.comAdd -dcore-lint when validating libraries
 commit | commitdiff | tree
2007-11-21 simonpj@microsoft.comFix Trac #1913: check data const for derived types...
commit | commitdiff | tree
2007-11-20 simonpj@microsoft.comFix Trac #1909: type of map in docs
 commit | commitdiff | tree
2007-11-20 simonpj@microsoft.comFIX Trac #1825: standalone deriving Typeable
 commit | commitdiff | tree
2007-11-20 simonpj@microsoft.comFIX #1715: egregious bug in ifaceDeclSubBndrs
 commit | commitdiff | tree
2007-11-19 simonpj@microsoft.comTwo small typos in the flags summary (merge to 6.8...
commit | commitdiff | tree
2007-11-19 simonpj@microsoft.comImprove the situation for Trac #959: civilised warning...
commit | commitdiff | tree
2007-11-19 simonpj@microsoft.comFIX Trac #1806: test for correct arity for datacon...
commit | commitdiff | tree
2007-11-16 simonpj@microsoft.comWibble to fix Trac #1901 (shorten messsage slightly)
 commit | commitdiff | tree
2007-11-16 simonpj@microsoft.comImprove links from flag reference to the relevant section...
commit | commitdiff | tree
2007-11-16 simonpj@microsoft.comFIX Trac #1901: check no existential context in H98...
commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)