Migrate cvs diff from fptools-assoc branch
[ghc-hetmet.git] / compiler / typecheck /
2006-09-15 Manuel M T ChakravartyMigrate cvs diff from fptools-assoc branch
2006-08-07 Manuel M T ChakravartyGADT tweaks
2006-08-06 Manuel M T ChakravartyAdding TcGadt.lhs
2006-08-06 Manuel M T ChakravartyAdd CoPat stuff
2006-07-26 simonpj@microsoft.comA somewhat subtle (FC-related) bug concerning the monom...
2006-07-14 simonpj@microsoft.comAdd some type signatures
2006-07-06 simonpj@microsoft.comTiny comment change (darcs test only)
2006-09-18 simonpj@microsoft.comFix a bug in subsumption, and tweak error messages
2006-09-18 simonpj@microsoft.comComments
2006-09-18 simonpj@microsoft.comEnsure that only zonked poly_ids are passed to tcSpecPrag
2006-09-18 simonpj@microsoft.comComments only
2006-09-17 simonpj@microsoft.comAdd a missing renamer dump (related to Template Haskell)
2006-09-15 bringert@cs.chalme... Instantiate data constructor type variables with the...
2006-09-12 audreyt@audreyt.orgTake away XXXs in GADT records related code that are...
2006-09-08 simonpj@microsoft.comCatch errors in pattern matching for unboxed tuples
2006-09-07 simonpj@microsoft.comFix bug in error message
2006-09-07 simonpj@microsoft.comResult type signatures are no longer supported (partial)
2006-09-06 simonpj@microsoft.comPattern-match warning police
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments
2006-09-05 simonpj@microsoft.comFix dependency analysis (notably bindInstsOfLocalFuns...
2006-09-04 simonpj@microsoft.comRefactoring for derived Read
2006-08-19 Ross Patersonremove spurious commas in imports
2006-08-18 simonpj@microsoft.comI don't thing we want to add a call-context here; it...
2006-08-18 simonpj@microsoft.comAvoid duplicate "In type ..." in error messages
2006-08-18 simonpj@microsoft.comFall over more gracefully when there's a Template Haske...
2006-08-17 simonpj@microsoft.comOne last hs-boot update
2006-08-17 simonpj@microsoft.comMissing import for stage 2
2006-08-17 simonpj@microsoft.comOne more hs-boot file
2006-08-17 simonpj@microsoft.comUpdate lhs-boot files
2006-08-16 simonpj@microsoft.comAdd ad-hoc typing checks for tagToEnum#
2006-08-15 simonpj@microsoft.comAllow class and instance decls in hs-boot files
2006-08-14 simonpj@microsoft.comImprove error message in TcHsType
2006-08-11 simonpj@microsoft.comComplete -fmono-pat-binds patch
2006-08-11 simonpj@microsoft.comImprove error message layouts
2006-08-11 simonpj@microsoft.comTwo more error message indendations
2006-08-11 simonpj@microsoft.comGo back to calling type veriables t
2006-08-11 simonpj@microsoft.comIndent an error message
2006-08-10 simonpj@microsoft.comEgregious bug in tcLHsConResTy
2006-08-09 Simon MarlowRemove old FFI syntax
2006-08-08 simonpj@microsoft.comMore fixes to pre-matching and pre-subsumption
2006-08-08 simonpj@microsoft.comCheck that lazy patterns are for lifted types
2006-08-08 simonpj@microsoft.comSpelling in a comment
2006-08-08 simonpj@microsoft.comFix pre-subsumption and pre-matching
2006-08-08 simonpj@microsoft.comImprove error message
2006-08-07 simonpj@microsoft.comAdd -fextended-default-rules and -fmono-pat-binds
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check
2006-08-01 simonpj@microsoft.comMake unification robust to a boxy type variable meeting...
2006-07-28 Simon Marlow.hi-boot-5 is obsolete; the earliest GHC we support...
2006-07-27 simonpj@microsoft.comImprove error message for deriving
2006-07-27 simonpj@microsoft.comMake -fcontext-stack into a dynamic flag
2006-07-26 simonpj@microsoft.comDeal correctly with infix type constructors in GADT...
2006-07-25 Simon Marlowoptimisations to newUnique
2006-07-25 Simon MarlowGeneralise Package Support
2006-07-04 Simon Marlowremove more Addr bits
2006-07-04 Simon Marlowremove unused bits, mostly to do with the Addr type
2006-07-24 Simon MarlowIn interface files, store FastStrings rather than OccNa...
2006-07-22 simonpj@microsoft.comAdd -fmono-pat-binds, and make it the default
2006-07-12 simonpj@microsoft.comComments and import trimming
2006-06-23 Simon Marlowthe unlifted kind
2006-06-26 simonpj@microsoft.comImprove consistency checking for derived instances
2006-06-14 simonpj@microsoft.comImprove location info when typechecking interface fiels
2006-06-21 simonpj@microsoft.comComment only
2006-06-12 simonpj@microsoft.comMake scoped type variables work for default methods
2006-05-19 simonpj@microsoft.comImproved RULE lhs typechecking; less dictionary sharing
2006-05-08 simonpj@microsoft.comTrim imports
2006-05-05 LemmihFix bug #763: Breakpoint mechanism crashes when there...
2006-05-02 LemmihbreakpointCond
2006-05-05 simonpj@microsoft.comPreserve type variable names during type inference
2006-05-05 simonpj@microsoft.comTrim imports
2006-05-04 simonpj@microsoft.comPrint a more helpful error for find_thing
2006-05-04 simonpj@microsoft.comFix precedence for records in derived Read
2006-04-18 Simon Marlowremove vestiges of ByteArray and MutableByteArray,...
2006-04-18 simonpj@microsoft.comComment only
2006-04-18 simonpj@microsoft.comFix rank-validity testing
2006-04-18 LemmihMake the initial rdr and type scope available in the...
2006-04-14 simonpj@microsoft.comFix TH erorr recovery (test is TH_recover)
2006-04-14 simonpj@microsoft.comComments only
2006-04-14 simonpj@microsoft.comRecover gracefully from a Template Haskell programmers...
2006-04-11 simonpj@microsoft.comAllow IO to be wrapped in a newtype in foreign import...
2006-04-02 simonpj@microsoft.comImprove newtype deriving
2006-04-07 Simon MarlowReorganisation of the source tree