projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Documentation for impredicative polymorphism
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
2006-07-27 simonpj@microsoft.comMake -fcontext-stack into a dynamic flag
 commit | commitdiff | tree
2006-07-26 simonpj@microsoft.comDeal correctly with infix type constructors in GADT...
commit | commitdiff | tree
2006-07-26 simonpj@microsoft.comImprove pretty printing of ConDecl
 commit | commitdiff | tree
2006-07-22 simonpj@microsoft.comAdd -fmono-pat-binds, and make it the default
 commit | commitdiff | tree
2006-07-22 simonpj@microsoft.comFix RULES lossage
 commit | commitdiff | tree
2006-07-14 simonpj@microsoft.comCheck for overlap-flag differences in hi files
 commit | commitdiff | tree
2006-07-14 simonpj@microsoft.comAdd a clarification about overlapping instances in...
commit | commitdiff | tree
2006-07-12 simonpj@microsoft.comComments and import trimming
 commit | commitdiff | tree
2006-07-12 simonpj@microsoft.comExperimental flag -fdicts-cheap
 commit | commitdiff | tree
2006-07-03 simonpj@microsoft.comThe dict-bindings in an IPBinds need not be in dependency...
commit | commitdiff | tree
2006-06-29 simonpj@microsoft.comRemove long-redundant FieldLabel.lhs
 commit | commitdiff | tree
2006-06-27 simonpj@microsoft.comAdd comments to SpecConstr
 commit | commitdiff | tree
2006-06-27 simonpj@microsoft.comMake SpecConstr work better for nested functions
 commit | commitdiff | tree
2006-06-26 simonpj@microsoft.comMore SpecConstr tuning
 commit | commitdiff | tree
2006-06-26 simonpj@microsoft.comImprove consistency checking for derived instances
 commit | commitdiff | tree
2006-06-26 simonpj@microsoft.comSlight improvement in TH error reporting
 commit | commitdiff | tree
2006-06-14 simonpj@microsoft.comImprove location info when typechecking interface fiels
 commit | commitdiff | tree
2006-06-24 simonpj@microsoft.comImprove RULE matching a bit more
 commit | commitdiff | tree
2006-06-21 simonpj@microsoft.comComment only
 commit | commitdiff | tree
2006-06-21 simonpj@microsoft.comTransfer INLINE to specialised functions
 commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)