2008-04-11 |
simonpj@microsoft.com | Rejig error reporting in the unifier slightly |
tree | commitdiff |
2008-04-10 |
simonpj@microsoft.com | Improve error message layout slightly |
tree | commitdiff |
2008-04-10 |
simonpj@microsoft.com | Two improvements to boxy matching |
tree | commitdiff |
2008-04-10 |
simonpj@microsoft.com | Fix Trac #2206: ensure the return type is rigid in... |
tree | commitdiff |
2008-04-10 |
simonpj@microsoft.com | Fix Trac #2205, which I introduced recently |
tree | commitdiff |
2008-04-07 |
Manuel M T Chakravarty | Remove GADT refinements, part 5 |
tree | commitdiff |
2008-03-03 |
Manuel M T Chakravarty | Remove GADT refinements, part 4 |
tree | commitdiff |
2008-04-04 |
simonpj@microsoft.com | Fix Trac #2188: scoping in TH declarations quotes |
tree | commitdiff |
2008-04-03 |
simonpj@microsoft.com | Fix Trac #2179: error message for main |
tree | commitdiff |
2008-04-02 |
simonpj@microsoft.com | Fix Trac #2141: invalid record update |
tree | commitdiff |
2008-03-30 |
Ian Lynagh | Derive a valid Ix instance for data Foo = Foo Int Int |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | DEBUG removal |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | DEBUG removal |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | Remove a DEBUG use |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | Remove an #ifdef DEBUG |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | Remove an #ifdef DEBUG |
tree | commitdiff |
2008-03-15 |
Ian Lynagh | Remove leftover NoteTy/FTVNote bits |
tree | commitdiff |
2008-03-13 |
Manuel M T Chakravarty | Some cleanup in TcSimplify.reduceContext |
tree | commitdiff |
2008-03-13 |
Manuel M T Chakravarty | Properly normalise reduced dicts |
tree | commitdiff |
2008-03-06 |
simonpj@microsoft.com | Don't expose the unfolding of dictionary selectors... |
tree | commitdiff |
2008-03-06 |
simonpj@microsoft.com | Fix Trac #783: improve short-cutting literals in the... |
tree | commitdiff |
2008-03-05 |
Ian Lynagh | Improve no-type-signature warning |
tree | commitdiff |
2008-02-29 |
Manuel M T Chakravarty | Remove GADT refinements, part 3 |
tree | commitdiff |
2008-02-28 |
Manuel M T Chakravarty | Remove GADT refinements, part 2 |
tree | commitdiff |
2008-02-28 |
simonpj@microsoft.com | Fix Trac #2130: improve derived Ord for primmitive... |
tree | commitdiff |
2008-02-28 |
simonpj@microsoft.com | Wibble to error message (stmt of do block or comprehension) |
tree | commitdiff |
2008-02-28 |
Manuel M T Chakravarty | Remove GADT refinements, part 1 |
tree | commitdiff |
2008-02-28 |
Manuel M T Chakravarty | Eliminate SkolemOccurs skolems only after checkLoop... |
tree | commitdiff |
2008-02-27 |
simonpj@microsoft.com | Fix Trac #2126: re-order tests (easy) |
tree | commitdiff |
2008-02-26 |
simonpj@microsoft.com | Fix Trac #2111: improve error handling for 'rec' in... |
tree | commitdiff |
2008-02-26 |
simonpj@microsoft.com | Remove gaw comment |
tree | commitdiff |
2008-02-26 |
simonpj@microsoft.com | Fix Trac #1899; missing equality check in typechecker... |
tree | commitdiff |
2008-02-22 |
simonpj@microsoft.com | Improve error messages from type-checking data constructors |
tree | commitdiff |
2008-02-20 |
Ian Lynagh | Rewrite fixTvSubstEnv so it iteratively applies its... |
tree | commitdiff |
2008-02-07 |
Ian Lynagh | Make some more modules use LazyUniqFM instead of UniqFM |
tree | commitdiff |
2008-02-07 |
simonpj@microsoft.com | Adjust error message (Trac #2079) |
tree | commitdiff |
2008-02-07 |
Ian Lynagh | Convert more UniqFM's back to LazyUniqFM's |
tree | commitdiff |
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 |
next |