projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix CodingStyle#Warnings URLs
[ghc-hetmet.git] / compiler / typecheck /
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs tree | commitdiff
2007-09-04 Manuel M T ChakravartyFIX #1651: unBox types when deferring unification tree | commitdiff
2007-09-03 Manuel M T ChakravartyBetter error message for unsolvable equalities tree | commitdiff
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas tree | commitdiff
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... tree | commitdiff
2007-08-30 Manuel M T ChakravartyAdded decidability check for type instances tree | commitdiff
2007-08-28 Simon MarlowFIX #1533: foreign exporing the same identifier multipl... tree | commitdiff
2007-08-28 Manuel M T ChakravartyType checking for type synonym families tree | commitdiff
2007-08-26 Ian LynaghCheck that exported modules were actually imported... tree | commitdiff
2007-08-22 simonpj@microsoft.comPrint infix function definitions correctly in HsSyn tree | commitdiff
2007-08-19 Manuel M T ChakravartyCheck for correct number of parameters in type instances tree | commitdiff
2007-08-19 Manuel M T ChakravartyATs inherit kind annotations from class partameters tree | commitdiff
2007-08-10 Ian LynaghChange standalone deriving syntax and semantics; fixes... tree | commitdiff
2007-08-10 simonpj@microsoft.comImprove error message (part of Trac #1606) tree | commitdiff
2007-08-09 simonpj@microsoft.comTidy up the treatment of newtypes, refactor, and fix... tree | commitdiff
2007-08-04 simonpj@microsoft.comFix Trac #1037 tree | commitdiff
2007-08-04 simonpj@microsoft.comIn GHCi, filter instances by what is in scope, not... tree | commitdiff
2007-08-04 Ian LynaghCanonicalise flags in error message tree | commitdiff
2007-08-04 Ian LynaghRename Opt_Allow* to Opt_* to match the language names tree | commitdiff
2007-08-04 Ian LynaghTypo in a comment tree | commitdiff
2007-08-02 simonpj@microsoft.comDump renamer output with -ddump-rn for command-line... tree | commitdiff
2007-08-02 simonpj@microsoft.comWibbble to last fix to generalisation (again!); fixes... tree | commitdiff
2007-08-01 simonpj@microsoft.comSmall error-message change tree | commitdiff
2007-08-01 simonpj@microsoft.comFix generalisation during type inference (again); fixes... tree | commitdiff
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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)