projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Recover after an error in an implication constraint
2010-10-19 simonpj@microsoft.comRecover after an error in an implication constraint
 commit | commitdiff | tree
2010-10-19 simonpj@microsoft.comReject programs with equality superclasses for now
 commit | commitdiff | tree
2010-10-19 simonpj@microsoft.comLayout and tiny refactoring only
 commit | commitdiff | tree
2010-10-19 simonpj@microsoft.comClean up the debugger code
 commit | commitdiff | tree
2010-10-19 simonpj@microsoft.comAdd new VarEnv functions minusVarEnv, intersectsVarEnv...
commit | commitdiff | tree
2010-10-18 dimitris@microsoft.comMajor pass through type checker:(1) prioritizing equalities...
commit | commitdiff | tree
2010-10-15 dimitris@microsoft.com(1) Caching FD improvements for efficiency, (2) preventing...
commit | commitdiff | tree
2010-10-14 dimitris@microsoft.comMidstream changes for performance improvement related...
commit | commitdiff | tree
2010-10-12 dimitris@microsoft.comMinor
 commit | commitdiff | tree
2010-10-11 dimitris@microsoft.comCommentary changes
 commit | commitdiff | tree
2010-10-08 dimitris@microsoft.comKind checking bugfix (#4356) and preventing wanteds...
commit | commitdiff | tree
2010-10-18 simonpj@microsoft.comDefine SpecConstrAnnotation in GHC.Exts, and import...
commit | commitdiff | tree
2010-09-27 pho@cielonegro.orgNew member "archiveMemberName" for struct _ObjectCode
 commit | commitdiff | tree
2010-10-15 simonpj@microsoft.comComments and layout
 commit | commitdiff | tree
2010-10-15 simonpj@microsoft.comMake (Located a) an instance of Eq, Ord
 commit | commitdiff | tree
2010-10-15 simonpj@microsoft.comGive user-defined rules precedence over built-in rules
 commit | commitdiff | tree
2010-10-15 simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint...
commit | commitdiff | tree
2010-10-13 simonpj@microsoft.comRemove GHC.extendGlobalRdrScope, GHC.extendGlobalTypeScope
 commit | commitdiff | tree
2010-10-13 benl@ouroborus.netFix warnings
 commit | commitdiff | tree
2010-10-13 benl@ouroborus.netRegAlloc: Track slot liveness over jumps in spill cleaner
 commit | commitdiff | tree
2010-10-08 simonpj@microsoft.comFix Trac #4360: omitted case in combineCtLoc
 commit | commitdiff | tree
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
commit | commitdiff | tree
2010-10-08 simonpj@microsoft.comDo less simplification when doing let-generalisation
 commit | commitdiff | tree
2010-10-08 simonpj@microsoft.comSuppress ambiguity errors if any other errors occur
 commit | commitdiff | tree
2010-10-08 simonpj@microsoft.comFix Trac #4361: be more discerning when inferring types
 commit | commitdiff | tree
2010-10-08 simonpj@microsoft.comSuppress knock-on typechecker errors
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comSome refactoring and simplification in TcInteract.occurCheck
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comImplement auto-specialisation of imported Ids
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comMake NameEnv back into type NameEnv a = UniqFM a
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comImprove the rule-matcher
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comFix Trac #4345: simplifier bug
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comAvoid redundant simplification
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comMake the occurrence analyser deal correctly with RULES...
commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comMake warning-free
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comThis is just white-space and layout
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comFix an ASSERT failure in FamInstEnv
 commit | commitdiff | tree
2010-10-07 simonpj@microsoft.comFix a looping bug in the new occur-check code
 commit | commitdiff | tree
2010-10-06 simonpj@microsoft.comFix test T4235 with -O
 commit | commitdiff | tree
2010-10-06 simonpj@microsoft.comMake warning-free
 commit | commitdiff | tree
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker
 commit | commitdiff | tree
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing
 commit | commitdiff | tree
2010-09-23 dimitris@microsoft.comPerformance bug fixes
 commit | commitdiff | tree
2010-10-06 simonpj@microsoft.comFix Trac #4371: matching of view patterns
 commit | commitdiff | tree
2010-10-06 simonpj@microsoft.comRemove unused NoMatchContext construtor
 commit | commitdiff | tree
2010-10-06 simonpj@microsoft.comRefactoring: mainly rename ic_env_tvs to ic_untch
 commit | commitdiff | tree
2010-09-24 simonpj@microsoft.comFix an egregious bug: INLINE pragmas on monomorphic...
commit | commitdiff | tree
2010-09-24 simonpj@microsoft.comEta expand only lambdas that bind a non-dictionary Id
 commit | commitdiff | tree
2010-09-24 simonpj@microsoft.comAdd a comment
 commit | commitdiff | tree
2010-09-24 simonpj@microsoft.comAdd a debug print
 commit | commitdiff | tree
2010-09-24 simonpj@microsoft.comJust moving comments around
 commit | commitdiff | tree
2010-09-24 simonpj@microsoft.comFix computation of installed packages
 commit | commitdiff | tree
2010-09-24 simonpj@microsoft.comFix braino in WwLib/Literal patch
 commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comFor now, switch off incomplete-pattern warnings in...
commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comMake -funfolding-dict-threshold work properly
 commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comImpredicative types is no longer deprecated
 commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comDo not make FunctionalDependencies force MonoLocalBinds
 commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comAllow absent State# RealWorld arguments
 commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comAdd notSCCNote, and use it
 commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comRemove use of lambda with a refutable pattern
 commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comAvoid ASSERT black hole
 commit | commitdiff | tree
2010-09-23 simonpj@microsoft.comRejig the absent-arg stuff for unlifted types
 commit | commitdiff | tree
2010-09-22 simonpj@microsoft.comRemove -fwarn-simple-patterns, and make -fwarn-incomplete...
commit | commitdiff | tree
2010-09-22 simonpj@microsoft.comGet rid of non-exhaustive lambda
 commit | commitdiff | tree
2010-09-22 simonpj@microsoft.comFix an ASSERT failure with profiling
 commit | commitdiff | tree
2010-09-19 simonpj@microsoft.comLoosen the conditions for -XUndecidableInstances; fixes...
commit | commitdiff | tree
2010-09-19 simonpj@microsoft.comFurther improvements in error messages
 commit | commitdiff | tree
2010-09-19 simonpj@microsoft.comAdd a flag -fwarn-missing-local-sigs, and improve ...
commit | commitdiff | tree
2010-09-19 simonpj@microsoft.comInclude the "stupid theta" in the type of $con2tag
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comFix overriding of implicit parameters in the solver
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comMinor type printing amomaly
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comSpaces only
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comMinor refactoring
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comAdd types of implicit parameters as untouchable
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comBetter pretty printing of implicit parameters
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comYet more error message improvement
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comMore error message wibbles
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comMore error refactoring
 commit | commitdiff | tree
2010-09-17 simonpj@microsoft.comRefactor type errors a bit
 commit | commitdiff | tree
2010-09-16 simonpj@microsoft.comFix a very subtle shadowing bug in optCoercion
 commit | commitdiff | tree
2010-09-16 simonpj@microsoft.comFix bad error in tyVarsOfType
 commit | commitdiff | tree
2010-09-16 simonpj@microsoft.comMore assertions
 commit | commitdiff | tree
2010-09-16 simonpj@microsoft.comAdd more location info in CoreLint
 commit | commitdiff | tree
2010-09-16 simonpj@microsoft.comPrint coercion variables as such (debugging change...
commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comRemove pprTrace
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comRemove dead code dealing with type refinement
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comUse mkAppTy
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comExtend eta reduction to work with casted arguments
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comAllow "INLINEABLE" as a synonym
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comDocumentation for INLINABLE
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comImplement TH reification of instances (Trac #1835)
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comAdd quotes in error message
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comFix isDefaultInlinePragma
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comImplement INLINABLE pragma
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comLess voluminous error when derived code doesn't typecheck
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comImprove pretty-printing of family instances
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comFix Trac #4240: -ddump-minimal-imports
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2010-09-15 simonpj@microsoft.comFix egregious bug in deeplyInstantiate
 commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)