projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add -fsimpleopt-before-flatten
[ghc-hetmet.git] / compiler / typecheck /
2010-10-19 simonpj@microsoft.comReject programs with equality superclasses for now tree | commitdiff
2010-10-19 simonpj@microsoft.comLayout and tiny refactoring only tree | commitdiff
2010-10-19 simonpj@microsoft.comClean up the debugger code tree | commitdiff
2010-10-18 dimitris@microsoft.comMajor pass through type checker:(1) prioritizing equali... tree | commitdiff
2010-10-15 dimitris@microsoft.com(1) Caching FD improvements for efficiency, (2) prevent... tree | commitdiff
2010-10-14 dimitris@microsoft.comMidstream changes for performance improvement related... tree | commitdiff
2010-10-12 dimitris@microsoft.comMinor tree | commitdiff
2010-10-11 dimitris@microsoft.comCommentary changes tree | commitdiff
2010-10-08 dimitris@microsoft.comKind checking bugfix (#4356) and preventing wanteds... tree | commitdiff
2010-10-15 simonpj@microsoft.comComments and layout tree | commitdiff
2010-10-15 simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint... tree | commitdiff
2010-10-13 simonpj@microsoft.comRemove GHC.extendGlobalRdrScope, GHC.extendGlobalTypeScope tree | commitdiff
2010-10-15 Simon MarlowInlinePrag needs an arity only for INLINE, not INLINABLE tree | commitdiff
2010-10-13 benl@ouroborus.netFix warnings tree | commitdiff
2010-10-10 Ian LynaghRemove unnecessary import tree | commitdiff
2010-10-08 simonpj@microsoft.comFix Trac #4360: omitted case in combineCtLoc tree | commitdiff
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and... tree | commitdiff
2010-10-08 simonpj@microsoft.comDo less simplification when doing let-generalisation tree | commitdiff
2010-10-08 simonpj@microsoft.comSuppress ambiguity errors if any other errors occur tree | commitdiff
2010-10-08 simonpj@microsoft.comFix Trac #4361: be more discerning when inferring types tree | commitdiff
2010-10-08 simonpj@microsoft.comSuppress knock-on typechecker errors tree | commitdiff
2010-10-07 simonpj@microsoft.comSome refactoring and simplification in TcInteract.occur... tree | commitdiff
2010-10-07 simonpj@microsoft.comComments only tree | commitdiff
2010-10-07 simonpj@microsoft.comImplement auto-specialisation of imported Ids tree | commitdiff
2010-10-07 simonpj@microsoft.comThis is just white-space and layout tree | commitdiff
2010-10-07 simonpj@microsoft.comFix a looping bug in the new occur-check code tree | commitdiff
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker tree | commitdiff
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing tree | commitdiff
2010-09-23 dimitris@microsoft.comPerformance bug fixes tree | commitdiff
2010-10-06 simonpj@microsoft.comRefactoring: mainly rename ic_env_tvs to ic_untch tree | commitdiff
2010-09-24 Simon MarlowUsing 'stdcall' when it is not supported is only a... tree | commitdiff
2010-09-24 simonpj@microsoft.comFix an egregious bug: INLINE pragmas on monomorphic... tree | commitdiff
2010-09-19 simonpj@microsoft.comLoosen the conditions for -XUndecidableInstances; fixes... tree | commitdiff
2010-09-19 simonpj@microsoft.comFurther improvements in error messages tree | commitdiff
2010-09-19 simonpj@microsoft.comAdd a flag -fwarn-missing-local-sigs, and improve ... tree | commitdiff
2010-09-19 simonpj@microsoft.comInclude the "stupid theta" in the type of $con2tag tree | commitdiff
2010-09-18 Ian LynaghAdd separate functions for querying DynFlag and Extensi... tree | commitdiff
2010-09-17 simonpj@microsoft.comFix overriding of implicit parameters in the solver tree | commitdiff
2010-09-17 simonpj@microsoft.comSpaces only tree | commitdiff
2010-09-17 simonpj@microsoft.comMinor refactoring tree | commitdiff
2010-09-17 simonpj@microsoft.comAdd types of implicit parameters as untouchable tree | commitdiff
2010-09-17 simonpj@microsoft.comYet more error message improvement tree | commitdiff
2010-09-17 simonpj@microsoft.comMore error message wibbles tree | commitdiff
2010-09-17 simonpj@microsoft.comMore error refactoring tree | commitdiff
2010-09-17 simonpj@microsoft.comRefactor type errors a bit tree | commitdiff
2010-09-15 simonpj@microsoft.comRemove pprTrace tree | commitdiff
2010-09-15 simonpj@microsoft.comImplement TH reification of instances (Trac #1835) tree | commitdiff
2010-09-15 simonpj@microsoft.comAdd quotes in error message tree | commitdiff
2010-09-15 simonpj@microsoft.comLess voluminous error when derived code doesn't typecheck tree | commitdiff
2010-09-15 simonpj@microsoft.comFix egregious bug in deeplyInstantiate tree | commitdiff
2010-09-14 Ian LynaghRemove (most of) the FiniteMap wrapper tree | commitdiff
2010-09-14 simonpj@microsoft.comMove error-ids to MkCore (from PrelRules) tree | commitdiff
2010-09-14 simonpj@microsoft.comMore wibbles to deriving error messages tree | commitdiff
2010-09-13 simonpj@microsoft.comImprove crash message tree | commitdiff
2010-09-13 simonpj@microsoft.comFix Trac #4302, plus a little refactoring tree | commitdiff
2010-09-13 Ian LynaghFix build with 6.10 tree | commitdiff
2010-09-13 simonpj@microsoft.comHaddock fixes tree | commitdiff
2010-09-13 simonpj@microsoft.comRemove two old junk files tree | commitdiff
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... tree | commitdiff
2010-09-08 simonpj@microsoft.comTrace output tree | commitdiff
2010-09-02 simonpj@microsoft.comRemove checkFreeness; no longer needed tree | commitdiff
2010-08-31 simonpj@microsoft.comWibbles tree | commitdiff
2010-08-25 simonpj@microsoft.comWibble to allow phantom types in Enum tree | commitdiff
2010-08-24 simonpj@microsoft.comAdd HsCoreTy to HsType tree | commitdiff
2010-08-23 simonpj@microsoft.comWibbles to error message tree | commitdiff
2010-08-23 simonpj@microsoft.comCorrect type signatures tree | commitdiff
2010-08-23 simonpj@microsoft.comAdd missing signatures tree | commitdiff
2010-08-20 simonpj@microsoft.comAdd type signatures in "deriving" bindings tree | commitdiff
2010-08-20 dimitris@microsoft.comMinor tree | commitdiff
2010-08-11 simonpj@microsoft.comRemember to zonk FlatSkols! tree | commitdiff
2010-07-30 simonpj@microsoft.comDe-polymorphise tree | commitdiff
2010-07-19 simonpj@microsoft.comAdd a trace message tree | commitdiff
2010-09-11 Ian Lynaghput back the conversion of warn-lazy-unlifted-bindings... tree | commitdiff
2010-08-22 Ross Patersonfix extraction of command stack of arguments of arrow... tree | commitdiff
2010-08-13 simonpj@microsoft.comComments only tree | commitdiff
2010-08-12 simonpj@microsoft.comFix Trac #4220 tree | commitdiff
2010-07-31 Ian LynaghExpose the functions haddock needs even when haddock... tree | commitdiff
2010-07-24 Ian LynaghRename "language" varibles etc to "extension", and... tree | commitdiff
2010-07-24 Ian LynaghSeparate language option handling into 2 phases tree | commitdiff
2010-07-24 Ian LynaghSeparate the language flags from the other DynFlag's tree | commitdiff
2010-07-21 simonpj@microsoft.comComments only tree | commitdiff
2010-07-21 simonpj@microsoft.comFix inlining for default methods tree | commitdiff
2010-07-21 simonpj@microsoft.comAllow reification of existentials and GADTs tree | commitdiff
2010-07-15 illissius@gmail.comFix #4195 (isGadtSyntaxTyCon returns opposite result) tree | commitdiff
2010-07-13 simonpj@microsoft.comRefactor where an error message is generated tree | commitdiff
2010-07-13 simonpj@microsoft.comComments only tree | commitdiff
2010-07-07 simonpj@microsoft.comFix Trac #T4136: take care with nullary symbol constructors tree | commitdiff
2010-07-07 simonpj@microsoft.comFix Trac #4127 (and hence #4173) tree | commitdiff
2010-07-08 Sergei Trofimovichalpha: switch handling of 'foreign import wrapper'... tree | commitdiff
2010-06-25 amsay@amsay.nettrac #2362 (full import syntax in ghci) tree | commitdiff
2010-06-15 David TereiAdd new LLVM code generator to GHC. (Version 2) tree | commitdiff
2010-06-14 simonpj@microsoft.comFix Trac #4120: generate a proper coercion when unifyin... tree | commitdiff
2010-05-31 simonpj@microsoft.comFix Trac #4099: better error message for type functions tree | commitdiff
2010-05-31 simonpj@microsoft.comRobustify the treatement of DFunUnfolding tree | commitdiff
2010-05-25 simonpj@microsoft.comRefactor (again) the handling of default methods tree | commitdiff
2010-05-11 simonpj@microsoft.comFix Trac #4003: fix the knot-tying in checkHiBootIface tree | commitdiff
2010-05-10 simonpj@microsoft.comRe-engineer the derived Ord instance generation code... tree | commitdiff
2010-05-06 Ian LynaghEnable the "redundant specialise pragmas" warning;... tree | commitdiff
2010-05-06 simonpj@microsoft.comAdd a comment about pattern coercions tree | commitdiff
2010-05-06 simonpj@microsoft.comRefactoring of hsXxxBinders tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)