2007-11-22 |
Manuel M T Chakravarty | Properly ppr InstEqs in wanteds of implication constraints |
tree | commitdiff |
2007-11-21 |
simonpj@microsoft.com | Make rebindable do-notation behave as advertised |
tree | commitdiff |
2007-11-21 |
simonpj@microsoft.com | Fix Trac #1913: check data const for derived types... |
tree | commitdiff |
2007-11-20 |
simonpj@microsoft.com | FIX Trac #1825: standalone deriving Typeable |
tree | commitdiff |
2007-11-19 |
simonpj@microsoft.com | Improve the situation for Trac #959: civilised warning... |
tree | commitdiff |
2007-11-19 |
simonpj@microsoft.com | FIX Trac #1806: test for correct arity for datacon... |
tree | commitdiff |
2007-11-16 |
simonpj@microsoft.com | Wibble to fix Trac #1901 (shorten messsage slightly) |
tree | commitdiff |
2007-11-16 |
simonpj@microsoft.com | FIX Trac #1901: check no existential context in H98... |
tree | commitdiff |
2007-11-14 |
simonpj@microsoft.com | FIX Trac 1662: actually check for existentials in proc... |
tree | commitdiff |
2007-11-12 |
simonpj@microsoft.com | Comment re Trac #1220 |
tree | commitdiff |
2007-11-06 |
simonpj@microsoft.com | Fix Trac #1813: generalise over *all* type variables... |
tree | commitdiff |
2007-11-06 |
simonpj@microsoft.com | Fix Trac #1814 (staging interaction in Template Haskell... |
tree | commitdiff |
2007-11-06 |
simonpj@microsoft.com | Improve error messages |
tree | commitdiff |
2007-11-06 |
Simon Marlow | GHC API: add checkAndLoadModule |
tree | commitdiff |
2007-11-05 |
simonpj@microsoft.com | Inline implication constraints |
tree | commitdiff |
2007-11-05 |
simonpj@microsoft.com | Comments about TH staging |
tree | commitdiff |
2007-11-02 |
simonpj@microsoft.com | Refactor error recovery slightly |
tree | commitdiff |
2007-11-01 |
simonpj@microsoft.com | Rejig the error messages a bit; fixes a minor bug |
tree | commitdiff |
2007-11-01 |
David Waern | Refactor Haddock options |
tree | commitdiff |
2007-10-29 |
simonpj@microsoft.com | Improve error-message output slightly |
tree | commitdiff |
2007-10-27 |
simonpj@microsoft.com | Make 'improvement' work properly in TcSimplify |
tree | commitdiff |
2007-10-27 |
simonpj@microsoft.com | An implication constraint can abstract over EqInsts |
tree | commitdiff |
2007-10-27 |
simonpj@microsoft.com | In an AbsBinds, the 'dicts' can include EqInsts |
tree | commitdiff |
2007-10-19 |
Manuel M T Chakravarty | Zonk quantified tyvars with skolems |
tree | commitdiff |
2007-10-18 |
Manuel M T Chakravarty | Fix typo that prevented zonking of rhs of EqInsts |
tree | commitdiff |
2007-10-18 |
Manuel M T Chakravarty | Don't barf on error message with non-tc tyvars |
tree | commitdiff |
2007-10-18 |
Manuel M T Chakravarty | Fix deferring on tyvars in TcUnify.subFunTys |
tree | commitdiff |
2007-10-17 |
Manuel M T Chakravarty | TcUnify.subFunTys must take type families into account |
tree | commitdiff |
2007-10-16 |
simonpj@microsoft.com | Fix #1662: do not simplify constraints for vanilla... |
tree | commitdiff |
2007-10-10 |
Dan Licata | View patterns, record wildcards, and record puns |
tree | commitdiff |
2007-10-15 |
Manuel M T Chakravarty | More docu for skolemOccurs |
tree | commitdiff |
2007-10-10 |
Manuel M T Chakravarty | Slightly improved comments in TcTyClsDecls |
tree | commitdiff |
2007-10-04 |
Manuel M T Chakravarty | TcTyFuns: remove some duplicate code |
tree | commitdiff |
2007-10-03 |
Manuel M T Chakravarty | TcTyFuns.eqInstToRewrite |
tree | commitdiff |
2007-10-12 |
simonpj@microsoft.com | Fix DoCon: Another try at getting extractResults right |
tree | commitdiff |
2007-10-11 |
simonpj@microsoft.com | Fix Trac #1680; check for unboxed tuples in TcType... |
tree | commitdiff |
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 |
next |