2006-07-27 |
Lemmih | Add a C++ phase. Fixes bug #800 |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Simplify the way in which the coKindFun in CoercionTyCo... |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Match let before lambda in rule-matching (see comment... |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Fix bug in SCRIPT_SHELL patch (| should be ||) |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Add missing case for EqPred |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Improve pretty-printing of Core |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Another correction to the (subtle) exprIsConApp_maybe |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Spelling correction |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Improve pretty printing of IfaceSyn |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Improve unification error messages (again) (push to... |
tree | commitdiff |
2006-09-29 |
Simon Marlow | :edit runs notepad by default on Windows |
tree | commitdiff |
2006-09-28 |
Simon Marlow | unbreak :edit patch on Windows |
tree | commitdiff |
2006-09-28 |
Simon Marlow | Fix #906, and do #914 while I'm in here (it wasn't... |
tree | commitdiff |
2006-09-28 |
Simon Marlow | Add basic :edit support |
tree | commitdiff |
2006-09-28 |
Simon Marlow | only make stdin/stdout unbuffered in GHCi, not runghc... |
tree | commitdiff |
2006-09-14 |
Andres Loeh | fix typo in comment |
tree | commitdiff |
2006-09-17 |
rjmccall@gmail.com | Modify toArgs to parse quotes/escapes like /bin/sh |
tree | commitdiff |
2006-09-27 |
simonpj@microsoft.com | Fix exprIsConApp_maybe (wasn't dealing properly with... |
tree | commitdiff |
2006-09-26 |
sof@galois.com | unbreak mingw-on-cygwin (/=MSYS) builds |
tree | commitdiff |
2006-09-27 |
Simon Marlow | Rename -no-recomp to -fforce-recomp, and document it |
tree | commitdiff |
2006-09-27 |
Simon Marlow | Make printing of binding results optional in GHCi,... |
tree | commitdiff |
2006-09-26 |
simonpj@microsoft.com | Fix derived instances (again); prevents infinite superc... |
tree | commitdiff |
2006-09-25 |
simonpj@microsoft.com | Fix newtype deriving properly (un-doing Audreys patch) |
tree | commitdiff |
2006-09-24 |
audreyt@audreyt.org | Comment-only: Fix a typo, and note that the PredTy... |
tree | commitdiff |
2006-09-24 |
audreyt@audreyt.org | In tcSplittyConApp_maybe, add the PredTy case |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim more imports |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Fix origin for addDataConStupidTheta |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Remove ASSERT from mkDataCon, and add comments to expla... |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | The unboxed tuple kind is (#), not (##) |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Complete definition of cmPredX to take account of EqPred |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Correct crucial typo in isSubKind (kc1 -> kc2)! |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Re-work the newtype-deriving support |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Add TcRnMonad.newSysLocalIds, and use it |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Remove dead code concerning coercions from TypeRep |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Move snocView in the file, nearer the other spliting... |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Add VarSet.disjointVarSet, and use it |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
tree | commitdiff |
2006-09-22 |
simonpj@microsoft.com | Improve specialisation in SpecConstr |
tree | commitdiff |
2006-09-22 |
simonpj@microsoft.com | Remove duplicate call to getDOpts |
tree | commitdiff |
2006-09-22 |
simonpj@microsoft.com | Remove use of isVanillaDataCon, which was wrong under... |
tree | commitdiff |
2006-09-22 |
simonpj@microsoft.com | Trim imports, reformatting |
tree | commitdiff |
2006-09-22 |
simonpj@microsoft.com | Add a crucial missing prime in tcConPat |
tree | commitdiff |
2006-09-23 |
audreyt@audreyt.org | In ByteCodeGen, correctly passthru AnnCast in all relev... |
tree | commitdiff |
2006-09-23 |
audreyt@audreyt.org | Add explicit eta-reduction to GHCI's schemeE such that... |
tree | commitdiff |
2006-09-22 |
audreyt@audreyt.org | Repair "ghci" under FC+AT by handling AnnCast in byteco... |
tree | commitdiff |
2006-09-21 |
Manuel M T Chakravarty | Fix Linker import when BREAKPOINT is off |
tree | commitdiff |
2006-09-21 |
Manuel M T Chakravarty | Extend IfaceSyn.eqIfTc to cover type kind variants... |
tree | commitdiff |
2006-09-21 |
Don Stewart | Use --export-dynamic to ensure ghci works on newer... |
tree | commitdiff |
2006-09-21 |
audreyt@audreyt.org | * TypeRep.lhs and TypeRep.lhs-boot didn't agree on... |
tree | commitdiff |
2006-09-21 |
audreyt@audreyt.org | * Fix stray comma in HsTypes.lhs's import line. |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Correct substitution into theta types (after merge) After_FC_branch_merge |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix import list of TcTyClsDecls after merge |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adding FamInstEnv & FamInst modules |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adapt FC-code in TcUnify to pre-subsumption |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Some more ASSERTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | SPJ's fix to resolve conflict in instFun |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adjust code from manual merges |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adapt TcFix imports |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Basic set up for global family instance environment |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Import/export of data constructors in family instances |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Use smart lookup for tycons |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix type checking of imported data instances |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix category of representation tycon |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Option -findexed-types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Get of fam inst index in ifaces |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Clean up and refactor in SimplUtils.mkCase1 (identity... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | ATs are now implicitTyThings |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Straightened out implicit coercions for indexed types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fixed two bugs concerning fanilies |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Check category of type instances and some newtype famil... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Better error message for indexes that must be variables |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Checking conformance of AT indexes with instance heads |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Warn of missing ATs and complain about bad ATs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Check that AT instance is in a class |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Kind sig for toplevel family decls is optional |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fixed bug in coercion for indexed data types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Pattern matching of indexed data types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Introduce coercions for data instance decls |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fixed two data family bugs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix the tyvars used for data con signatures |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Extend TyCons and DataCons to represent data instance... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix TcSplice after some type family related changes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Make sure ATs are included into the temporary env for... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Extend Class.Class to include the TyCons of ATs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix kind lookup in kcIdxTyPats |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Extended TyCon and friends to represent family declarations |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Kind and type checking of indexed types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Another comment |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Add missing co_vars to tcIfaceDataAlt |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Comments only |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Small refactoring |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Missing change re additional info in TcTyThing |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Complete OccName->FS change in TcIface |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Missing imports in CoreUtils |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Removed spurious + due to manual patching |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Makefile comment |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix newtype deriving bug |
tree | commitdiff |
next |