2007-10-10 |
simonpj@microsoft.com | Fix Trac #1755; check for stage errors in TH quoted... |
tree | commitdiff |
2007-10-10 |
simonpj@microsoft.com | checkWellStaged: reverse comparsion (no change in seman... |
tree | commitdiff |
2007-10-10 |
simonpj@microsoft.com | Add traceTc in tcSimplifyDefault |
tree | commitdiff |
2007-10-10 |
simonpj@microsoft.com | Fix Trac #1678; be more careful about catching and... |
tree | commitdiff |
2007-10-10 |
simonpj@microsoft.com | FIX: tidy up TcSimplify following equality constraints... |
tree | commitdiff |
2007-09-29 |
Manuel M T Chakravarty | FIX #1729: Don't try to expand syn families with -XLibe... |
tree | commitdiff |
2007-09-29 |
Manuel M T Chakravarty | Some more traceTcs |
tree | commitdiff |
2007-09-28 |
Manuel M T Chakravarty | FIX: Make boxy splitters aware of type families |
tree | commitdiff |
2007-09-27 |
simonpj@microsoft.com | Comments and debug output only |
tree | commitdiff |
2007-09-19 |
simonpj@microsoft.com | Fix exponential-time behaviour with type synonyms;... |
tree | commitdiff |
2007-09-19 |
Manuel M T Chakravarty | FIX #1688: Givens in checkLoop are not that rigid after all |
tree | commitdiff |
2007-09-17 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2007-09-16 |
Manuel M T Chakravarty | FIX: TypeFamilies: should_compile/Simple12 |
tree | commitdiff |
2007-09-15 |
Manuel M T Chakravarty | Overhaul of the rewrite rules |
tree | commitdiff |
2007-09-11 |
simonpj@microsoft.com | Comments, and remove export of checkAmbiguity |
tree | commitdiff |
2007-09-11 |
simonpj@microsoft.com | Minor refactoring: give an explicit name to the pretty... |
tree | commitdiff |
2007-09-12 |
Simon Marlow | update .hi-boot-6 to track .lhs-boot |
tree | commitdiff |
2007-09-12 |
Simon Marlow | update to track .lhs-boot file |
tree | commitdiff |
2007-09-10 |
Manuel M T Chakravarty | Cleaned up version of Tom's unflattened skolemOccurs |
tree | commitdiff |
2007-09-08 |
Ian Lynagh | Make various assertions work when !DEBUG |
tree | commitdiff |
2007-09-07 |
Manuel M T Chakravarty | Made TcTyFuns warning clean |
tree | commitdiff |
2007-09-06 |
Tom Schrijvers | fix for Simple9 |
tree | commitdiff |
2007-09-07 |
Manuel M T Chakravarty | Improved error messages for higher-rank equality contexts |
tree | commitdiff |
2007-09-07 |
Manuel M T Chakravarty | FIX: Type families test Simple14 |
tree | commitdiff |
2007-09-06 |
simonpj@microsoft.com | Fix zonking in mkExports |
tree | commitdiff |
2007-09-06 |
Manuel M T Chakravarty | Cleanup of equality rewriting and no swapInsts for... |
tree | commitdiff |
2007-09-06 |
Manuel M T Chakravarty | Remove EqInsts from addSCs to avoid -DDEBUG warnings |
tree | commitdiff |
2007-09-06 |
Manuel M T Chakravarty | EqInst related clean up |
tree | commitdiff |
2007-09-06 |
Manuel M T Chakravarty | Remove dead code in TcSimplify |
tree | commitdiff |
2007-09-06 |
Manuel M T Chakravarty | Fix -DDEBUG warning |
tree | commitdiff |
2007-09-05 |
Tom Schrijvers | also swap for variables in completion algorithm |
tree | commitdiff |
2007-09-06 |
Simon Marlow | FIX #1465, error messages could sometimes say things... |
tree | commitdiff |
2007-09-05 |
Manuel M T Chakravarty | FIX #1651: use family instances during interactive... |
tree | commitdiff |
2007-09-05 |
simonpj@microsoft.com | Refactor, improve, and document the deriving mechanism |
tree | commitdiff |
2007-09-04 |
Tom Schrijvers | bug fix in Decomp step of completion algorithm for... |
tree | commitdiff |
2007-09-04 |
Tom Schrijvers | fix of wanted equational class context |
tree | commitdiff |
2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
tree | commitdiff |
2007-09-04 |
Manuel M T Chakravarty | FIX #1651: unBox types when deferring unification |
tree | commitdiff |
2007-09-03 |
Manuel M T Chakravarty | Better error message for unsolvable equalities |
tree | commitdiff |
2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
tree | commitdiff |
2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
tree | commitdiff |
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 |
next |