| 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 |
| 2006-08-17 |
simonpj@microsoft.com | Do not CSE in INLINE and NOINLINE things
|
commit | commitdiff | tree |
| 2006-08-17 |
simonpj@microsoft.com | Update lhs-boot files
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Add ad-hoc typing checks for tagToEnum#
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Get dead-ness right in knownCon
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Tuning for argToPat
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Re-factor mkAtomicArgs and completeNonRecX
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Another try at the continuation-swapping stuff
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Don't build unnecessary lets in knownCon
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Refactoring, plus record recursive-function *components...
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Record constructor arg occs correctly (bug-fix)
|
commit | commitdiff | tree |
| 2006-08-16 |
simonpj@microsoft.com | Disable form-checking for rule LHSs
|
commit | commitdiff | tree |
| 2006-08-15 |
simonpj@microsoft.com | Allow class and instance decls in hs-boot files
|
commit | commitdiff | tree |
| 2006-08-15 |
simonpj@microsoft.com | Reject derivable type classes with higher-rank methods
|
commit | commitdiff | tree |
| 2006-08-15 |
simonpj@microsoft.com | SpecConstr now specialises on constants and lambdas
|
commit | commitdiff | tree |
| 2006-08-15 |
simonpj@microsoft.com | Fix two bugs in rule-matching
|
commit | commitdiff | tree |
| 2006-08-15 |
simonpj@microsoft.com | Moving list-length code from one place in the file...
|
commit | commitdiff | tree |
| 2006-08-15 |
simonpj@microsoft.com | Make UniqSM into a proper monad
|
commit | commitdiff | tree |
| 2006-08-15 |
simonpj@microsoft.com | Typo in patch that dealt with duplicating continuations...
|
commit | commitdiff | tree |
| 2006-08-14 |
simonpj@microsoft.com | Be more conservative about duplicating continuations
|
commit | commitdiff | tree |
| 2006-08-14 |
simonpj@microsoft.com | Inline into tail-called constructor args
|
commit | commitdiff | tree |
| 2006-08-14 |
simonpj@microsoft.com | Improve exprIsCheap
|
commit | commitdiff | tree |
| 2006-08-14 |
simonpj@microsoft.com | Improve error message in TcHsType
|
commit | commitdiff | tree |
| 2006-08-11 |
simonpj@microsoft.com | Complete -fmono-pat-binds patch
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search