Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler /
2006-10-03 simonpj@microsoft.comFix scoped type variables for expression type signatures
2006-10-03 simonpj@microsoft.comTrim imports
2006-10-03 simonpj@microsoft.comAdd error check for operators in types
2006-07-27 LemmihAdd a C++ phase. Fixes bug #800
2006-09-29 simonpj@microsoft.comSimplify the way in which the coKindFun in CoercionTyCo...
2006-09-29 simonpj@microsoft.comMatch let before lambda in rule-matching (see comment...
2006-09-29 simonpj@microsoft.comFix bug in SCRIPT_SHELL patch (| should be ||)
2006-09-29 simonpj@microsoft.comAdd missing case for EqPred
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-29 simonpj@microsoft.comImprove pretty-printing of Core
2006-09-29 simonpj@microsoft.comAnother correction to the (subtle) exprIsConApp_maybe
2006-09-29 simonpj@microsoft.comSpelling correction
2006-09-29 simonpj@microsoft.comImprove pretty printing of IfaceSyn
2006-09-29 simonpj@microsoft.comImprove unification error messages (again) (push to...
2006-09-29 Simon Marlow:edit runs notepad by default on Windows
2006-09-28 Simon Marlowunbreak :edit patch on Windows
2006-09-28 Simon MarlowFix #906, and do #914 while I'm in here (it wasn't...
2006-09-28 Simon MarlowAdd basic :edit support
2006-09-28 Simon Marlowonly make stdin/stdout unbuffered in GHCi, not runghc...
2006-09-14 Andres Loehfix typo in comment
2006-09-17 rjmccall@gmail.comModify toArgs to parse quotes/escapes like /bin/sh
2006-09-27 simonpj@microsoft.comFix exprIsConApp_maybe (wasn't dealing properly with...
2006-09-26 sof@galois.comunbreak mingw-on-cygwin (/=MSYS) builds
2006-09-27 Simon MarlowRename -no-recomp to -fforce-recomp, and document it
2006-09-27 Simon MarlowMake printing of binding results optional in GHCi,...
2006-09-26 simonpj@microsoft.comFix derived instances (again); prevents infinite superc...
2006-09-25 simonpj@microsoft.comFix newtype deriving properly (un-doing Audreys patch)
2006-09-24 audreyt@audreyt.orgComment-only: Fix a typo, and note that the PredTy...
2006-09-24 audreyt@audreyt.orgIn tcSplittyConApp_maybe, add the PredTy case
2006-09-23 simonpj@microsoft.comTrim more imports
2006-09-23 simonpj@microsoft.comFix origin for addDataConStupidTheta
2006-09-23 simonpj@microsoft.comRemove ASSERT from mkDataCon, and add comments to expla...
2006-09-23 simonpj@microsoft.comThe unboxed tuple kind is (#), not (##)
2006-09-23 simonpj@microsoft.comComplete definition of cmPredX to take account of EqPred
2006-09-23 simonpj@microsoft.comCorrect crucial typo in isSubKind (kc1 -> kc2)!
2006-09-23 simonpj@microsoft.comRe-work the newtype-deriving support
2006-09-23 simonpj@microsoft.comAdd TcRnMonad.newSysLocalIds, and use it
2006-09-23 simonpj@microsoft.comRemove dead code concerning coercions from TypeRep
2006-09-23 simonpj@microsoft.comMove snocView in the file, nearer the other spliting...
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code
2006-09-22 simonpj@microsoft.comImprove specialisation in SpecConstr
2006-09-22 simonpj@microsoft.comRemove duplicate call to getDOpts
2006-09-22 simonpj@microsoft.comRemove use of isVanillaDataCon, which was wrong under...
2006-09-22 simonpj@microsoft.comTrim imports, reformatting
2006-09-22 simonpj@microsoft.comAdd a crucial missing prime in tcConPat
2006-09-23 audreyt@audreyt.orgIn ByteCodeGen, correctly passthru AnnCast in all relev...
2006-09-23 audreyt@audreyt.orgAdd explicit eta-reduction to GHCI's schemeE such that...
2006-09-22 audreyt@audreyt.orgRepair "ghci" under FC+AT by handling AnnCast in byteco...
2006-09-21 Manuel M T ChakravartyFix Linker import when BREAKPOINT is off
2006-09-21 Manuel M T ChakravartyExtend IfaceSyn.eqIfTc to cover type kind variants...
2006-09-21 Don StewartUse --export-dynamic to ensure ghci works on newer...
2006-09-21* TypeRep.lhs and TypeRep.lhs-boot didn't agree on...
2006-09-21* Fix stray comma in HsTypes.lhs's import line.
2006-09-20 Manuel M T ChakravartyCorrect substitution into theta types (after merge) After_FC_branch_merge
2006-09-20 Manuel M T ChakravartyFix import list of TcTyClsDecls after merge
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules
2006-09-20 Manuel M T ChakravartyAdapt FC-code in TcUnify to pre-subsumption
2006-09-20 Manuel M T ChakravartySome more ASSERTs
2006-09-20 Manuel M T ChakravartySPJ's fix to resolve conflict in instFun
2006-09-20 Manuel M T ChakravartyAdjust code from manual merges
2006-09-20 Manuel M T ChakravartyAdapt TcFix imports
2006-09-20 Manuel M T ChakravartyBasic set up for global family instance environment
2006-09-20 Manuel M T ChakravartyImport/export of data constructors in family instances
2006-09-20 Manuel M T ChakravartyUse smart lookup for tycons
2006-09-20 Manuel M T ChakravartyFix type checking of imported data instances
2006-09-20 Manuel M T ChakravartyFix category of representation tycon
2006-09-20 Manuel M T ChakravartyOption -findexed-types
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces
2006-09-20 Manuel M T ChakravartyClean up and refactor in SimplUtils.mkCase1 (identity...
2006-09-20 Manuel M T ChakravartyATs are now implicitTyThings
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types
2006-09-20 Manuel M T ChakravartyFixed two bugs concerning fanilies
2006-09-20 Manuel M T ChakravartyIndexed newtypes
2006-09-20 Manuel M T ChakravartyCheck category of type instances and some newtype famil...
2006-09-20 Manuel M T ChakravartyBetter error message for indexes that must be variables
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads
2006-09-20 Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class
2006-09-20 Manuel M T ChakravartyKind sig for toplevel family decls is optional
2006-09-20 Manuel M T ChakravartyFixed bug in coercion for indexed data types
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls
2006-09-20 Manuel M T ChakravartyFixed two data family bugs
2006-09-20 Manuel M T ChakravartyFix the tyvars used for data con signatures
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance...
2006-09-20 Manuel M T ChakravartyFix TcSplice after some type family related changes
2006-09-20 Manuel M T ChakravartyMake sure ATs are included into the temporary env for...
2006-09-20 Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs
2006-09-20 Manuel M T ChakravartyFix kind lookup in kcIdxTyPats
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types
2006-09-20 Manuel M T ChakravartyAnother comment
2006-09-20 Manuel M T ChakravartyAdd missing co_vars to tcIfaceDataAlt
2006-09-20 Manuel M T ChakravartyComments only
2006-09-20 Manuel M T ChakravartySmall refactoring
2006-09-20 Manuel M T ChakravartyMissing change re additional info in TcTyThing
2006-09-20 Manuel M T ChakravartyComplete OccName->FS change in TcIface
2006-09-20 Manuel M T ChakravartyMissing imports in CoreUtils