2007-04-10 |
Tyson Whitehead | Distinguish between userError (i.e., deliberate failure... |
tree | commitdiff |
2007-04-17 |
Simon Marlow | Re-working of the breakpoint support |
tree | commitdiff |
2007-04-11 |
Simon Marlow | Rationalise GhcMode, HscTarget and GhcLink |
tree | commitdiff |
2007-03-22 |
simonpj@microsoft.com | Improve documentation of instances |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Fix checkHiBootIface for instances declared in hs-boot... |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Remove bogus export from TcSplice.lhs-boot |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Wibble to GHCi part of TcRnDriver |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Yet another wibble to checkHiBootIface; it's trickier... |
tree | commitdiff |
2007-03-20 |
simonpj@microsoft.com | Further wibbles to checkBootIface (fixed HEAD build) |
tree | commitdiff |
2007-03-19 |
simonpj@microsoft.com | Use explict layout (fixes breakage when compiling TcSim... |
tree | commitdiff |
2007-03-16 |
simonpj@microsoft.com | Improve error messages for 'deriving' clauses |
tree | commitdiff |
2007-03-16 |
simonpj@microsoft.com | Refactor TcRnDriver, and check exports on hi-boot files |
tree | commitdiff |
2007-03-15 |
simonpj@microsoft.com | Make the type-defaulting in GHCi use () as the first... |
tree | commitdiff |
2007-03-14 |
simonpj@microsoft.com | Wibble to type-error-message improvement |
tree | commitdiff |
2007-03-14 |
simonpj@microsoft.com | Improve error messages slightly, saying "a1...an" inste... |
tree | commitdiff |
2007-03-14 |
simonpj@microsoft.com | Improve typechecker error messages; see Trac #1221 |
tree | commitdiff |
2007-03-06 |
simonpj@microsoft.com | Simple fix for Trac #1199 (pls merge to branch) |
tree | commitdiff |
2007-02-28 |
Simon Marlow | Remove vectored returns. |
tree | commitdiff |
2007-02-23 |
simonpj@microsoft.com | Tidy up typechecking for newtypes |
tree | commitdiff |
2007-02-23 |
Manuel M T Chakravarty | Moved argument position info of ATs into tycon rhs... |
tree | commitdiff |
2007-02-19 |
Pepe Iborra | Removed unnecessary code |
tree | commitdiff |
2007-02-21 |
simonpj@microsoft.com | Allow GADT syntax for newtypes |
tree | commitdiff |
2007-02-21 |
simonpj@microsoft.com | Fix a deriving bug, arising from recent refactoring |
tree | commitdiff |
2007-02-21 |
simonpj@microsoft.com | Fix defaulting for overloaded strings |
tree | commitdiff |
2007-02-19 |
simonpj@microsoft.com | Signature type variables must not be instantiated with... |
tree | commitdiff |
2007-02-07 |
simonpj@microsoft.com | Spelling fix |
tree | commitdiff |
2007-02-06 |
simonpj@microsoft.com | Check for escape when unifying forall-types |
tree | commitdiff |
2007-02-04 |
lennart@augustsson.net | Make HsRecordBinds a data type instead of a synonym. |
tree | commitdiff |
2007-02-04 |
lennart@augustsson.net | Fix a comment typo. |
tree | commitdiff |
2007-02-04 |
lennart@augustsson.net | Fix a typo. |
tree | commitdiff |
2007-02-02 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2007-01-31 |
simonpj@microsoft.com | Slight refactoring for overloaded strings |
tree | commitdiff |
2006-12-21 |
lennart@augustsson.net | Add support for overloaded string literals. |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Avoid duplicate defns of 'main' in module Main |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Make the LiberateCase transformation understand associa... |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Comments |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Add the function TypeRep.pprTypeApp, and use it |
tree | commitdiff |
2007-01-10 |
Manuel M T Chakravarty | checkTauTvUpdate: take synonym families into account |
tree | commitdiff |
2007-01-09 |
Manuel M T Chakravarty | Handle synonym families in check_tau_type |
tree | commitdiff |
2007-01-09 |
simonpj@microsoft.com | Preserve rigidity for GADTs when typechecking explicit... |
tree | commitdiff |
2007-01-09 |
simonpj@microsoft.com | Fix egregious bug in implication constraints |
tree | commitdiff |
2007-01-05 |
Manuel M T Chakravarty | HsSyn clean up for indexed types |
tree | commitdiff |
2007-01-04 |
Manuel M T Chakravarty | Fix and improve deriving for indexed data types |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Be more relaxed about reporting ambiguous class methods |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Fix stupid error in rehashing TcRnDriver (fixes TH... |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Make warnings come out in deterministic order |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Better error messages for deriving |
tree | commitdiff |
2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
tree | commitdiff |
2006-12-29 |
Manuel M T Chakravarty | Make dicts for arbitrary type equalities |
tree | commitdiff |
2006-12-29 |
Manuel M T Chakravarty | Construction of EqPred dictionaries |
tree | commitdiff |
2006-12-29 |
davve@dtek.chalmers.se | Add missing case for documented types in the type desugarer |
tree | commitdiff |
2006-12-29 |
andy@galois.com | Adding a GENERATED pragma |
tree | commitdiff |
2006-12-28 |
Manuel M T Chakravarty | Parse and desugar equational constraints |
tree | commitdiff |
2006-12-21 |
Manuel M T Chakravarty | Add hook to fam inst consistency check to GHCi/--make |
tree | commitdiff |
2006-12-19 |
Manuel M T Chakravarty | Deriving for indexed newtypes |
tree | commitdiff |
2006-12-18 |
Manuel M T Chakravarty | Deriving for indexed data types |
tree | commitdiff |
2006-12-11 |
Pepe Iborra | Toggle whether the RTS gets build with debugger support... |
tree | commitdiff |
2006-12-11 |
Pepe Iborra | Adjust code from manual merges |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | Prevent breakpoint instrumentation of spliced code |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | Breakpoint code instrumentation |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | The breakpoint primitive |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | Playing with closures |
tree | commitdiff |
2006-12-13 |
simonpj@microsoft.com | Add left-to-right impredicative instantiation |
tree | commitdiff |
2006-12-12 |
simonpj@microsoft.com | Missed a stage-2 problem in the TcSimplify refactoring |
tree | commitdiff |
2006-12-12 |
simonpj@microsoft.com | Fix up yesterdays commit to TcSimplify; fixes broken... |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Add comments about pruning implication constraints |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | More refactoring of constraint simplification |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Improve origin of constraints in subsumption checking |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Suggests -fglasgow-exts for contexts-differ-in-length... |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Comments and layout only |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Remove strange extra print (a temporary debug?) |
tree | commitdiff |
2006-12-07 |
Manuel M T Chakravarty | Fix family instance consistency check for home package... |
tree | commitdiff |
2006-12-01 |
simonpj@microsoft.com | q |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Fix constraint handling for lazy patterns |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Improve handling of implicit parameters |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Gather constraints in program order |
tree | commitdiff |
2006-11-23 |
simonpj@microsoft.com | Simplify TcSimplify, by removing Free |
tree | commitdiff |
2006-11-22 |
simonpj@microsoft.com | Refactoring of where tcSimplifyTop happens |
tree | commitdiff |
2006-11-22 |
simonpj@microsoft.com | Retain simplifications of implication constraints |
tree | commitdiff |
2006-11-22 |
simonpj@microsoft.com | Improve error messages slightly |
tree | commitdiff |
2006-11-10 |
Samuel Bronson | Zap stray whitespace in lhs formatting |
tree | commitdiff |
2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Major overhaul of the Simplifier |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Trim imports |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Default the kind of unconstrained meta-type variables... |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Improve error message (push to 6.6 branch) |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Fix error reporting for contexts during deriving (Trac... |
tree | commitdiff |
2006-10-24 |
andy@galois.com | Haskell Program Coverage |
tree | commitdiff |
2006-10-22 |
Manuel M T Chakravarty | Improve error messages for indexed types |
tree | commitdiff |
2006-10-20 |
Manuel M T Chakravarty | Fix processing of imports involving ATs with the new... |
tree | commitdiff |
2006-10-19 |
Manuel M T Chakravarty | Fix show-iface for family instances & add debug ppr... |
tree | commitdiff |
2006-10-18 |
Manuel M T Chakravarty | Cross-module consistency check for family instances |
tree | commitdiff |
2006-10-18 |
simonpj@microsoft.com | Add the primitive type Any, and use it for Dynamics |
tree | commitdiff |
2006-10-18 |
simonpj@microsoft.com | Minor refactoring |
tree | commitdiff |
2006-10-16 |
Manuel M T Chakravarty | Stage 2 fix to "Keep track of family instance modules" |
tree | commitdiff |
2006-10-16 |
Simon Marlow | fix non-DEBUG build (probably my fault, sorry) |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Change type of TcGadt.refineType, plus consequences |
tree | commitdiff |
next |