| 2008-01-18 |
simonpj@microsoft.com | Add quasi-quotation, courtesy of Geoffrey Mainland |
tree | commitdiff |
| 2008-01-17 |
Isaac Dupree | lots of portability changes (#1405) |
tree | commitdiff |
| 2008-01-10 |
simonpj@microsoft.com | Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec |
tree | commitdiff |
| 2008-01-07 |
simonpj@microsoft.com | Make the treatment of equalities more uniform |
tree | commitdiff |
| 2008-01-07 |
simonpj@microsoft.com | Add -XImpredicativeTypes, and tighten up type-validity... |
tree | commitdiff |
| 2008-01-04 |
simonpj@microsoft.com | Do not consult -XGADTs flag when pattern matching on... |
tree | commitdiff |
| 2007-12-24 |
simonpj@microsoft.com | When complaining about non-rigid context, give suggesti... |
tree | commitdiff |
| 2007-12-21 |
simonpj@microsoft.com | Improve handling of newtypes (fixes Trac 1495) |
tree | commitdiff |
| 2007-12-20 |
simonpj@microsoft.com | Implement generalised list comprehensions |
tree | commitdiff |
| 2007-12-08 |
Manuel M T Chakravarty | Coercions from boxy splitters must be sym'ed in pattern... |
tree | commitdiff |
| 2007-12-07 |
Manuel M T Chakravarty | Properly keep track of whether normalising given or... |
tree | commitdiff |
| 2007-11-20 |
Manuel M T Chakravarty | TcPat.tcConPat uses equalities instead of GADT refinement |
tree | commitdiff |
| 2007-11-28 |
simonpj@microsoft.com | Improve pretty-printing for Insts |
tree | commitdiff |
| 2007-11-28 |
simonpj@microsoft.com | Reorganise TcSimplify (again); FIX Trac #1919 |
tree | commitdiff |
| 2007-11-28 |
simonpj@microsoft.com | FIX Trac #1935: generate superclass constraints for... |
tree | commitdiff |
| 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 |
| next |
projects / ghc-hetmet.git / history