2008-02-07 |
Ian Lynagh | Make some more modules use LazyUniqFM instead of UniqFM |
tree | commitdiff |
2008-02-05 |
simonpj@microsoft.com | Make do-notation a bit more flexible (Trac #1537) |
tree | commitdiff |
2008-01-24 |
Ian Lynagh | Fix the build |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Replace ioToTcRn with liftIO |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcRnMonad: use return, standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcEnv: use do, return, applicative... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcRnDriver: use return and standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcMatches: use return and standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcMType: use do, return, applicative... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcInstDcls: use do, return and stand... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcHsType: use do, return and standar... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcSimplify: use do, return and stand... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcSplice: use do and return |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcTyClsDecls: use return and standar... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcDefaults: use return and standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcDeriv: use return |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcClassDcl: use do, return and stand... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcBinds: use do, return and standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcArrows: use do and return |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/Inst: use do, return and standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcUnify: use do, return and standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcTyFuns: use standard monad functions |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcPat: use return and standard monad... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcRules: use do, return and standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcForeign: use do, return and standa... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcExpr: use do, return and standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | seqMaybe is more commonly known as mplus |
tree | commitdiff |
2008-01-22 |
simonpj@microsoft.com | Tidy up the treatment of SPECIALISE pragmas |
tree | commitdiff |
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 |
next |