projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make dicts for arbitrary type equalities
[ghc-hetmet.git] / compiler / coreSyn /
2006-12-13 andy@galois.comRemoving explicit Binary Tick Boxes; using Case instead. tree | commitdiff
2006-12-03 Ian LynaghMERGE: In hashExpr, use Word32 rather than relying... tree | commitdiff
2006-11-29 andy@galois.comTickBox representation change tree | commitdiff
2006-11-24 simonpj@microsoft.comDrop redundant parens in pretty-printing tree | commitdiff
2006-11-24 simonpj@microsoft.comImprove hashing of expressions tree | commitdiff
2006-11-06 simonpj@microsoft.comTidy up substitutions tree | commitdiff
2006-11-01 Samuel BronsonGet External Core (-fext-core) working with readline tree | commitdiff
2006-11-01 simonpj@microsoft.comMajor overhaul of the Simplifier tree | commitdiff
2006-10-25 andy@galois.coman expression with a TickBox round it is not in HNF. tree | commitdiff
2006-10-24 andy@galois.comHaskell Program Coverage tree | commitdiff
2006-10-18 simonpj@microsoft.comFix a bug in Lint (which wrongly complained when compil... tree | commitdiff
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar tree | commitdiff
2006-10-11 simonpj@microsoft.comImprove pretty-printing slightly 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-06 simonpj@microsoft.comComments and an import-trim tree | commitdiff
2006-10-05 simonpj@microsoft.comCorrect the float-coercions-out-of-let patch tree | commitdiff
2006-10-05 simonpj@microsoft.comComments and layout tree | commitdiff
2006-10-05 simonpj@microsoft.comRemove unused OccInfo (simplification) tree | commitdiff
2006-10-05 simonpj@microsoft.comTake 2 on the recursive-rule fix tree | commitdiff
2006-10-04 simonpj@microsoft.comSecond bite at the rules-only idea tree | commitdiff
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works tree | commitdiff
2006-09-29 simonpj@microsoft.comImprove pretty-printing of Core tree | commitdiff
2006-09-29 simonpj@microsoft.comAnother correction to the (subtle) exprIsConApp_maybe tree | commitdiff
2006-09-27 simonpj@microsoft.comFix exprIsConApp_maybe (wasn't dealing properly with... tree | commitdiff
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code tree | commitdiff
2006-09-20 Manuel M T ChakravartyIndexed newtypes tree | commitdiff
2006-09-20 Manuel M T ChakravartySmall refactoring tree | commitdiff
2006-09-20 Manuel M T ChakravartyMissing imports in CoreUtils tree | commitdiff
2006-09-20 Manuel M T ChakravartyInclude the existential dictionaries in dataConOrigInstPat 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 Chakravartymake dataConInstPat take a list of FastStrings rather... 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 ChakravartyFix bug in type checking interface DataAlts tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix big-lambda eta expansion, add comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix Lint for alts involving shadowing of type variables... 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 Chakravartyclean up Coercion kinding functions, rename coercionKin... 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 ChakravartyComplete the evidence generation for GADTs tree | commitdiff
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... tree | commitdiff
2006-09-18 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-09-06 simonpj@microsoft.comAdd comment for the invariant that DataAlt is never... tree | commitdiff
2006-08-06 Manuel M T ChakravartyFix a lint bug with coercions tree | commitdiff
2006-08-06 Manuel M T ChakravartyResolve conflict in MkExternalCore tree | commitdiff
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-07-26 simonpj@microsoft.comMake mkApps etc infix, and left-associative tree | commitdiff
2006-09-07 simonpj@microsoft.comComments only tree | commitdiff
2006-09-06 simonpj@microsoft.comMake record selection look cheap tree | commitdiff
2006-08-14 simonpj@microsoft.comImprove exprIsCheap tree | commitdiff
2006-07-28 Simon Marlow.hi-boot-5 is obsolete; the earliest GHC we support... tree | commitdiff
2006-07-25 Simon MarlowGeneralise Package Support tree | commitdiff
2006-07-12 simonpj@microsoft.comExperimental flag -fdicts-cheap tree | commitdiff
2006-07-06 Jan RochelDon't z-encode module names in external-core output tree | commitdiff
2006-07-02 Jan RochelZ-Encode external-core output tree | commitdiff
2006-07-02 Jan RochelAdd %local-tag to external core output tree | commitdiff
2006-06-23 Simon Marlowthe unlifted kind tree | commitdiff
2006-06-21 simonpj@microsoft.comArity and eta-expansion tuning tree | commitdiff
2006-06-05 simonpj@microsoft.comRemove InlinePlease and add inline function and RULE tree | commitdiff
2006-05-25 simonpj@microsoft.comMake rule-matching robust to lets tree | commitdiff
2006-05-25 simonpj@microsoft.comFix egregious and long-standing tidying bug tree | commitdiff
2006-05-22 simonpj@microsoft.comAdd deShadowBinds tree | commitdiff
2006-05-17 simonpj@microsoft.comImprove pretty-printing slightly tree | commitdiff
2006-05-04 simonpj@microsoft.comPretty printing instance for Unfolding tree | commitdiff
2006-04-20 Josef SvenningssonExtcore can now handle data types without constructors tree | commitdiff
2006-04-12 simonpj@microsoft.comImprove pruning of case alternatives to account for... tree | commitdiff
2006-04-07 Simon MarlowReorganisation of the source tree tree | commitdiff
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)