projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
In float-out, make sure we abstract over the type variables in the kind of a coercion
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
2007-11-16 simonpj@microsoft.comImprove documentation of data type declarations (Trac...
commit | commitdiff | tree
2007-11-15 simonpj@microsoft.comMake SpecConstr work again
 commit | commitdiff | tree
2007-11-14 simonpj@microsoft.comFIX Trac 1662: actually check for existentials in proc...
commit | commitdiff | tree
2007-11-14 simonpj@microsoft.comFIX Trac 1888; duplicate INLINE pragmas
 commit | commitdiff | tree
2007-11-14 simonpj@microsoft.comRun the -frule-check pass more often (when asked)
 commit | commitdiff | tree
2007-11-12 simonpj@microsoft.comImprove documentation of INLINE, esp its interactions...
commit | commitdiff | tree
2007-11-12 simonpj@microsoft.comComment re Trac #1220
 commit | commitdiff | tree
2007-11-08 simonpj@microsoft.comFix Trac #1654: propagate name changes into CoreRules
 commit | commitdiff | tree
2007-11-06 simonpj@microsoft.comFix Trac #1813: generalise over *all* type variables...
commit | commitdiff | tree
2007-11-06 simonpj@microsoft.comFix Trac #1814 (staging interaction in Template Haskell...
commit | commitdiff | tree
2007-11-06 simonpj@microsoft.comImprove error messages
 commit | commitdiff | tree
2007-11-06 simonpj@microsoft.comImprove manual entry for binding lexically scoped type...
commit | commitdiff | tree
2007-11-06 simonpj@microsoft.comRemove trailing spaces from programlisting lines
 commit | commitdiff | tree
2007-11-06 simonpj@microsoft.comRemove unhelpful sentence (see Trac #1832)
 commit | commitdiff | tree
2007-11-05 simonpj@microsoft.comInline implication constraints
 commit | commitdiff | tree
2007-11-05 simonpj@microsoft.comComment warning about transparent newtypes
 commit | commitdiff | tree
2007-11-05 simonpj@microsoft.comWibble to earlier case-merge fix
 commit | commitdiff | tree
2007-11-05 simonpj@microsoft.comImprove pretty-printing of Core slightly (avoid indenting...
commit | commitdiff | tree
2007-11-05 simonpj@microsoft.comFix an old but subtle bug in the Simplifier
 commit | commitdiff | tree
2007-11-05 simonpj@microsoft.comMake CoreLint give a more informative error message
 commit | commitdiff | tree
2007-11-05 simonpj@microsoft.comComments about TH staging
 commit | commitdiff | tree
2007-11-02 simonpj@microsoft.comRefactor error recovery slightly
 commit | commitdiff | tree
2007-11-02 simonpj@microsoft.comAvoid Haddock bug #1821
 commit | commitdiff | tree
2007-11-01 simonpj@microsoft.comUpdate error message to mention -XPatternSignatures...
commit | commitdiff | tree
2007-11-01 simonpj@microsoft.comRejig the error messages a bit; fixes a minor bug
 commit | commitdiff | tree
2007-10-30 simonpj@microsoft.comFIX BUILD: a glitch in the new rules and inlining stuff
 commit | commitdiff | tree
2007-10-29 simonpj@microsoft.comFix LiberateCase
 commit | commitdiff | tree
2007-10-29 simonpj@microsoft.comImprove error-message output slightly
 commit | commitdiff | tree
2007-10-29 simonpj@microsoft.comImprove documentation of orphan instances (thanks to...
commit | commitdiff | tree
2007-10-27 simonpj@microsoft.comIn a pattern binding, a type sig in the pattern cannot...
commit | commitdiff | tree
2007-10-29 simonpj@microsoft.comSubstantial improvement to the interaction of RULES...
commit | commitdiff | tree
2007-10-26 simonpj@microsoft.comAdd newline in debug print
 commit | commitdiff | tree
2007-10-24 simonpj@microsoft.comExplicit pattern match in default case of addTickLHsBind
 commit | commitdiff | tree
2007-10-24 simonpj@microsoft.comGeneralise the types of mk_FunBind, mk_easy_FunBind...
commit | commitdiff | tree
2007-10-27 simonpj@microsoft.comMake 'improvement' work properly in TcSimplify
 commit | commitdiff | tree
2007-10-27 simonpj@microsoft.comAn implication constraint can abstract over EqInsts
 commit | commitdiff | tree
2007-10-27 simonpj@microsoft.comIn an AbsBinds, the 'dicts' can include EqInsts
 commit | commitdiff | tree
2007-10-27 simonpj@microsoft.comMore notes
 commit | commitdiff | tree
2007-10-27 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2007-10-27 simonpj@microsoft.comAdd anyM to IOEnv
 commit | commitdiff | tree
2007-10-27 simonpj@microsoft.comAdd a note to NOTES
 commit | commitdiff | tree
2007-10-17 simonpj@microsoft.comUpdate HsExpr.hi-boot-6 for view pattern changes
 commit | commitdiff | tree
2007-10-16 simonpj@microsoft.comFix #1709: do not expose the worker for a loop-breaker
 commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)