projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
For a non-recursive let, make sure we extend the value environment
[ghc-hetmet.git] / compiler / typecheck /
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
2010-05-06 simonpj@microsoft.comFix Trac #3966: warn about useless UNPACK pragmas tree | commitdiff
2010-05-06 simonpj@microsoft.comAdd a HsExplicitFlag to SpliceDecl, to improve Trac... tree | commitdiff
2010-05-06 simonpj@microsoft.comChange an assert to a warn tree | commitdiff
2010-05-06 simonpj@microsoft.comTidy up debug print a little tree | commitdiff
2010-04-09 simonpj@microsoft.comFix Trac #3966: warn about unused UNPACK pragmas tree | commitdiff
2010-04-09 simonpj@microsoft.comFix Trac #3953: fail earlier when using a bogus quasiquoter tree | commitdiff
2010-04-09 simonpj@microsoft.comFix Trac #3965: tighten conditions when deriving Data tree | commitdiff
2010-04-12 simonpj@microsoft.comFix Trac #3950: unifying types of different kinds tree | commitdiff
2010-03-20 Ian LynaghRemove LazyUniqFM; fixes trac #3880 tree | commitdiff
2010-03-17 simonpj@microsoft.comFix Trac #3920: Template Haskell kinds tree | commitdiff
2010-03-09 simonpj@microsoft.comFix Trac #1954: newtype deriving caused 'defined but... tree | commitdiff
2010-03-04 simonpj@microsoft.comComments only tree | commitdiff
2010-03-04 simonpj@microsoft.comRefactor part of the renamer to fix Trac #3901 tree | commitdiff
2010-03-01 simonpj@microsoft.comSuggest -XGeneralizedNewtypeDeriving (fix Trac #3888) tree | commitdiff
2010-02-10 simonpj@microsoft.comImprove error dump in TcEnv tree | commitdiff
2010-02-10 simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus... tree | commitdiff
2010-02-10 simonpj@microsoft.comComments only tree | commitdiff
2010-02-10 simonpj@microsoft.comSeveral TH/quasiquote changes tree | commitdiff
2010-01-22 Ian LynaghRemove an out-of-date comment tree | commitdiff
2010-01-20 simonpj@microsoft.comFix Trac #3813: unused variables in GHCi bindings tree | commitdiff
2010-01-20 simonpj@microsoft.comFix Trac #3823, plus warning police in TcRnDriver tree | commitdiff
2010-01-07 simonpj@microsoft.comA little refactoring, plus improve error locations tree | commitdiff
2010-01-06 simonpj@microsoft.comImprove the handling of default methods tree | commitdiff
2010-01-05 simonpj@microsoft.comUndo the fix for Trac #3772 and do it a new way tree | commitdiff
2009-12-22 simonpj@microsoft.comMove isDictTy from TcType to Type tree | commitdiff
2010-01-04 Ben.Lippmeier@anu... Refactor PackageTarget back into StaticTarget tree | commitdiff
2010-01-02 Ben.Lippmeier@anu... Tag ForeignCalls with the package they correspond to tree | commitdiff
2009-12-21 simonpj@microsoft.comFix Trac #3772: dict funs for single-field classes tree | commitdiff
2009-12-18 simonpj@microsoft.comComments only tree | commitdiff
2009-12-18 simonpj@microsoft.comComments only tree | commitdiff
2009-12-11 simonpj@microsoft.comFix two related bugs in u_tys tree | commitdiff
2009-12-11 simonpj@microsoft.comFix spelling in comment tree | commitdiff
2009-12-07 simonpj@microsoft.comTidy up deriving error messages tree | commitdiff
2009-11-30 simonpj@microsoft.comFix Trac #3100: reifyType tree | commitdiff
2009-11-30 simonpj@microsoft.comFix Trac #3102: pre-matching polytypes tree | commitdiff
2009-11-30 Simon MarlowCheck whether the main function is actually exported... tree | commitdiff
2009-11-24 Ian LynaghWhitespace only tree | commitdiff
2009-11-17 simonpj@microsoft.comImprovement to typecheck higher-rank rules better tree | commitdiff
2009-11-13 simonpj@microsoft.comMake the new ClassOp/DFun selection mechanism work... tree | commitdiff
2009-11-12 simonpj@microsoft.comRemove old, redundant note tree | commitdiff
2009-11-06 simonpj@microsoft.comImprove debug-printing of the type environment tree | commitdiff
2009-11-06 simonpj@microsoft.comComments in OccurAnal tree | commitdiff
2009-11-05 simonpj@microsoft.comFix Trac #3640, plus associated refactoring tree | commitdiff
2009-11-05 simonpj@microsoft.comImprove error reporting when there's an error inside... tree | commitdiff
2009-11-05 simonpj@microsoft.comUpdate layout of error message slightly tree | commitdiff
2009-10-30 simonpj@microsoft.comMinor refactoring tree | commitdiff
2009-10-29 simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN... tree | commitdiff
2009-10-29 simonpj@microsoft.comComments and -ddump-tc-trace wibbles only tree | commitdiff
2009-10-29 simonpj@microsoft.comWhite space layout only tree | commitdiff
2009-10-28 simonpj@microsoft.comAdd 'rec' to stmts in a 'do', and deprecate 'mdo' tree | commitdiff
2009-10-20 simonpj@microsoft.comFix Trac #3590: a nasty type-checker bug in left/right... tree | commitdiff
2009-10-20 simonpj@microsoft.comTidy up TcSplice, especially runMeta and friends tree | commitdiff
2009-10-15 simonpj@microsoft.comFix Trac #959: a long-standing bug in instantiating... tree | commitdiff
2009-10-14 Simon MarlowFix FFI declaration checks tree | commitdiff
2009-10-02 Ian LynaghFix typo in comment tree | commitdiff
2009-09-30 simonpj@microsoft.comFix Trac #3540: malformed types tree | commitdiff
2009-09-24 Ian LynaghErrors talking about a left section should refer to... tree | commitdiff
2009-09-17 Manuel M T ChakravartyUse CONF_CC_OPTS tree | commitdiff
2009-09-15 Thomas SchillingPut context information for warnings in errMsgExtraInfo. tree | commitdiff
2009-09-11 simonpj@microsoft.comWibble to error message tree | commitdiff
2009-09-10 Simon Marlowremove debugging/testing code that got here by mistake tree | commitdiff
2009-09-10 simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467) tree | commitdiff
2009-09-08 Simon Marlowfix a warning tree | commitdiff
2009-08-26 Isaac Dupreeremove Haddock-lexing/parsing/renaming from GHC tree | commitdiff
2009-09-08 simonpj@microsoft.comFix Trac #3468: improve checking for hs-boot interfaces tree | commitdiff
2009-08-25 simonpj@microsoft.comFix Trac #3406 (albeit not very satisfactorily): scoped... tree | commitdiff
2009-08-21 simonpj@microsoft.comFix Trac #3423: missed instantiation for newtype-derive... tree | commitdiff
2009-08-20 simonpj@microsoft.comImprovements to record puns, wildcards tree | commitdiff
2009-08-20 Manuel M T ChakravartyFIX #2767 & original problem of #3208 tree | commitdiff
2009-08-16 Thomas SchillingMake updates to the external package state atomic. tree | commitdiff
2009-07-27 Simon MarlowRemove old 'foreign import dotnet' code tree | commitdiff
2009-07-24 Ian LynaghRemove GHC's haskell98 dependency tree | commitdiff
2009-07-23 simonpj@microsoft.comFix Trac #3391: make generic to/from bindings only... tree | commitdiff
2009-07-23 simonpj@microsoft.comFix Trac #3012: allow more free-wheeling in standalone... tree | commitdiff
2009-07-23 simonpj@microsoft.comFix Trac #3193: improve line number reporting for equal... tree | commitdiff
2009-07-23 simonpj@microsoft.comAdd tuple sections as a new feature tree | commitdiff
2009-07-22 simonpj@microsoft.comTake account of GADTs when reporting patterm-match... tree | commitdiff
2009-07-17 simonpj@microsoft.comFix Trac #3346: tcSimplify for LHS of RULES with type... tree | commitdiff
2009-07-16 Simon MarlowUse names like '$fOrdInt' for dfuns (and TF instances... tree | commitdiff
2009-07-11 m.niloc@gmail.comDerived Foldable instances should use Data.Foldable... tree | commitdiff
2009-07-14 Manuel M T ChakravartyFIX #3272 tree | commitdiff
2009-07-10 Manuel M T ChakravartyTFs: FIX #2203 (second half) tree | commitdiff
2009-07-10 Manuel M T ChakravartyTFs: Fix should_compile/Simple8 tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)