projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Refactor TcRnDriver, and check exports on hi-boot files
[ghc-hetmet.git] / compiler / typecheck /
2007-03-16 simonpj@microsoft.comRefactor TcRnDriver, and check exports on hi-boot files tree | commitdiff
2007-03-15 simonpj@microsoft.comMake the type-defaulting in GHCi use () as the first... tree | commitdiff
2007-03-14 simonpj@microsoft.comWibble to type-error-message improvement tree | commitdiff
2007-03-14 simonpj@microsoft.comImprove error messages slightly, saying "a1...an" inste... tree | commitdiff
2007-03-14 simonpj@microsoft.comImprove typechecker error messages; see Trac #1221 tree | commitdiff
2007-03-06 simonpj@microsoft.comSimple fix for Trac #1199 (pls merge to branch) tree | commitdiff
2007-02-28 Simon MarlowRemove vectored returns. tree | commitdiff
2007-02-23 simonpj@microsoft.comTidy up typechecking for newtypes tree | commitdiff
2007-02-23 Manuel M T ChakravartyMoved argument position info of ATs into tycon rhs... tree | commitdiff
2007-02-19 Pepe IborraRemoved unnecessary code tree | commitdiff
2007-02-21 simonpj@microsoft.comAllow GADT syntax for newtypes tree | commitdiff
2007-02-21 simonpj@microsoft.comFix a deriving bug, arising from recent refactoring tree | commitdiff
2007-02-21 simonpj@microsoft.comFix defaulting for overloaded strings tree | commitdiff
2007-02-19 simonpj@microsoft.comSignature type variables must not be instantiated with... tree | commitdiff
2007-02-07 simonpj@microsoft.comSpelling fix tree | commitdiff
2007-02-06 simonpj@microsoft.comCheck for escape when unifying forall-types tree | commitdiff
2007-02-04 lennart@augustsson.netMake HsRecordBinds a data type instead of a synonym. tree | commitdiff
2007-02-04 lennart@augustsson.netFix a comment typo. tree | commitdiff
2007-02-04 lennart@augustsson.netFix a typo. tree | commitdiff
2007-02-02 simonpj@microsoft.comComments only tree | commitdiff
2007-01-31 simonpj@microsoft.comSlight refactoring for overloaded strings tree | commitdiff
2006-12-21 lennart@augustsson.netAdd support for overloaded string literals. tree | commitdiff
2007-01-11 simonpj@microsoft.comAvoid duplicate defns of 'main' in module Main tree | commitdiff
2007-01-11 simonpj@microsoft.comMake the LiberateCase transformation understand associa... tree | commitdiff
2007-01-11 simonpj@microsoft.comComments tree | commitdiff
2007-01-11 simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it tree | commitdiff
2007-01-10 Manuel M T ChakravartycheckTauTvUpdate: take synonym families into account tree | commitdiff
2007-01-09 Manuel M T ChakravartyHandle synonym families in check_tau_type tree | commitdiff
2007-01-09 simonpj@microsoft.comPreserve rigidity for GADTs when typechecking explicit... tree | commitdiff
2007-01-09 simonpj@microsoft.comFix egregious bug in implication constraints tree | commitdiff
2007-01-05 Manuel M T ChakravartyHsSyn clean up for indexed types tree | commitdiff
2007-01-04 Manuel M T ChakravartyFix and improve deriving for indexed data types tree | commitdiff
2007-01-03 simonpj@microsoft.comBe more relaxed about reporting ambiguous class methods tree | commitdiff
2007-01-03 simonpj@microsoft.comFix stupid error in rehashing TcRnDriver (fixes TH... tree | commitdiff
2007-01-03 simonpj@microsoft.comFix several bugs related to finding free variables tree | commitdiff
2007-01-03 simonpj@microsoft.comComments only tree | commitdiff
2007-01-03 simonpj@microsoft.comMake warnings come out in deterministic order tree | commitdiff
2007-01-03 simonpj@microsoft.comBetter error messages for deriving tree | commitdiff
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code tree | commitdiff
2006-12-29 Manuel M T ChakravartyMake dicts for arbitrary type equalities tree | commitdiff
2006-12-29 Manuel M T ChakravartyConstruction of EqPred dictionaries tree | commitdiff
2006-12-29 davve@dtek.chalmers.seAdd missing case for documented types in the type desugarer tree | commitdiff
2006-12-29 andy@galois.comAdding a GENERATED pragma tree | commitdiff
2006-12-28 Manuel M T ChakravartyParse and desugar equational constraints tree | commitdiff
2006-12-21 Manuel M T ChakravartyAdd hook to fam inst consistency check to GHCi/--make tree | commitdiff
2006-12-19 Manuel M T ChakravartyDeriving for indexed newtypes tree | commitdiff
2006-12-18 Manuel M T ChakravartyDeriving for indexed data types tree | commitdiff
2006-12-11 Pepe IborraToggle whether the RTS gets build with debugger support... tree | commitdiff
2006-12-11 Pepe IborraAdjust code from manual merges tree | commitdiff
2006-12-10 Pepe IborraPrevent breakpoint instrumentation of spliced code tree | commitdiff
2006-12-10 Pepe IborraBreakpoint code instrumentation tree | commitdiff
2006-12-10 Pepe IborraThe breakpoint primitive tree | commitdiff
2006-12-10 Pepe IborraPlaying with closures tree | commitdiff
2006-12-13 simonpj@microsoft.comAdd left-to-right impredicative instantiation tree | commitdiff
2006-12-12 simonpj@microsoft.comMissed a stage-2 problem in the TcSimplify refactoring tree | commitdiff
2006-12-12 simonpj@microsoft.comFix up yesterdays commit to TcSimplify; fixes broken... tree | commitdiff
2006-12-11 simonpj@microsoft.comAdd comments about pruning implication constraints tree | commitdiff
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification tree | commitdiff
2006-12-11 simonpj@microsoft.comImprove origin of constraints in subsumption checking tree | commitdiff
2006-12-11 simonpj@microsoft.comSuggests -fglasgow-exts for contexts-differ-in-length... tree | commitdiff
2006-12-11 simonpj@microsoft.comComments and layout only tree | commitdiff
2006-12-11 simonpj@microsoft.comRemove strange extra print (a temporary debug?) tree | commitdiff
2006-12-07 Manuel M T ChakravartyFix family instance consistency check for home package... tree | commitdiff
2006-12-01 simonpj@microsoft.comq tree | commitdiff
2006-11-24 simonpj@microsoft.comFix constraint handling for lazy patterns tree | commitdiff
2006-11-24 simonpj@microsoft.comImprove handling of implicit parameters tree | commitdiff
2006-11-24 simonpj@microsoft.comGather constraints in program order tree | commitdiff
2006-11-23 simonpj@microsoft.comSimplify TcSimplify, by removing Free tree | commitdiff
2006-11-22 simonpj@microsoft.comRefactoring of where tcSimplifyTop happens tree | commitdiff
2006-11-22 simonpj@microsoft.comRetain simplifications of implication constraints tree | commitdiff
2006-11-22 simonpj@microsoft.comImprove error messages slightly tree | commitdiff
2006-11-10 Samuel BronsonZap stray whitespace in lhs formatting tree | commitdiff
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference tree | commitdiff
2006-11-01 simonpj@microsoft.comMajor overhaul of the Simplifier tree | commitdiff
2006-11-01 simonpj@microsoft.comTrim imports tree | commitdiff
2006-11-01 simonpj@microsoft.comDefault the kind of unconstrained meta-type variables... tree | commitdiff
2006-11-01 simonpj@microsoft.comImprove error message (push to 6.6 branch) tree | commitdiff
2006-11-01 simonpj@microsoft.comFix error reporting for contexts during deriving (Trac... tree | commitdiff
2006-10-24 andy@galois.comHaskell Program Coverage tree | commitdiff
2006-10-22 Manuel M T ChakravartyImprove error messages for indexed types tree | commitdiff
2006-10-20 Manuel M T ChakravartyFix processing of imports involving ATs with the new... tree | commitdiff
2006-10-19 Manuel M T ChakravartyFix show-iface for family instances & add debug ppr... tree | commitdiff
2006-10-18 Manuel M T ChakravartyCross-module consistency check for family instances tree | commitdiff
2006-10-18 simonpj@microsoft.comAdd the primitive type Any, and use it for Dynamics tree | commitdiff
2006-10-18 simonpj@microsoft.comMinor refactoring tree | commitdiff
2006-10-16 Manuel M T ChakravartyStage 2 fix to "Keep track of family instance modules" tree | commitdiff
2006-10-16 Simon Marlowfix non-DEBUG build (probably my fault, sorry) tree | commitdiff
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar tree | commitdiff
2006-10-13 simonpj@microsoft.comChange type of TcGadt.refineType, plus consequences tree | commitdiff
2006-10-13 simonpj@microsoft.comMore refactoring in RnNames tree | commitdiff
2006-10-13 Manuel M T ChakravartyKeep track of family instance modules tree | commitdiff
2006-10-12 Manuel M T ChakravartyOverlap check for family instances def'd in current... tree | commitdiff
2006-10-11 simonpj@microsoft.comMake Inst into a record type to ease subsequent changes tree | commitdiff
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build tree | commitdiff
2006-10-11 Simon MarlowModule header tidyup, phase 1 tree | commitdiff
2006-10-11 Simon MarlowInterface file optimisation and removal of nameParent tree | commitdiff
2006-10-10 simonpj@microsoft.comDo not filter the type envt after each GHCi stmt tree | commitdiff
2006-10-10 simonpj@microsoft.comFail more informatively when a global isn't in the... tree | commitdiff
2006-10-10 Manuel M T ChakravartyRough matches for family instances tree | commitdiff
2006-10-09 Ian LynaghUpdate hi-boot files to fix building with old GHCs tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)