projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix Trac #4361: be more discerning when inferring types
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
2010-09-15 simonpj@microsoft.comImprove HsSyn pretty printing
 commit | commitdiff | tree
2010-09-14 simonpj@microsoft.comImprove ASSERT
 commit | commitdiff | tree
2010-09-14 simonpj@microsoft.comComment on what an "enumeration" type is
 commit | commitdiff | tree
2010-09-14 simonpj@microsoft.comMake absent-arg wrappers work for unlifted types (fix...
commit | commitdiff | tree
2010-09-14 simonpj@microsoft.comComments only
 commit | commitdiff | tree
2010-09-14 simonpj@microsoft.comMove error-ids to MkCore (from PrelRules)
 commit | commitdiff | tree
2010-09-14 simonpj@microsoft.comMore wibbles to deriving error messages
 commit | commitdiff | tree
2010-09-13 simonpj@microsoft.comImprove crash message
 commit | commitdiff | tree
2010-09-13 simonpj@microsoft.comFix Trac #4302, plus a little refactoring
 commit | commitdiff | tree
2010-09-13 simonpj@microsoft.comHaddock fixes
 commit | commitdiff | tree
2010-09-13 simonpj@microsoft.comRemove two old junk files
 commit | commitdiff | tree
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
commit | commitdiff | tree
2010-09-09 simonpj@microsoft.comFix simplifier statistics
 commit | commitdiff | tree
2010-09-08 simonpj@microsoft.comTrace output
 commit | commitdiff | tree
2010-09-08 simonpj@microsoft.comBetter debug output
 commit | commitdiff | tree
2010-09-08 simonpj@microsoft.comAdd Outputable instance for OccEncl
 commit | commitdiff | tree
2010-09-07 simonpj@microsoft.comBetter simplifier counting
 commit | commitdiff | tree
2010-09-06 simonpj@microsoft.comPut liftStringName into the known-key names
 commit | commitdiff | tree
2010-09-03 simonpj@microsoft.comDeprecate NoRelaxedPolyRec
 commit | commitdiff | tree
2010-09-03 simonpj@microsoft.comBuglet in Core Lint
 commit | commitdiff | tree
2010-09-03 simonpj@microsoft.comGive seqId the right type
 commit | commitdiff | tree
2010-09-03 simonpj@microsoft.comRemove dead code
 commit | commitdiff | tree
2010-09-03 simonpj@microsoft.comComments and layout
 commit | commitdiff | tree
2010-09-02 simonpj@microsoft.comRemove checkFreeness; no longer needed
 commit | commitdiff | tree
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)