| 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-17 |
rjmccall@gmail.com | Modify toArgs to parse quotes/escapes like /bin/sh
|
commit | commitdiff | tree |
| 2006-09-27 |
simonpj@microsoft.com | Fix exprIsConApp_maybe (wasn't dealing properly with...
|
commit | commitdiff | tree |
| 2006-09-26 |
sof@galois.com | unbreak mingw-on-cygwin (/=MSYS) builds
|
commit | commitdiff | tree |
| 2006-09-26 |
simonpj@microsoft.com | Fix derived instances (again); prevents infinite superclass...
|
commit | commitdiff | tree |
| 2006-09-25 |
sof@galois.com | rejig library include/ files
|
commit | commitdiff | tree |
| 2006-09-25 |
simonpj@microsoft.com | Fix newtype deriving properly (un-doing Audreys patch)
|
commit | commitdiff | tree |
| 2006-09-18 |
bjorn@bringert.net | Added Darwinports path to DocBook XSL stylesheets to...
|
commit | commitdiff | tree |
| 2006-09-24 |
audreyt@audreyt.org | Comment-only: Fix a typo, and note that the PredTy...
|
commit | commitdiff | tree |
| 2006-09-24 |
audreyt@audreyt.org | In tcSplittyConApp_maybe, add the PredTy case
|
commit | commitdiff | tree |
| 2006-09-23 |
sven.panne@aedion.de | Fixed DocBook XML once again, "make validate" is your...
|
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-23 |
sven.panne@aedion.de | 64bit fixes for the symbol lookup table
|
commit | commitdiff | tree |
| 2006-09-23 |
audreyt@audreyt.org | In ByteCodeGen, correctly passthru AnnCast in all relevant...
|
commit | commitdiff | tree |
| 2006-09-23 |
audreyt@audreyt.org | Add explicit eta-reduction to GHCI's schemeE such that...
|
commit | commitdiff | tree |
| 2006-09-22 |
audreyt@audreyt.org | Repair "ghci" under FC+AT by handling AnnCast in bytecode...
|
commit | commitdiff | tree |
| 2006-09-21 |
audreyt@audreyt.org | * TypeRep.lhs and TypeRep.lhs-boot didn't agree on...
|
commit | commitdiff | tree |
| 2006-09-21 |
audreyt@audreyt.org | * Fix stray comma in HsTypes.lhs's import line.
|
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-08-01 |
kevind@bu.edu | Add missing Cast cases to libCase and scExpr
|
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-19 |
sven.panne@aedion.de | Currently we don't build cabal-setup
|
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-15 |
bringert@cs.chalmers.se | Instantiate data constructor type variables with the...
|
commit | commitdiff | tree |
| 2006-09-15 |
bringert@cs.chalmers.se | Fixed error in user's manual, gadt section, part about...
|
commit | commitdiff | tree |
| 2006-09-12 |
audreyt@audreyt.org | Another s/autrijus/audreyt/ in comments.
|
commit | commitdiff | tree |
| 2006-09-12 |
audreyt@audreyt.org | Take away XXXs in GADT records related code that are...
|
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-09 |
sof@galois.com | remove generated files in a 'finally' manner
|
commit | commitdiff | tree |
| 2006-09-08 |
simonpj@microsoft.com | Catch errors in pattern matching for unboxed tuples
|
commit | commitdiff | tree |
| 2006-09-07 |
bringert@cs.chalmers.se | Fixed typo in users guide section about lexically scoped...
|
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 |
| next |
projects / ghc-hetmet.git / search