projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix Trac #2334: validity checking for type families
2008-06-06 simonpj@microsoft.comFix Trac #2334: validity checking for type families
 commit | commitdiff | tree
2008-06-05 simonpj@microsoft.comVital follow-up to fix of Trac #2045
 commit | commitdiff | tree
2008-06-05 simonpj@microsoft.comFix Trac #2045: use big-tuple machiney for implication...
commit | commitdiff | tree
2008-06-05 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-06-05 simonpj@microsoft.comDesugar multiple polymorphic bindings more intelligently
 commit | commitdiff | tree
2008-06-05 simonpj@microsoft.comAdd non-recursive let-bindings for types
 commit | commitdiff | tree
2008-06-04 simonpj@microsoft.comFix Trac #2339: reify (mkName "X")
 commit | commitdiff | tree
2008-06-04 simonpj@microsoft.comFix Trac #2310: result type signatures are not supported...
commit | commitdiff | tree
2008-06-04 simonpj@microsoft.comSort modules and packages in debug print (reduce test...
commit | commitdiff | tree
2008-06-03 simonpj@microsoft.comFix Trac #2331 (error message suggestion)
 commit | commitdiff | tree
2008-05-30 simonpj@microsoft.comImprove documentation of RULES
 commit | commitdiff | tree
2008-05-30 simonpj@microsoft.comImprove documentation for INLINE pragma
 commit | commitdiff | tree
2008-06-03 simonpj@microsoft.comShorten debug messages
 commit | commitdiff | tree
2008-06-02 simonpj@microsoft.comFix minor layout issue (whitespace only)
 commit | commitdiff | tree
2008-05-21 simonpj@microsoft.comFix Trac #1061: refactor handling of default methods
 commit | commitdiff | tree
2008-05-21 simonpj@microsoft.comComment typo
 commit | commitdiff | tree
2008-05-20 simonpj@microsoft.comFix Trac #2292: improve error message for lone signatures
 commit | commitdiff | tree
2008-05-20 simonpj@microsoft.comFix Trac #2293: improve error reporting for duplicate...
commit | commitdiff | tree
2008-05-15 simonpj@microsoft.comTuples cannot contain unboxed types
 commit | commitdiff | tree
2008-05-16 simonpj@microsoft.comImprove the treatment of 'seq' (Trac #2273)
 commit | commitdiff | tree
2008-05-07 simonpj@microsoft.comFix context for fwd_pure_anal to match that of forward_sol
 commit | commitdiff | tree
2008-05-06 simonpj@microsoft.comFix Trac #2246; overhaul handling of overloaded literals
 commit | commitdiff | tree
2008-05-06 simonpj@microsoft.comFix type signature to work without -XRelaxedPolyRec...
commit | commitdiff | tree
2008-04-30 simonpj@microsoft.comImprove documentation of RULES pragmas
 commit | commitdiff | tree
2008-04-28 simonpj@microsoft.comFix Trac #1969: perfomance bug in the specialiser
 commit | commitdiff | tree
2008-04-28 simonpj@microsoft.comFix Trac #2238: do not use newtype for a class with...
commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comSimplify SimplCont, plus some other small changes to...
commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comComments only in SimplCore
 commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comMinor bug in SpecConstr
 commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comFix a long-standing bug in FloatOut
 commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comRemove static flag opt_RuntimeTypes (has not been used...
commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comRefactor the TyVarTy case of 'match'. No change in...
commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comAdd Note [Generating the in-scope set for a substitution]
 commit | commitdiff | tree
2008-04-22 simonpj@microsoft.comRename WpCo to WpCast
 commit | commitdiff | tree
2008-04-21 simonpj@microsoft.comAdd clarifying comments about unsafeCoerce
 commit | commitdiff | tree
2008-04-11 simonpj@microsoft.comRevive the static argument transformation
 commit | commitdiff | tree
2008-04-11 simonpj@microsoft.comTransfer strictness and arity info when abstracting...
commit | commitdiff | tree
2008-04-11 simonpj@microsoft.comRejig error reporting in the unifier slightly
 commit | commitdiff | tree
2008-04-10 simonpj@microsoft.comImprove error message layout slightly
 commit | commitdiff | tree
2008-04-10 simonpj@microsoft.comTwo improvements to boxy matching
 commit | commitdiff | tree
2008-04-10 simonpj@microsoft.comFix Trac #2206: ensure the return type is rigid in...
commit | commitdiff | tree
2008-04-10 simonpj@microsoft.comFix Trac #2205, which I introduced recently
 commit | commitdiff | tree
2008-04-10 simonpj@microsoft.comEnsure that arity is accurate in back end
 commit | commitdiff | tree
2008-04-10 simonpj@microsoft.comMake the arity and strictness agree, for wired-in bottoming Ids
 commit | commitdiff | tree
2008-04-04 simonpj@microsoft.comFix Trac #2188: scoping in TH declarations quotes
 commit | commitdiff | tree
2008-04-03 simonpj@microsoft.comFix simplifier thrashing
 commit | commitdiff | tree
2008-04-03 simonpj@microsoft.comFix Trac #2179: error message for main
 commit | commitdiff | tree
2008-04-03 simonpj@microsoft.comFix Trac #2136: reporting of unused variables
 commit | commitdiff | tree
2008-04-02 simonpj@microsoft.comFix Trac #2137: report correct location for shadowed...
commit | commitdiff | tree
2008-04-02 simonpj@microsoft.comFix Trac #2141: invalid record update
 commit | commitdiff | tree
2008-03-06 simonpj@microsoft.comDon't expose the unfolding of dictionary selectors...
commit | commitdiff | tree
2008-03-06 simonpj@microsoft.comFix Trac #783: improve short-cutting literals in the...
commit | commitdiff | tree
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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)