projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Signature type variables must not be instantiated with tycons
2007-02-19 simonpj@microsoft.comSignature type variables must not be instantiated with...
commit | commitdiff | tree
2007-02-09 simonpj@microsoft.comMajor improvement to SpecConstr
 commit | commitdiff | tree
2007-02-09 simonpj@microsoft.comRefactor the simplifier's treatment of case expressions
 commit | commitdiff | tree
2007-02-07 simonpj@microsoft.comForce recompilation on all -ddump flags
 commit | commitdiff | tree
2007-02-07 simonpj@microsoft.comForce recompilation with -ddump-minimal-imports
 commit | commitdiff | tree
2007-02-07 simonpj@microsoft.comSpelling fix
 commit | commitdiff | tree
2007-02-07 simonpj@microsoft.comFix bug in -ddump-minimal imports Trac #1025
 commit | commitdiff | tree
2007-02-06 simonpj@microsoft.comCheck for escape when unifying forall-types
 commit | commitdiff | tree
2007-02-06 simonpj@microsoft.comRename local variable (no semantic effect)
 commit | commitdiff | tree
2007-02-06 simonpj@microsoft.comComments and debug output
 commit | commitdiff | tree
2007-02-06 simonpj@microsoft.comImprove rule-matching for let expressions
 commit | commitdiff | tree
2007-02-06 simonpj@microsoft.comDo more wild-carding in SpecConstr; I'm not quite sure...
commit | commitdiff | tree
2007-02-06 simonpj@microsoft.comFix a small bug when comparing patterns for equality
 commit | commitdiff | tree
2007-02-06 simonpj@microsoft.comExpose rnInScopeSet from VarEnv
 commit | commitdiff | tree
2007-02-05 simonpj@microsoft.comImplement the PushT rule from the FC paper
 commit | commitdiff | tree
2007-02-05 simonpj@microsoft.comImprove handling of partial applications involving...
commit | commitdiff | tree
2007-02-05 simonpj@microsoft.comFloat casts out of lambdas
 commit | commitdiff | tree
2007-02-05 simonpj@microsoft.comUse exprIsCheap in floating, just as the simplifier...
commit | commitdiff | tree
2007-02-05 simonpj@microsoft.comEstablish the CoreSyn let/app invariant
 commit | commitdiff | tree
2007-02-05 simonpj@microsoft.comImprove simplification of coercions
 commit | commitdiff | tree
2007-02-02 simonpj@microsoft.comLook through Notes when generating and matching RULES
 commit | commitdiff | tree
2007-02-02 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2007-02-02 simonpj@microsoft.comFix a pair of classic, but tricky, bugs in the type...
commit | commitdiff | tree
2007-02-02 simonpj@microsoft.comOne more wibble to FloatOut, fixes HEAD breakage (I...
commit | commitdiff | tree
2007-02-02 simonpj@microsoft.comDon't dump floated bindings just outside a lambda
 commit | commitdiff | tree
2007-02-02 simonpj@microsoft.comReset the demand info on bindings going to top level...
commit | commitdiff | tree
2007-02-02 simonpj@microsoft.comRecord arity of the worker, to maintain consistency...
commit | commitdiff | tree
2007-01-31 simonpj@microsoft.comSlight refactoring for overloaded strings
 commit | commitdiff | tree
2007-01-31 simonpj@microsoft.comUse Id.isStrictId
 commit | commitdiff | tree
2007-01-31 simonpj@microsoft.comAdd note about Template Haskell and mutual recursion
 commit | commitdiff | tree
2007-01-30 simonpj@microsoft.comFix Trac #1122; spot absence of TyCon in data/newtype...
commit | commitdiff | tree
2007-01-25 simonpj@microsoft.comComments and layout only
 commit | commitdiff | tree
2007-01-13 simonpj@microsoft.comFix an obscure bug in rule-matching
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comWibble
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comSlightly improve -ddump-hi-diffs output
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comAvoid duplicate defns of 'main' in module Main
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comAdd -ddump-rule-firings
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comComments
 commit | commitdiff | tree
2007-01-10 simonpj@microsoft.comCorrect spelling
 commit | commitdiff | tree
2007-01-10 simonpj@microsoft.comSort rules and instances lexicographically in interface...
commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comMake the LiberateCase transformation understand associated...
commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comAdd comments about invariants
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comComments
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comComments
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comLog message for: Fix a nasty recursive loop in typechecking...
commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comLog-message for: Improve command-line parser (add OptIntSuff...
commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comImprove command-line parser (add OptIntSuffix); make...
commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comRemove redundant import
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comAdd comments (AT-related)
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comSpelling correction only
 commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comFix a nasty recursive loop in typechecking interface...
commit | commitdiff | tree
2007-01-11 simonpj@microsoft.comUpdate comments
 commit | commitdiff | tree
2007-01-10 simonpj@microsoft.comFix apparently-long-standing bug in FloatIn
 commit | commitdiff | tree
2007-01-10 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2007-01-09 simonpj@microsoft.comPreserve rigidity for GADTs when typechecking explicit...
commit | commitdiff | tree
2007-01-09 simonpj@microsoft.comFix egregious bug in implication constraints
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comRecord-ise the liberate-case envt, in preparation for...
commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comAdd a type synonym for FamInstEnvs
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comBe more relaxed about reporting ambiguous class methods
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comFix bug in cast optimisation; fixes Trac #995
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comFix stupid error in rehashing TcRnDriver (fixes TH...
commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comFix several bugs related to finding free variables
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comMake warnings come out in deterministic order
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comChange to Unix line-line-endings
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comAdd newline at end
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comBetter error messages for deriving
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comFix another buglet in HsDoc stuff
 commit | commitdiff | tree
2007-01-03 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2007-01-02 simonpj@microsoft.comStandalone deriving wibbles: keyword is 'derive' not...
commit | commitdiff | tree
2007-01-02 simonpj@microsoft.comDocmunent stand-alone deriving
 commit | commitdiff | tree
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code
 commit | commitdiff | tree
2006-12-29 simonpj@microsoft.comAvoid duplicate error report when renaming HsDoc stuff
 commit | commitdiff | tree
2006-12-29 simonpj@microsoft.comAdd newline to end of file
 commit | commitdiff | tree
2006-12-22 simonpj@microsoft.comImprove documentation about packages
 commit | commitdiff | tree
2006-12-22 simonpj@microsoft.comDocumentation for class contexts in data-constructor...
commit | commitdiff | tree
2006-12-13 simonpj@microsoft.comAdd left-to-right impredicative instantiation
 commit | commitdiff | tree
2006-12-12 simonpj@microsoft.comMissed a stage-2 problem in the TcSimplify refactoring
 commit | commitdiff | tree
2006-12-12 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2006-12-12 simonpj@microsoft.comFix up yesterdays commit to TcSimplify; fixes broken...
commit | commitdiff | tree
2006-12-11 simonpj@microsoft.comAdd comments, plus fix zapFragileInfo to zap worker...
commit | commitdiff | tree
2006-12-11 simonpj@microsoft.comAdd comments about pruning implication constraints
 commit | commitdiff | tree
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification
 commit | commitdiff | tree
2006-12-11 simonpj@microsoft.comImprove origin of constraints in subsumption checking
 commit | commitdiff | tree
2006-12-11 simonpj@microsoft.comSuggests -fglasgow-exts for contexts-differ-in-length...
commit | commitdiff | tree
2006-12-11 simonpj@microsoft.comComments and layout only
 commit | commitdiff | tree
2006-12-11 simonpj@microsoft.comRemove strange extra print (a temporary debug?)
 commit | commitdiff | tree
2006-12-08 simonpj@microsoft.comFix typo
 commit | commitdiff | tree
2006-12-08 simonpj@microsoft.comImprove parsing for bang patterns (fixes Trac #1041)
 commit | commitdiff | tree
2006-12-06 simonpj@microsoft.comImprove dependency analysis; makes more dictionaries...
commit | commitdiff | tree
2006-12-04 simonpj@microsoft.comAdd documentation for seq
 commit | commitdiff | tree
2006-12-04 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2006-12-01 simonpj@microsoft.comq
 commit | commitdiff | tree
2006-11-29 simonpj@microsoft.comRemove trace
 commit | commitdiff | tree
2006-11-29 simonpj@microsoft.comRemove bogus comment
 commit | commitdiff | tree
2006-11-29 simonpj@microsoft.comTeach SpecConstr how to handle mutually-recursive functions
 commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)