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 |
2007-05-02 |
simonpj@microsoft.com | Use pprSourceTyCon; delete unused tyConOrigHead |
tree | commitdiff |
2007-04-27 |
simonpj@microsoft.com | Fix egregious typo in TcUnify |
tree | commitdiff |
2007-04-26 |
Simon Marlow | Give a better error message when we try to print a... |
tree | commitdiff |
2007-04-25 |
Simon Marlow | Tidy types of free vars at a breakpoint |
tree | commitdiff |
2007-04-25 |
Simon Marlow | Keep track of free type variables in the interactive... |
tree | commitdiff |
2007-04-24 |
Pepe Iborra | Some tyvars were being introduced in the environment... |
tree | commitdiff |
2007-04-25 |
Manuel M T Chakravarty | Generating synonym instance representation tycons |
tree | commitdiff |
2007-04-25 |
simonpj@microsoft.com | Add -fwarn-monomorphism-restriction (on by default... |
tree | commitdiff |
2007-04-25 |
simonpj@microsoft.com | Give the inferred type when warning of a missing type... |
tree | commitdiff |
2007-04-24 |
simonpj@microsoft.com | Fix bug in boxySplitTyConApp |
tree | commitdiff |
2007-04-22 |
simonpj@microsoft.com | Fixes to datacon wrappers for indexed data types |
tree | commitdiff |
2007-04-22 |
simonpj@microsoft.com | Fix corner case of useless constraint in SPECIALISE... |
tree | commitdiff |
2007-04-22 |
simonpj@microsoft.com | Warning police |
tree | commitdiff |
2007-04-20 |
Simon Marlow | remove unused imports |
tree | commitdiff |
2007-04-10 |
Tyson Whitehead | Distinguish between userError (i.e., deliberate failure... |
tree | commitdiff |
2007-04-17 |
Simon Marlow | Re-working of the breakpoint support |
tree | commitdiff |
2007-04-11 |
Simon Marlow | Rationalise GhcMode, HscTarget and GhcLink |
tree | commitdiff |
2007-03-22 |
simonpj@microsoft.com | Improve documentation of instances |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Fix checkHiBootIface for instances declared in hs-boot... |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Remove bogus export from TcSplice.lhs-boot |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Wibble to GHCi part of TcRnDriver |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Yet another wibble to checkHiBootIface; it's trickier... |
tree | commitdiff |
2007-03-20 |
simonpj@microsoft.com | Further wibbles to checkBootIface (fixed HEAD build) |
tree | commitdiff |
2007-03-19 |
simonpj@microsoft.com | Use explict layout (fixes breakage when compiling TcSim... |
tree | commitdiff |
2007-03-16 |
simonpj@microsoft.com | Improve error messages for 'deriving' clauses |
tree | commitdiff |
2007-03-16 |
simonpj@microsoft.com | Refactor TcRnDriver, and check exports on hi-boot files |
tree | commitdiff |
2007-03-15 |
simonpj@microsoft.com | Make the type-defaulting in GHCi use () as the first... |
tree | commitdiff |
2007-03-14 |
simonpj@microsoft.com | Wibble to type-error-message improvement |
tree | commitdiff |
2007-03-14 |
simonpj@microsoft.com | Improve error messages slightly, saying "a1...an" inste... |
tree | commitdiff |
2007-03-14 |
simonpj@microsoft.com | Improve typechecker error messages; see Trac #1221 |
tree | commitdiff |
2007-03-06 |
simonpj@microsoft.com | Simple fix for Trac #1199 (pls merge to branch) |
tree | commitdiff |
2007-02-28 |
Simon Marlow | Remove vectored returns. |
tree | commitdiff |
2007-02-23 |
simonpj@microsoft.com | Tidy up typechecking for newtypes |
tree | commitdiff |
2007-02-23 |
Manuel M T Chakravarty | Moved argument position info of ATs into tycon rhs... |
tree | commitdiff |
next |