2006-10-04 |
simonpj@microsoft.com | Remove redundant dump
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | Trim imports
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | Improve liberate-case to take account of coercions
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | Remvove totally unused static flags
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | Remove ILX from the GHC altogether (although I left...
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | -frule-check is not a static flag
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | Tidy tyvar OccNames in TcTyClDecl
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | Improve pretty printing slightly
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | Second bite at the rules-only idea
|
commit | commitdiff | tree |
2006-10-04 |
simonpj@microsoft.com | Eliminate case-of-cast
|
commit | commitdiff | tree |
2006-10-03 |
simonpj@microsoft.com | Make recursion and RULES interact better
|
commit | commitdiff | tree |
2006-10-03 |
simonpj@microsoft.com | Warning police only
|
commit | commitdiff | tree |
2006-10-03 |
simonpj@microsoft.com | Fix scoped type variables for expression type signatures
|
commit | commitdiff | tree |
2006-10-03 |
simonpj@microsoft.com | Trim imports
|
commit | commitdiff | tree |
2006-10-03 |
simonpj@microsoft.com | Add error check for operators in types
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Simplify the way in which the coKindFun in CoercionTyCon...
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Match let before lambda in rule-matching (see comment...
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Fix bug in SCRIPT_SHELL patch (| should be ||)
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Add missing case for EqPred
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Amplify scoped tyvar changes
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Update release notes
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Improve pretty-printing of Core
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Another correction to the (subtle) exprIsConApp_maybe
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Spelling correction
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Improve pretty printing of IfaceSyn
|
commit | commitdiff | tree |
2006-09-29 |
simonpj@microsoft.com | Improve unification error messages (again) (push to...
|
commit | commitdiff | tree |
2006-09-27 |
simonpj@microsoft.com | Fix exprIsConApp_maybe (wasn't dealing properly with...
|
commit | commitdiff | tree |
2006-09-26 |
simonpj@microsoft.com | Fix derived instances (again); prevents infinite superclass...
|
commit | commitdiff | tree |
2006-09-25 |
simonpj@microsoft.com | Fix newtype deriving properly (un-doing Audreys patch)
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Trim more imports
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Fix origin for addDataConStupidTheta
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Remove ASSERT from mkDataCon, and add comments to explain why
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | The unboxed tuple kind is (#), not (##)
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Complete definition of cmPredX to take account of EqPred
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Correct crucial typo in isSubKind (kc1 -> kc2)!
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Re-work the newtype-deriving support
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Add TcRnMonad.newSysLocalIds, and use it
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Remove dead code concerning coercions from TypeRep
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Move snocView in the file, nearer the other spliting...
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Improve documentation of newtype-deriving (todo: check...
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Add VarSet.disjointVarSet, and use it
|
commit | commitdiff | tree |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code
|
commit | commitdiff | tree |
2006-09-22 |
simonpj@microsoft.com | Improve specialisation in SpecConstr
|
commit | commitdiff | tree |
2006-09-22 |
simonpj@microsoft.com | Remove duplicate call to getDOpts
|
commit | commitdiff | tree |
2006-09-22 |
simonpj@microsoft.com | Remove use of isVanillaDataCon, which was wrong under...
|
commit | commitdiff | tree |
2006-09-22 |
simonpj@microsoft.com | Trim imports, reformatting
|
commit | commitdiff | tree |
2006-09-22 |
simonpj@microsoft.com | Add a crucial missing prime in tcConPat
|
commit | commitdiff | tree |
2006-09-06 |
simonpj@microsoft.com | Comment on the commoning up of CoPats in Match
|
commit | commitdiff | tree |
2006-09-06 |
simonpj@microsoft.com | Add comment for the invariant that DataAlt is never...
|
commit | commitdiff | tree |
2006-09-04 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2006-08-09 |
simonpj@microsoft.com | Change ASSERT to WARN
|
commit | commitdiff | tree |
2006-08-04 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2006-07-26 |
simonpj@microsoft.com | Make mkApps etc infix, and left-associative
|
commit | commitdiff | tree |
2006-07-26 |
simonpj@microsoft.com | A somewhat subtle (FC-related) bug concerning the monomorphi...
|
commit | commitdiff | tree |
2006-07-14 |
simonpj@microsoft.com | Add some type signatures
|
commit | commitdiff | tree |
2006-07-13 |
simonpj@microsoft.com | A class in an interface file defines the CoTyCon of...
|
commit | commitdiff | tree |
2006-07-06 |
simonpj@microsoft.com | Tiny comment change (darcs test only)
|
commit | commitdiff | tree |
2006-09-18 |
simonpj@microsoft.com | Fix a bug in subsumption, and tweak error messages
|
commit | commitdiff | tree |
2006-09-18 |
simonpj@microsoft.com | Comments
|
commit | commitdiff | tree |
2006-09-18 |
simonpj@microsoft.com | Ensure that only zonked poly_ids are passed to tcSpecPrag
|
commit | commitdiff | tree |
2006-09-18 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2006-09-17 |
simonpj@microsoft.com | Add a missing renamer dump (related to Template Haskell)
|
commit | commitdiff | tree |
2006-09-12 |
simonpj@microsoft.com | Add postfix ops to the release notes
|
commit | commitdiff | tree |
2006-09-11 |
simonpj@microsoft.com | Document postfix operators
|
commit | commitdiff | tree |
2006-09-11 |
simonpj@microsoft.com | Simplify desugaring of left sections
|
commit | commitdiff | tree |
2006-09-11 |
simonpj@microsoft.com | Add comment
|
commit | commitdiff | tree |
2006-09-08 |
simonpj@microsoft.com | Catch errors in pattern matching for unboxed tuples
|
commit | commitdiff | tree |
2006-09-07 |
simonpj@microsoft.com | Fix the handling of names in declaration brackets
|
commit | commitdiff | tree |
2006-09-07 |
simonpj@microsoft.com | Documentation for impredicative polymorphism
|
commit | commitdiff | tree |
2006-09-07 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
2006-09-07 |
simonpj@microsoft.com | Remove result type signatures from documentation
|
commit | commitdiff | tree |
2006-09-07 |
simonpj@microsoft.com | Fix bug in error message
|
commit | commitdiff | tree |
2006-09-07 |
simonpj@microsoft.com | Result type signatures are no longer supported (partial)
|
commit | commitdiff | tree |
2006-09-06 |
simonpj@microsoft.com | Pattern-match warning police
|
commit | commitdiff | tree |
2006-09-06 |
simonpj@microsoft.com | Improve error reporting for SigTvs, and add comments
|
commit | commitdiff | tree |
2006-09-06 |
simonpj@microsoft.com | Check that top-level binders are unqualified names
|
commit | commitdiff | tree |
2006-09-06 |
simonpj@microsoft.com | Make record selection look cheap
|
commit | commitdiff | tree |
2006-09-06 |
simonpj@microsoft.com | Documentation for lexically-scoped type variables
|
commit | commitdiff | tree |
2006-09-05 |
simonpj@microsoft.com | Fix dependency analysis (notably bindInstsOfLocalFuns...
|
commit | commitdiff | tree |
2006-09-05 |
simonpj@microsoft.com | Add note about overlapping instances
|
commit | commitdiff | tree |
2006-09-05 |
simonpj@microsoft.com | Record that TH doesn't support pattern types signature
|
commit | commitdiff | tree |
2006-09-04 |
simonpj@microsoft.com | Refactoring for derived Read
|
commit | commitdiff | tree |
2006-09-04 |
simonpj@microsoft.com | Enable bang-patterns only when the flag says so (had...
|
commit | commitdiff | tree |
2006-09-04 |
simonpj@microsoft.com | Improve pretty-printing for HsExpr
|
commit | commitdiff | tree |
2006-09-04 |
simonpj@microsoft.com | Remove linear implicit parameters, and document in...
|
commit | commitdiff | tree |
2006-09-04 |
simonpj@microsoft.com | Release notes should mention better newtype-deriving
|
commit | commitdiff | tree |
2006-09-04 |
simonpj@microsoft.com | Documentation for bang patterns, and other improvements
|
commit | commitdiff | tree |
2006-09-01 |
simonpj@microsoft.com | -fglasgow-exts no longer implies -fbang-patterns
|
commit | commitdiff | tree |
2006-08-31 |
simonpj@microsoft.com | Add a pointer to the fundeps paper
|
commit | commitdiff | tree |
2006-08-18 |
simonpj@microsoft.com | I don't thing we want to add a call-context here; it...
|
commit | commitdiff | tree |
2006-08-18 |
simonpj@microsoft.com | Avoid duplicate "In type ..." in error messages
|
commit | commitdiff | tree |
2006-08-18 |
simonpj@microsoft.com | Better pretty-printing for TvSubst
|
commit | commitdiff | tree |
2006-08-18 |
simonpj@microsoft.com | Fall over more gracefully when there's a Template Haskell...
|
commit | commitdiff | tree |
2006-08-18 |
simonpj@microsoft.com | Fix typo (fst --> head) in docs on implicit parameters
|
commit | commitdiff | tree |
2006-08-17 |
simonpj@microsoft.com | One last hs-boot update
|
commit | commitdiff | tree |
2006-08-17 |
simonpj@microsoft.com | Missing import for stage 2
|
commit | commitdiff | tree |
2006-08-17 |
simonpj@microsoft.com | One more hs-boot file
|
commit | commitdiff | tree |
2006-08-17 |
simonpj@microsoft.com | Refactoring for valid rule checking
|
commit | commitdiff | tree |
next |