projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add comment for the invariant that DataAlt is never a newtype
2006-09-06 simonpj@microsoft.comAdd comment for the invariant that DataAlt is never...
commit | commitdiff | tree
2006-09-04 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2006-08-09 simonpj@microsoft.comChange ASSERT to WARN
 commit | commitdiff | tree
2006-08-04 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2006-07-26 simonpj@microsoft.comMake mkApps etc infix, and left-associative
 commit | commitdiff | tree
2006-07-26 simonpj@microsoft.comA somewhat subtle (FC-related) bug concerning the monomorphi...
commit | commitdiff | tree
2006-07-14 simonpj@microsoft.comAdd some type signatures
 commit | commitdiff | tree
2006-07-13 simonpj@microsoft.comA class in an interface file defines the CoTyCon of...
commit | commitdiff | tree
2006-07-06 simonpj@microsoft.comTiny comment change (darcs test only)
 commit | commitdiff | tree
2006-09-18 simonpj@microsoft.comFix a bug in subsumption, and tweak error messages
 commit | commitdiff | tree
2006-09-18 simonpj@microsoft.comComments
 commit | commitdiff | tree
2006-09-18 simonpj@microsoft.comEnsure that only zonked poly_ids are passed to tcSpecPrag
 commit | commitdiff | tree
2006-09-18 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2006-09-17 simonpj@microsoft.comAdd a missing renamer dump (related to Template Haskell)
 commit | commitdiff | tree
2006-09-12 simonpj@microsoft.comAdd postfix ops to the release notes
 commit | commitdiff | tree
2006-09-11 simonpj@microsoft.comDocument postfix operators
 commit | commitdiff | tree
2006-09-11 simonpj@microsoft.comSimplify desugaring of left sections
 commit | commitdiff | tree
2006-09-11 simonpj@microsoft.comAdd comment
 commit | commitdiff | tree
2006-09-08 simonpj@microsoft.comCatch errors in pattern matching for unboxed tuples
 commit | commitdiff | tree
2006-09-07 simonpj@microsoft.comFix the handling of names in declaration brackets
 commit | commitdiff | tree
2006-09-07 simonpj@microsoft.comDocumentation for impredicative polymorphism
 commit | commitdiff | tree
2006-09-07 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2006-09-07 simonpj@microsoft.comRemove result type signatures from documentation
 commit | commitdiff | tree
2006-09-07 simonpj@microsoft.comFix bug in error message
 commit | commitdiff | tree
2006-09-07 simonpj@microsoft.comResult type signatures are no longer supported (partial)
 commit | commitdiff | tree
2006-09-06 simonpj@microsoft.comPattern-match warning police
 commit | commitdiff | tree
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments
 commit | commitdiff | tree
2006-09-06 simonpj@microsoft.comCheck that top-level binders are unqualified names
 commit | commitdiff | tree
2006-09-06 simonpj@microsoft.comMake record selection look cheap
 commit | commitdiff | tree
2006-09-06 simonpj@microsoft.comDocumentation for lexically-scoped type variables
 commit | commitdiff | tree
2006-09-05 simonpj@microsoft.comFix dependency analysis (notably bindInstsOfLocalFuns...
commit | commitdiff | tree
2006-09-05 simonpj@microsoft.comAdd note about overlapping instances
 commit | commitdiff | tree
2006-09-05 simonpj@microsoft.comRecord that TH doesn't support pattern types signature
 commit | commitdiff | tree
2006-09-04 simonpj@microsoft.comRefactoring for derived Read
 commit | commitdiff | tree
2006-09-04 simonpj@microsoft.comEnable bang-patterns only when the flag says so (had...
commit | commitdiff | tree
2006-09-04 simonpj@microsoft.comImprove pretty-printing for HsExpr
 commit | commitdiff | tree
2006-09-04 simonpj@microsoft.comRemove linear implicit parameters, and document in...
commit | commitdiff | tree
2006-09-04 simonpj@microsoft.comRelease notes should mention better newtype-deriving
 commit | commitdiff | tree
2006-09-04 simonpj@microsoft.comDocumentation for bang patterns, and other improvements
 commit | commitdiff | tree
2006-09-01 simonpj@microsoft.com-fglasgow-exts no longer implies -fbang-patterns
 commit | commitdiff | tree
2006-08-31 simonpj@microsoft.comAdd a pointer to the fundeps paper
 commit | commitdiff | tree
2006-08-18 simonpj@microsoft.comI don't thing we want to add a call-context here; it...
commit | commitdiff | tree
2006-08-18 simonpj@microsoft.comAvoid duplicate "In type ..." in error messages
 commit | commitdiff | tree
2006-08-18 simonpj@microsoft.comBetter pretty-printing for TvSubst
 commit | commitdiff | tree
2006-08-18 simonpj@microsoft.comFall over more gracefully when there's a Template Haskell...
commit | commitdiff | tree
2006-08-18 simonpj@microsoft.comFix typo (fst --> head) in docs on implicit parameters
 commit | commitdiff | tree
2006-08-17 simonpj@microsoft.comOne last hs-boot update
 commit | commitdiff | tree
2006-08-17 simonpj@microsoft.comMissing import for stage 2
 commit | commitdiff | tree
2006-08-17 simonpj@microsoft.comOne more hs-boot file
 commit | commitdiff | tree
2006-08-17 simonpj@microsoft.comRefactoring for valid rule checking
 commit | commitdiff | tree
2006-08-17 simonpj@microsoft.comDo not CSE in INLINE and NOINLINE things
 commit | commitdiff | tree
2006-08-17 simonpj@microsoft.comUpdate lhs-boot files
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comAdd ad-hoc typing checks for tagToEnum#
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comGet dead-ness right in knownCon
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comTuning for argToPat
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comRe-factor mkAtomicArgs and completeNonRecX
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comAnother try at the continuation-swapping stuff
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comDon't build unnecessary lets in knownCon
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comRefactoring, plus record recursive-function *components...
commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comRecord constructor arg occs correctly (bug-fix)
 commit | commitdiff | tree
2006-08-16 simonpj@microsoft.comDisable form-checking for rule LHSs
 commit | commitdiff | tree
2006-08-15 simonpj@microsoft.comAllow class and instance decls in hs-boot files
 commit | commitdiff | tree
2006-08-15 simonpj@microsoft.comReject derivable type classes with higher-rank methods
 commit | commitdiff | tree
2006-08-15 simonpj@microsoft.comSpecConstr now specialises on constants and lambdas
 commit | commitdiff | tree
2006-08-15 simonpj@microsoft.comFix two bugs in rule-matching
 commit | commitdiff | tree
2006-08-15 simonpj@microsoft.comMoving list-length code from one place in the file...
commit | commitdiff | tree
2006-08-15 simonpj@microsoft.comMake UniqSM into a proper monad
 commit | commitdiff | tree
2006-08-15 simonpj@microsoft.comTypo in patch that dealt with duplicating continuations...
commit | commitdiff | tree
2006-08-14 simonpj@microsoft.comBe more conservative about duplicating continuations
 commit | commitdiff | tree
2006-08-14 simonpj@microsoft.comInline into tail-called constructor args
 commit | commitdiff | tree
2006-08-14 simonpj@microsoft.comImprove exprIsCheap
 commit | commitdiff | tree
2006-08-14 simonpj@microsoft.comImprove error message in TcHsType
 commit | commitdiff | tree
2006-08-11 simonpj@microsoft.comComplete -fmono-pat-binds patch
 commit | commitdiff | tree
2006-08-11 simonpj@microsoft.comImprove error message layouts
 commit | commitdiff | tree
2006-08-11 simonpj@microsoft.comAdd type signature
 commit | commitdiff | tree
2006-08-11 simonpj@microsoft.comTwo more error message indendations
 commit | commitdiff | tree
2006-08-11 simonpj@microsoft.comGo back to calling type veriables t
 commit | commitdiff | tree
2006-08-11 simonpj@microsoft.comIndent an error message
 commit | commitdiff | tree
2006-08-11 simonpj@microsoft.comImprove error message (imported from Prelude at Implicit...
commit | commitdiff | tree
2006-08-10 simonpj@microsoft.comAdd an IAmDead case to postInlineUnconditionally, and...
commit | commitdiff | tree
2006-08-10 simonpj@microsoft.comDo not repeatedly simplify an argument more than once
 commit | commitdiff | tree
2006-08-10 simonpj@microsoft.comDo not call preInlineUnconditionally in simplNonRecX
 commit | commitdiff | tree
2006-08-10 simonpj@microsoft.comMake postInlineUnconditaionally more conservative
 commit | commitdiff | tree
2006-08-10 simonpj@microsoft.comEgregious bug in tcLHsConResTy
 commit | commitdiff | tree
2006-08-10 simonpj@microsoft.comComments about improvements to SpecConstr
 commit | commitdiff | tree
2006-08-08 simonpj@microsoft.comMore fixes to pre-matching and pre-subsumption
 commit | commitdiff | tree
2006-08-08 simonpj@microsoft.comGroup exports so that all length functions are together...
commit | commitdiff | tree
2006-08-08 simonpj@microsoft.comCheck that lazy patterns are for lifted types
 commit | commitdiff | tree
2006-08-08 simonpj@microsoft.comSpelling in a comment
 commit | commitdiff | tree
2006-08-08 simonpj@microsoft.comRemove srcSpanStartLine/srcSpanEndLine crash
 commit | commitdiff | tree
2006-08-08 simonpj@microsoft.comFix pre-subsumption and pre-matching
 commit | commitdiff | tree
2006-08-08 simonpj@microsoft.comImprove error message
 commit | commitdiff | tree
2006-08-07 simonpj@microsoft.comAdd -fextended-default-rules and -fmono-pat-binds
 commit | commitdiff | tree
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check
 commit | commitdiff | tree
2006-08-01 simonpj@microsoft.comMake unification robust to a boxy type variable meeting...
commit | commitdiff | tree
2006-07-31 simonpj@microsoft.comAdd notes about unsafeCoerce
 commit | commitdiff | tree
2006-07-27 simonpj@microsoft.comImprove error message for deriving
 commit | commitdiff | tree
2006-07-27 simonpj@microsoft.comLazy patterns are like wild-cards for overlap warnings
 commit | commitdiff | tree
2006-07-27 simonpj@microsoft.comAdd missing import
 commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)