projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
allow build settings to be overriden by adding mk/validate.mk
[ghc-hetmet.git] / compiler / typecheck /
2007-07-05 simonpj@microsoft.comTidy up IsIrred (no need for argument any more) tree | commitdiff
2007-07-04 simonpj@microsoft.comFix Trace #1494 tree | commitdiff
2007-07-02 Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB tree | commitdiff
2007-07-03 simonpj@microsoft.comImprove formatting of errors, and fix a typo tree | commitdiff
2007-06-29 simonpj@microsoft.comMany comments about oclose, plus a fix for Trac #1456 tree | commitdiff
2007-06-29 simonpj@microsoft.comImprove error message (Trac #1446) tree | commitdiff
2007-06-29 simonpj@microsoft.comRefine printing of names in unification mis-match tree | commitdiff
2007-06-29 simonpj@microsoft.comImprove name-printing on unification mis-matches, when... tree | commitdiff
2007-06-29 Manuel M T ChakravartyChecking that type indexes contain no synonym family... tree | commitdiff
2007-06-29 Manuel M T ChakravartyRHS of a type instance must be a tau type tree | commitdiff
2007-06-29 Manuel M T ChakravartyOverlap check for type families tree | commitdiff
2007-06-28 simonmar@microsoft.comFix typechecking bug with implicit parameters (Trac... tree | commitdiff
2007-06-28 simonmar@microsoft.comWhite space only tree | commitdiff
2007-06-27 Manuel M T ChakravartyFix names of coercions in newtype instances tree | commitdiff
2007-06-27 Manuel M T ChakravartyFixed deriving of associated data types tree | commitdiff
2007-06-25 simonpj@microsoft.comPrint infix type constructors in an infix way tree | commitdiff
2007-06-21 simonpj@microsoft.comAnother wibble to the head-exploded error message ... tree | commitdiff
2007-06-21 simonpj@microsoft.comImprove 'my head exploded' error message tree | commitdiff
2007-06-21 simonpj@microsoft.comFIX BUILD: add missing prime! tree | commitdiff
2007-06-21 LemmihAdd several new record features tree | commitdiff
2007-06-18 LemmihRemove the unused HsExpr constructor DictPat tree | commitdiff
2007-06-07 LemmihFix a bug in MatchCon, and clarify what dataConInstOrig... tree | commitdiff
2007-06-20 simonpj@microsoft.comImplement -X=GADTs and -X=RelaxedPolyRec tree | commitdiff
2007-06-20 simonpj@microsoft.comImprove the handling of deriving, in error cases tree | commitdiff
2007-06-20 simonpj@microsoft.comMore refactoring in TcSimplify tree | commitdiff
2007-06-19 simonpj@microsoft.comFix a bug in the handling of implication constraints... tree | commitdiff
2007-06-19 simonpj@microsoft.comComments only tree | commitdiff
2007-06-08 Manuel M T ChakravartyFix deriving of indexed data types tree | commitdiff
2007-06-06 simonpj@microsoft.comDon't suggest -fno-monomorphism-restriction if it's... tree | commitdiff
2007-06-06 simonpj@microsoft.comFIX #1385: make sure tuple instances are loaded tree | commitdiff
2007-06-05 Ian LynaghTypo, spotted by Stefan Holdermans tree | commitdiff
2007-05-30 simonpj@microsoft.comFix bogus check for strictness in newtypes tree | commitdiff
2007-05-30 simonpj@microsoft.comFix bug in tcSimplifyInfer (Trac #1382) tree | commitdiff
2007-05-30 simonpj@microsoft.comReject newtypes with strictness annotations; fixes... tree | commitdiff
2007-05-23 simonpj@microsoft.comIn GHCi, bind identifiers at TH level 'impLevel' tree | commitdiff
2007-05-14 simonpj@microsoft.comImprove error message when 'main' is not defined tree | commitdiff
2007-05-14 Manuel M T Chakravarty-findexed-types -> -ftype-families tree | commitdiff
2007-05-14 Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv tree | commitdiff
2007-05-11 Manuel M T ChakravartyRemove the distinction between data and newtype families tree | commitdiff
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name tree | commitdiff
2007-05-10 Michael D. AdamsWarning fix for unused and redundant imports tree | commitdiff
2007-05-10 simonpj@microsoft.comDead code elimination tree | commitdiff
2007-05-09 simonpj@microsoft.comTidy up the interface to lookupInstEnv tree | commitdiff
2007-05-07 simonpj@microsoft.comFIX Trac #1332: make isStringTy work right tree | commitdiff
2007-05-07 simonpj@microsoft.comFIX Trac #1329: spelling error tree | commitdiff
2007-05-06 Manuel M T ChakravartyExtend hptInstances to also cover family instances tree | commitdiff
2007-05-04 Manuel M T ChakravartyAdded VectInfo to ModGuts tree | commitdiff
2007-05-04 Ian LynaghPanic properly if wrongKindOfFamily is given an unexpec... tree | commitdiff
2007-05-04 simonpj@microsoft.comWarning police tree | commitdiff
2007-05-04 simonpj@microsoft.comisDataTyCon should be False for all type families,... tree | commitdiff
2007-05-03 Simon Marlowcancel out some reverses by changing the order of ic_tm... tree | commitdiff
2007-05-02 simonpj@microsoft.comComments, plus type sigs tree | commitdiff
2007-05-02 simonpj@microsoft.comMake records work properly with type families tree | commitdiff
2007-05-02 Simon MarlowRefactoring, tidyup and improve layering tree | commitdiff
2007-05-02 simonpj@microsoft.comImprove error reporting for type signatures tree | commitdiff
2007-05-02 simonpj@microsoft.comDo not generate warnings for compiler-generated code tree | commitdiff
2007-05-02 simonpj@microsoft.comUse pprSourceTyCon; delete unused tyConOrigHead tree | commitdiff
2007-04-27 simonpj@microsoft.comFix egregious typo in TcUnify tree | commitdiff
2007-04-26 Simon MarlowGive a better error message when we try to print a... tree | commitdiff
2007-04-25 Simon MarlowTidy types of free vars at a breakpoint tree | commitdiff
2007-04-25 Simon MarlowKeep track of free type variables in the interactive... tree | commitdiff
2007-04-24 Pepe IborraSome tyvars were being introduced in the environment... tree | commitdiff
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons tree | commitdiff
2007-04-25 simonpj@microsoft.comAdd -fwarn-monomorphism-restriction (on by default... tree | commitdiff
2007-04-25 simonpj@microsoft.comGive the inferred type when warning of a missing type... tree | commitdiff
2007-04-24 simonpj@microsoft.comFix bug in boxySplitTyConApp tree | commitdiff
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types tree | commitdiff
2007-04-22 simonpj@microsoft.comFix corner case of useless constraint in SPECIALISE... tree | commitdiff
2007-04-22 simonpj@microsoft.comWarning police tree | commitdiff
2007-04-20 Simon Marlowremove unused imports tree | commitdiff
2007-04-10 Tyson WhiteheadDistinguish between userError (i.e., deliberate failure... tree | commitdiff
2007-04-17 Simon MarlowRe-working of the breakpoint support tree | commitdiff
2007-04-11 Simon MarlowRationalise GhcMode, HscTarget and GhcLink tree | commitdiff
2007-03-22 simonpj@microsoft.comImprove documentation of instances tree | commitdiff
2007-03-21 simonpj@microsoft.comFix checkHiBootIface for instances declared in hs-boot... tree | commitdiff
2007-03-21 simonpj@microsoft.comRemove bogus export from TcSplice.lhs-boot tree | commitdiff
2007-03-21 simonpj@microsoft.comWibble to GHCi part of TcRnDriver tree | commitdiff
2007-03-21 simonpj@microsoft.comYet another wibble to checkHiBootIface; it's trickier... tree | commitdiff
2007-03-20 simonpj@microsoft.comFurther wibbles to checkBootIface (fixed HEAD build) tree | commitdiff
2007-03-19 simonpj@microsoft.comUse explict layout (fixes breakage when compiling TcSim... tree | commitdiff
2007-03-16 simonpj@microsoft.comImprove error messages for 'deriving' clauses tree | commitdiff
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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)