2007-08-30 |
Manuel M T Chakravarty | Added decidability check for type instances |
tree | commitdiff |
2007-08-28 |
Simon Marlow | FIX #1533: foreign exporing the same identifier multipl... |
tree | commitdiff |
2007-08-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
tree | commitdiff |
2007-08-26 |
Ian Lynagh | Check that exported modules were actually imported... |
tree | commitdiff |
2007-08-22 |
simonpj@microsoft.com | Print infix function definitions correctly in HsSyn |
tree | commitdiff |
2007-08-19 |
Manuel M T Chakravarty | Check for correct number of parameters in type instances |
tree | commitdiff |
2007-08-19 |
Manuel M T Chakravarty | ATs inherit kind annotations from class partameters |
tree | commitdiff |
2007-08-10 |
Ian Lynagh | Change standalone deriving syntax and semantics; fixes... |
tree | commitdiff |
2007-08-10 |
simonpj@microsoft.com | Improve error message (part of Trac #1606) |
tree | commitdiff |
2007-08-09 |
simonpj@microsoft.com | Tidy up the treatment of newtypes, refactor, and fix... |
tree | commitdiff |
2007-08-04 |
simonpj@microsoft.com | Fix Trac #1037 |
tree | commitdiff |
2007-08-04 |
simonpj@microsoft.com | In GHCi, filter instances by what is in scope, not... |
tree | commitdiff |
2007-08-04 |
Ian Lynagh | Canonicalise flags in error message |
tree | commitdiff |
2007-08-04 |
Ian Lynagh | Rename Opt_Allow* to Opt_* to match the language names |
tree | commitdiff |
2007-08-04 |
Ian Lynagh | Typo in a comment |
tree | commitdiff |
2007-08-02 |
simonpj@microsoft.com | Dump renamer output with -ddump-rn for command-line... |
tree | commitdiff |
2007-08-02 |
simonpj@microsoft.com | Wibbble to last fix to generalisation (again!); fixes... |
tree | commitdiff |
2007-08-01 |
simonpj@microsoft.com | Small error-message change |
tree | commitdiff |
2007-08-01 |
simonpj@microsoft.com | Fix generalisation during type inference (again); fixes... |
tree | commitdiff |
2007-07-17 |
andy@galois.com | Adding pushing of hpc translation status through hi... |
tree | commitdiff |
2007-07-12 |
Ian Lynagh | Merge *UnboxedTuples flags |
tree | commitdiff |
2007-07-12 |
Pepe Iborra | Teach :print to not panic when the DataCon for a closur... |
tree | commitdiff |
2007-07-11 |
Pepe Iborra | remove some leftovers of the first ghci debugger prototype |
tree | commitdiff |
2007-07-13 |
Manuel M T Chakravarty | init mg_inst_env when reading ext core |
tree | commitdiff |
2007-07-10 |
Ian Lynagh | Implement -XDeriveDataTypeable flag |
tree | commitdiff |
2007-07-10 |
Ian Lynagh | Be finer-grained when turning on extensions for generat... |
tree | commitdiff |
2007-07-10 |
Ian Lynagh | Tweak error message |
tree | commitdiff |
2007-07-10 |
Ian Lynagh | Fix tcInstHeadTyNotSynonym |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Add flag -XConstrainedClassMethods |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Just alpha-rename a variable |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Add -XUnliftedFFITypes flag |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Implement unboxed tuples flags |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Tweak the undecidable-instance-checking logic |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Define -XPartiallyAppliedClosedTypeSynonyms flag |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Remove unused binding |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Add -XFlexibleContexts flag |
tree | commitdiff |
2007-07-09 |
Ian Lynagh | Implement -XPolymorphicComponents |
tree | commitdiff |
2007-07-08 |
Ian Lynagh | Add flags for Rank2Types and RankNTypes |
tree | commitdiff |
2007-07-08 |
Ian Lynagh | Add flags for TypeSynonymInstances and FlexibleInstances |
tree | commitdiff |
2007-07-08 |
Ian Lynagh | Implement -XFunctionalDependencies |
tree | commitdiff |
2007-07-08 |
Ian Lynagh | Implement -XGeneralizedNewtypeDeriving |
tree | commitdiff |
2007-07-08 |
Ian Lynagh | Add -XMultiParamTypeClasses flag |
tree | commitdiff |
2007-07-08 |
Ian Lynagh | Implement -XKindSignatures |
tree | commitdiff |
2007-07-08 |
Ian Lynagh | Add -XEmptyDataDecls flag |
tree | commitdiff |
2007-07-05 |
simonpj@microsoft.com | Tidy up IsIrred (no need for argument any more) |
tree | commitdiff |
2007-07-04 |
simonpj@microsoft.com | Fix Trace #1494 |
tree | commitdiff |
2007-07-02 |
Ian Lynagh | Remove mapAccumL, mapAccumR, mapAccumB |
tree | commitdiff |
2007-07-03 |
simonpj@microsoft.com | Improve formatting of errors, and fix a typo |
tree | commitdiff |
2007-06-29 |
simonpj@microsoft.com | Many comments about oclose, plus a fix for Trac #1456 |
tree | commitdiff |
2007-06-29 |
simonpj@microsoft.com | Improve error message (Trac #1446) |
tree | commitdiff |
2007-06-29 |
simonpj@microsoft.com | Refine printing of names in unification mis-match |
tree | commitdiff |
2007-06-29 |
simonpj@microsoft.com | Improve name-printing on unification mis-matches, when... |
tree | commitdiff |
2007-06-29 |
Manuel M T Chakravarty | Checking that type indexes contain no synonym family... |
tree | commitdiff |
2007-06-29 |
Manuel M T Chakravarty | RHS of a type instance must be a tau type |
tree | commitdiff |
2007-06-29 |
Manuel M T Chakravarty | Overlap check for type families |
tree | commitdiff |
2007-06-28 |
simonmar@microsoft.com | Fix typechecking bug with implicit parameters (Trac... |
tree | commitdiff |
2007-06-28 |
simonmar@microsoft.com | White space only |
tree | commitdiff |
2007-06-27 |
Manuel M T Chakravarty | Fix names of coercions in newtype instances |
tree | commitdiff |
2007-06-27 |
Manuel M T Chakravarty | Fixed deriving of associated data types |
tree | commitdiff |
2007-06-25 |
simonpj@microsoft.com | Print infix type constructors in an infix way |
tree | commitdiff |
2007-06-21 |
simonpj@microsoft.com | Another wibble to the head-exploded error message ... |
tree | commitdiff |
2007-06-21 |
simonpj@microsoft.com | Improve 'my head exploded' error message |
tree | commitdiff |
2007-06-21 |
simonpj@microsoft.com | FIX BUILD: add missing prime! |
tree | commitdiff |
2007-06-21 |
Lemmih | Add several new record features |
tree | commitdiff |
2007-06-18 |
Lemmih | Remove the unused HsExpr constructor DictPat |
tree | commitdiff |
2007-06-07 |
Lemmih | Fix a bug in MatchCon, and clarify what dataConInstOrig... |
tree | commitdiff |
2007-06-20 |
simonpj@microsoft.com | Implement -X=GADTs and -X=RelaxedPolyRec |
tree | commitdiff |
2007-06-20 |
simonpj@microsoft.com | Improve the handling of deriving, in error cases |
tree | commitdiff |
2007-06-20 |
simonpj@microsoft.com | More refactoring in TcSimplify |
tree | commitdiff |
2007-06-19 |
simonpj@microsoft.com | Fix a bug in the handling of implication constraints... |
tree | commitdiff |
2007-06-19 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2007-06-08 |
Manuel M T Chakravarty | Fix deriving of indexed data types |
tree | commitdiff |
2007-06-06 |
simonpj@microsoft.com | Don't suggest -fno-monomorphism-restriction if it's... |
tree | commitdiff |
2007-06-06 |
simonpj@microsoft.com | FIX #1385: make sure tuple instances are loaded |
tree | commitdiff |
2007-06-05 |
Ian Lynagh | Typo, spotted by Stefan Holdermans |
tree | commitdiff |
2007-05-30 |
simonpj@microsoft.com | Fix bogus check for strictness in newtypes |
tree | commitdiff |
2007-05-30 |
simonpj@microsoft.com | Fix bug in tcSimplifyInfer (Trac #1382) |
tree | commitdiff |
2007-05-30 |
simonpj@microsoft.com | Reject newtypes with strictness annotations; fixes... |
tree | commitdiff |
2007-05-23 |
simonpj@microsoft.com | In GHCi, bind identifiers at TH level 'impLevel' |
tree | commitdiff |
2007-05-14 |
simonpj@microsoft.com | Improve 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 Chakravarty | Revised signature of tcLookupFamInst and lookupFamInstEnv |
tree | commitdiff |
2007-05-11 |
Manuel M T Chakravarty | Remove the distinction between data and newtype families |
tree | commitdiff |
2007-05-11 |
Simon Marlow | Store a SrcSpan instead of a SrcLoc inside a Name |
tree | commitdiff |
2007-05-10 |
Michael D. Adams | Warning fix for unused and redundant imports |
tree | commitdiff |
2007-05-10 |
simonpj@microsoft.com | Dead code elimination |
tree | commitdiff |
2007-05-09 |
simonpj@microsoft.com | Tidy up the interface to lookupInstEnv |
tree | commitdiff |
2007-05-07 |
simonpj@microsoft.com | FIX Trac #1332: make isStringTy work right |
tree | commitdiff |
2007-05-07 |
simonpj@microsoft.com | FIX Trac #1329: spelling error |
tree | commitdiff |
2007-05-06 |
Manuel M T Chakravarty | Extend hptInstances to also cover family instances |
tree | commitdiff |
2007-05-04 |
Manuel M T Chakravarty | Added VectInfo to ModGuts |
tree | commitdiff |
2007-05-04 |
Ian Lynagh | Panic properly if wrongKindOfFamily is given an unexpec... |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | Warning police |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | isDataTyCon should be False for all type families,... |
tree | commitdiff |
2007-05-03 |
Simon Marlow | cancel out some reverses by changing the order of ic_tm... |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Comments, plus type sigs |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Make records work properly with type families |
tree | commitdiff |
2007-05-02 |
Simon Marlow | Refactoring, tidyup and improve layering |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Improve error reporting for type signatures |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Do not generate warnings for compiler-generated code |
tree | commitdiff |
next |