projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
FIX: Make boxy splitters aware of type families
[ghc-hetmet.git] / compiler / typecheck / TcPat.lhs
2007-09-28 Manuel M T ChakravartyFIX: Make boxy splitters aware of type families blob | commitdiff
2007-09-06 Manuel M T ChakravartyFix -DDEBUG warning blob | commitdiff | diff to current
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs blob | commitdiff | diff to current
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas blob | commitdiff | diff to current
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... blob | commitdiff | diff to current
2007-08-28 Manuel M T ChakravartyType checking for type synonym families blob | commitdiff | diff to current
2007-06-21 simonpj@microsoft.comAnother wibble to the head-exploded error message ... blob | commitdiff | diff to current
2007-06-21 simonpj@microsoft.comImprove 'my head exploded' error message blob | commitdiff | diff to current
2007-06-21 LemmihAdd several new record features blob | commitdiff | diff to current
2007-06-18 LemmihRemove the unused HsExpr constructor DictPat blob | commitdiff | diff to current
2007-06-20 simonpj@microsoft.comImplement -X=GADTs and -X=RelaxedPolyRec blob | commitdiff | diff to current
2007-06-05 Ian LynaghTypo, spotted by Stefan Holdermans blob | commitdiff | diff to current
2007-05-02 simonpj@microsoft.comComments, plus type sigs blob | commitdiff | diff to current
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types blob | commitdiff | diff to current
2007-02-04 lennart@augustsson.netFix a comment typo. blob | commitdiff | diff to current
2006-12-21 lennart@augustsson.netAdd support for overloaded string literals. blob | commitdiff | diff to current
2007-01-03 simonpj@microsoft.comFix several bugs related to finding free variables blob | commitdiff | diff to current
2006-12-11 simonpj@microsoft.comComments and layout only blob | commitdiff | diff to current
2006-12-11 simonpj@microsoft.comRemove strange extra print (a temporary debug?) blob | commitdiff | diff to current
2006-11-24 simonpj@microsoft.comFix constraint handling for lazy patterns blob | commitdiff | diff to current
2006-11-22 simonpj@microsoft.comImprove error messages slightly blob | commitdiff | diff to current
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference blob | commitdiff | diff to current
2006-10-13 simonpj@microsoft.comChange type of TcGadt.refineType, plus consequences blob | commitdiff | diff to current
2006-10-11 simonpj@microsoft.comMake Inst into a record type to ease subsequent changes blob | commitdiff | diff to current
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build blob | commitdiff | diff to current
2006-10-05 davve@dtek.chalmers.seMerge Haddock comment support from ghc.haddock -- big... blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comFix origin for addDataConStupidTheta blob | commitdiff | diff to current
2006-09-22 simonpj@microsoft.comAdd a crucial missing prime in tcConPat blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyAdapt TcFix imports blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyIndexed newtypes blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... blob | commitdiff | diff to current
2006-09-08 simonpj@microsoft.comCatch errors in pattern matching for unboxed tuples blob | commitdiff | diff to current
2006-09-07 simonpj@microsoft.comFix bug in error message blob | commitdiff | diff to current
2006-08-08 simonpj@microsoft.comCheck that lazy patterns are for lifted types blob | commitdiff | diff to current
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check blob | commitdiff | diff to current
2006-04-07 Simon MarlowReorganisation of the source tree blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)