projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add missing case for EqPred
2006-09-29 simonpj@microsoft.comAdd missing case for EqPred
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comAmplify scoped tyvar changes
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comUpdate release notes
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comImprove pretty-printing of Core
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comAnother correction to the (subtle) exprIsConApp_maybe
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comSpelling correction
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comImprove pretty printing of IfaceSyn
 commit | commitdiff | tree
2006-09-29 simonpj@microsoft.comImprove unification error messages (again) (push to...
commit | commitdiff | tree
2006-09-27 simonpj@microsoft.comFix exprIsConApp_maybe (wasn't dealing properly with...
commit | commitdiff | tree
2006-09-26 simonpj@microsoft.comFix derived instances (again); prevents infinite superclass...
commit | commitdiff | tree
2006-09-25 simonpj@microsoft.comFix newtype deriving properly (un-doing Audreys patch)
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comTrim more imports
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comFix origin for addDataConStupidTheta
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comRemove ASSERT from mkDataCon, and add comments to explain why
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comThe unboxed tuple kind is (#), not (##)
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comComplete definition of cmPredX to take account of EqPred
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comCorrect crucial typo in isSubKind (kc1 -> kc2)!
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comRe-work the newtype-deriving support
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comAdd TcRnMonad.newSysLocalIds, and use it
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comRemove dead code concerning coercions from TypeRep
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comMove snocView in the file, nearer the other spliting...
commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comImprove documentation of newtype-deriving (todo: check...
commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it
 commit | commitdiff | tree
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code
 commit | commitdiff | tree
2006-09-22 simonpj@microsoft.comImprove specialisation in SpecConstr
 commit | commitdiff | tree
2006-09-22 simonpj@microsoft.comRemove duplicate call to getDOpts
 commit | commitdiff | tree
2006-09-22 simonpj@microsoft.comRemove use of isVanillaDataCon, which was wrong under...
commit | commitdiff | tree
2006-09-22 simonpj@microsoft.comTrim imports, reformatting
 commit | commitdiff | tree
2006-09-22 simonpj@microsoft.comAdd a crucial missing prime in tcConPat
 commit | commitdiff | tree
2006-09-06 simonpj@microsoft.comComment on the commoning up of CoPats in Match
 commit | commitdiff | tree
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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)