projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding pushing of hpc translation status through hi files.
[ghc-hetmet.git] / compiler / typecheck /
2007-07-17 andy@galois.comAdding pushing of hpc translation status through hi... tree | commitdiff
2007-07-12 Ian LynaghMerge *UnboxedTuples flags tree | commitdiff
2007-07-12 Pepe IborraTeach :print to not panic when the DataCon for a closur... tree | commitdiff
2007-07-11 Pepe Iborraremove some leftovers of the first ghci debugger prototype tree | commitdiff
2007-07-13 Manuel M T Chakravartyinit mg_inst_env when reading ext core tree | commitdiff
2007-07-10 Ian LynaghImplement -XDeriveDataTypeable flag tree | commitdiff
2007-07-10 Ian LynaghBe finer-grained when turning on extensions for generat... tree | commitdiff
2007-07-10 Ian LynaghTweak error message tree | commitdiff
2007-07-10 Ian LynaghFix tcInstHeadTyNotSynonym tree | commitdiff
2007-07-09 Ian LynaghAdd flag -XConstrainedClassMethods tree | commitdiff
2007-07-09 Ian LynaghJust alpha-rename a variable tree | commitdiff
2007-07-09 Ian LynaghAdd -XUnliftedFFITypes flag tree | commitdiff
2007-07-09 Ian LynaghImplement unboxed tuples flags tree | commitdiff
2007-07-09 Ian LynaghTweak the undecidable-instance-checking logic tree | commitdiff
2007-07-09 Ian LynaghDefine -XPartiallyAppliedClosedTypeSynonyms flag tree | commitdiff
2007-07-09 Ian LynaghRemove unused binding tree | commitdiff
2007-07-09 Ian LynaghAdd -XFlexibleContexts flag tree | commitdiff
2007-07-09 Ian LynaghImplement -XPolymorphicComponents tree | commitdiff
2007-07-08 Ian LynaghAdd flags for Rank2Types and RankNTypes tree | commitdiff
2007-07-08 Ian LynaghAdd flags for TypeSynonymInstances and FlexibleInstances tree | commitdiff
2007-07-08 Ian LynaghImplement -XFunctionalDependencies tree | commitdiff
2007-07-08 Ian LynaghImplement -XGeneralizedNewtypeDeriving tree | commitdiff
2007-07-08 Ian LynaghAdd -XMultiParamTypeClasses flag tree | commitdiff
2007-07-08 Ian LynaghImplement -XKindSignatures tree | commitdiff
2007-07-08 Ian LynaghAdd -XEmptyDataDecls flag tree | commitdiff
2007-07-05 simonpj@microsoft.comTidy up IsIrred (no need for argument any more) tree | commitdiff
2007-07-04 simonpj@microsoft.comFix Trace #1494 tree | commitdiff
2007-07-02 Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB tree | commitdiff
2007-07-03 simonpj@microsoft.comImprove formatting of errors, and fix a typo tree | commitdiff
2007-06-29 simonpj@microsoft.comMany comments about oclose, plus a fix for Trac #1456 tree | commitdiff
2007-06-29 simonpj@microsoft.comImprove error message (Trac #1446) tree | commitdiff
2007-06-29 simonpj@microsoft.comRefine printing of names in unification mis-match tree | commitdiff
2007-06-29 simonpj@microsoft.comImprove name-printing on unification mis-matches, when... tree | commitdiff
2007-06-29 Manuel M T ChakravartyChecking that type indexes contain no synonym family... tree | commitdiff
2007-06-29 Manuel M T ChakravartyRHS of a type instance must be a tau type tree | commitdiff
2007-06-29 Manuel M T ChakravartyOverlap check for type families tree | commitdiff
2007-06-28 simonmar@microsoft.comFix typechecking bug with implicit parameters (Trac... tree | commitdiff
2007-06-28 simonmar@microsoft.comWhite space only tree | commitdiff
2007-06-27 Manuel M T ChakravartyFix names of coercions in newtype instances tree | commitdiff
2007-06-27 Manuel M T ChakravartyFixed deriving of associated data types tree | commitdiff
2007-06-25 simonpj@microsoft.comPrint infix type constructors in an infix way tree | commitdiff
2007-06-21 simonpj@microsoft.comAnother wibble to the head-exploded error message ... tree | commitdiff
2007-06-21 simonpj@microsoft.comImprove 'my head exploded' error message tree | commitdiff
2007-06-21 simonpj@microsoft.comFIX BUILD: add missing prime! tree | commitdiff
2007-06-21 LemmihAdd several new record features tree | commitdiff
2007-06-18 LemmihRemove the unused HsExpr constructor DictPat tree | commitdiff
2007-06-07 LemmihFix a bug in MatchCon, and clarify what dataConInstOrig... tree | commitdiff
2007-06-20 simonpj@microsoft.comImplement -X=GADTs and -X=RelaxedPolyRec tree | commitdiff
2007-06-20 simonpj@microsoft.comImprove the handling of deriving, in error cases tree | commitdiff
2007-06-20 simonpj@microsoft.comMore refactoring in TcSimplify tree | commitdiff
2007-06-19 simonpj@microsoft.comFix a bug in the handling of implication constraints... tree | commitdiff
2007-06-19 simonpj@microsoft.comComments only tree | commitdiff
2007-06-08 Manuel M T ChakravartyFix deriving of indexed data types tree | commitdiff
2007-06-06 simonpj@microsoft.comDon't suggest -fno-monomorphism-restriction if it's... tree | commitdiff
2007-06-06 simonpj@microsoft.comFIX #1385: make sure tuple instances are loaded tree | commitdiff
2007-06-05 Ian LynaghTypo, spotted by Stefan Holdermans tree | commitdiff
2007-05-30 simonpj@microsoft.comFix bogus check for strictness in newtypes tree | commitdiff
2007-05-30 simonpj@microsoft.comFix bug in tcSimplifyInfer (Trac #1382) tree | commitdiff
2007-05-30 simonpj@microsoft.comReject newtypes with strictness annotations; fixes... tree | commitdiff
2007-05-23 simonpj@microsoft.comIn GHCi, bind identifiers at TH level 'impLevel' tree | commitdiff
2007-05-14 simonpj@microsoft.comImprove error message when 'main' is not defined tree | commitdiff
2007-05-14 Manuel M T Chakravarty-findexed-types -> -ftype-families tree | commitdiff
2007-05-14 Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv tree | commitdiff
2007-05-11 Manuel M T ChakravartyRemove the distinction between data and newtype families tree | commitdiff
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name tree | commitdiff
2007-05-10 Michael D. AdamsWarning fix for unused and redundant imports tree | commitdiff
2007-05-10 simonpj@microsoft.comDead code elimination tree | commitdiff
2007-05-09 simonpj@microsoft.comTidy up the interface to lookupInstEnv tree | commitdiff
2007-05-07 simonpj@microsoft.comFIX Trac #1332: make isStringTy work right tree | commitdiff
2007-05-07 simonpj@microsoft.comFIX Trac #1329: spelling error tree | commitdiff
2007-05-06 Manuel M T ChakravartyExtend hptInstances to also cover family instances tree | commitdiff
2007-05-04 Manuel M T ChakravartyAdded VectInfo to ModGuts tree | commitdiff
2007-05-04 Ian LynaghPanic properly if wrongKindOfFamily is given an unexpec... tree | commitdiff
2007-05-04 simonpj@microsoft.comWarning police tree | commitdiff
2007-05-04 simonpj@microsoft.comisDataTyCon should be False for all type families,... tree | commitdiff
2007-05-03 Simon Marlowcancel out some reverses by changing the order of ic_tm... tree | commitdiff
2007-05-02 simonpj@microsoft.comComments, plus type sigs tree | commitdiff
2007-05-02 simonpj@microsoft.comMake records work properly with type families tree | commitdiff
2007-05-02 Simon MarlowRefactoring, tidyup and improve layering tree | commitdiff
2007-05-02 simonpj@microsoft.comImprove error reporting for type signatures tree | commitdiff
2007-05-02 simonpj@microsoft.comDo not generate warnings for compiler-generated code tree | commitdiff
2007-05-02 simonpj@microsoft.comUse pprSourceTyCon; delete unused tyConOrigHead tree | commitdiff
2007-04-27 simonpj@microsoft.comFix egregious typo in TcUnify tree | commitdiff
2007-04-26 Simon MarlowGive a better error message when we try to print a... tree | commitdiff
2007-04-25 Simon MarlowTidy types of free vars at a breakpoint tree | commitdiff
2007-04-25 Simon MarlowKeep track of free type variables in the interactive... tree | commitdiff
2007-04-24 Pepe IborraSome tyvars were being introduced in the environment... tree | commitdiff
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons tree | commitdiff
2007-04-25 simonpj@microsoft.comAdd -fwarn-monomorphism-restriction (on by default... tree | commitdiff
2007-04-25 simonpj@microsoft.comGive the inferred type when warning of a missing type... tree | commitdiff
2007-04-24 simonpj@microsoft.comFix bug in boxySplitTyConApp tree | commitdiff
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types tree | commitdiff
2007-04-22 simonpj@microsoft.comFix corner case of useless constraint in SPECIALISE... tree | commitdiff
2007-04-22 simonpj@microsoft.comWarning police tree | commitdiff
2007-04-20 Simon Marlowremove unused imports tree | commitdiff
2007-04-10 Tyson WhiteheadDistinguish between userError (i.e., deliberate failure... tree | commitdiff
2007-04-17 Simon MarlowRe-working of the breakpoint support tree | commitdiff
2007-04-11 Simon MarlowRationalise GhcMode, HscTarget and GhcLink tree | commitdiff
2007-03-22 simonpj@microsoft.comImprove documentation of instances tree | commitdiff
2007-03-21 simonpj@microsoft.comFix checkHiBootIface for instances declared in hs-boot... tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)