projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler / basicTypes /
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works tree | commitdiff
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn tree | commitdiff
2006-09-23 simonpj@microsoft.comRemove ASSERT from mkDataCon, and add comments to expla... tree | commitdiff
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it tree | commitdiff
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix type checking of imported data instances tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix category of representation tycon tree | commitdiff
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces tree | commitdiff
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types tree | commitdiff
2006-09-20 Manuel M T ChakravartyIndexed newtypes tree | commitdiff
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types tree | commitdiff
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance... tree | commitdiff
2006-09-20 Manuel M T ChakravartyRemoved spurious + due to manual patching tree | commitdiff
2006-09-20 Manuel M T ChakravartyComments about datacon worker and wrappers tree | commitdiff
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyChagne newtype wrapper into worker tree | commitdiff
2006-09-20 Manuel M T ChakravartyClean up unused imports, definitions and arguments tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix assertion and default case for GADT record selectors tree | commitdiff
2006-09-20 Manuel M T Chakravartymake dataConInstPat take a list of FastStrings rather... tree | commitdiff
2006-09-20 Manuel M T ChakravartyJust clean-up, no functional changes tree | commitdiff
2006-09-20 Manuel M T ChakravartyGet rid of special case for Vanilla tycon record select... tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix problem with selectors for GADT records with unboxe... tree | commitdiff
2006-09-20 Manuel M T ChakravartyMinor tidying up tree | commitdiff
2006-09-20 Manuel M T ChakravartyRemove bogus ASSERT from MkId tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix default case filling-in for GADTs tree | commitdiff
2006-09-20 Manuel M T Chakravartyfixing record selectors tree | commitdiff
2006-09-20 Manuel M T ChakravartyGADT selector bugfix, bits of cleanup tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix some GADT record selector bugs (still some remaining) tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake data con wrappers for GADTs express the user type... tree | commitdiff
2006-09-20 Manuel M T ChakravartyComments only tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend... tree | commitdiff
2006-09-20 Manuel M T Chakravartyfixed bug in product unboxing tree | commitdiff
2006-09-20 Manuel M T Chakravartyfinished product unboxing through newtypes and proper... tree | commitdiff
2006-09-20 Manuel M T ChakravartyComment tree | commitdiff
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes tree | commitdiff
2006-09-20 Manuel M T Chakravartybugs tree | commitdiff
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... tree | commitdiff
2006-09-18 Manuel M T ChakravartyType tags in import/export lists tree | commitdiff
2006-09-18 Manuel M T ChakravartyDeriving Eq for OverlapFlag again tree | commitdiff
2006-09-18 Manuel M T ChakravartyGADT pattern matching fix tree | commitdiff
2006-09-18 Manuel M T ChakravartySimplify mkDataCon slightly tree | commitdiff
2006-09-18 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-08-04 simonpj@microsoft.comComments only tree | commitdiff
2006-09-12 audreyt@audreyt.orgTake away XXXs in GADT records related code that are... tree | commitdiff
2006-09-11 simonpj@microsoft.comAdd comment tree | commitdiff
2006-09-07 simonpj@microsoft.comFix the handling of names in declaration brackets tree | commitdiff
2006-08-15 simonpj@microsoft.comMake UniqSM into a proper monad tree | commitdiff
2006-08-11 simonpj@microsoft.comImprove error message (imported from Prelude at Implici... tree | commitdiff
2006-08-11 Simon Marlowuse "Defined in" rather than "Imported from" when print... tree | commitdiff
2006-08-08 simonpj@microsoft.comRemove srcSpanStartLine/srcSpanEndLine crash tree | commitdiff
2006-07-28 Simon Marlow.hi-boot-5 is obsolete; the earliest GHC we support... tree | commitdiff
2006-07-28 Simon Marlowupdate to match .lhs-boot tree | commitdiff
2006-07-25 Simon MarlowUnbox the Unique stored in a Name tree | commitdiff
2006-07-25 Simon MarlowMake a SplitUniqSupply contain an Int# rather than... tree | commitdiff
2006-07-25 Simon MarlowGeneralise Package Support tree | commitdiff
2006-06-29 simonpj@microsoft.comRemove long-redundant FieldLabel.lhs tree | commitdiff
2006-06-24 simonpj@microsoft.comImprove RULE matching a bit more tree | commitdiff
2006-06-21 simonpj@microsoft.comArity and eta-expansion tuning tree | commitdiff
2006-05-25 simonpj@microsoft.comMake rule-matching robust to lets tree | commitdiff
2006-05-22 simonpj@microsoft.comAdd idHasRules tree | commitdiff
2006-05-17 simonpj@microsoft.comNewtype data constructors get a compulsory unfolding tree | commitdiff
2006-05-08 simonpj@microsoft.comRemove NOINLINE strictness hack tree | commitdiff
2006-04-20 Josef SvenningssonComments only tree | commitdiff
2006-04-14 simonpj@microsoft.comRecover gracefully from a Template Haskell programmers... tree | commitdiff
2006-04-07 Simon MarlowReorganisation of the source tree tree | commitdiff
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)