Commits

Show all
Author Commit Message Labels Comments Date
Max Bolingbroke
Cleverer serialization for IfExtName so IfaceType can be dumber
Branches
known-key-serialization
Max Bolingbroke
Change the way IfaceExtName is serialized so (most) wired-in names get special representation The only exceptions are the names of implicit parameter TyCons and the Any tycons, because these form infinite families and do not get special representation as Names.
Branches
known-key-serialization
Max Bolingbroke
Fix associated type default instantiation check (#5481)
Ian Lynagh
Fix warnings in codeGen/CgUtils.hs
Ian Lynagh
Whitespace only in codeGen/CgUtils.hs
Ian Lynagh
Fix warnings in basicTypes/Literal.lhs
Ian Lynagh
Whitespace only in basicTypes/Literal.lhs
Max Bolingbroke
Solve irreducible evidence from itself
Manuel M T Chakravarty
Adapt vectoriser to disappearing PredTy
Manuel M T Chakravarty
Report bindings that cannot be vectorised - Toplevel bindings that cannot be vectorised are reported as a warning - '-ddump-vt-trace' has even more information about unvectorised code - Fixed some documentation
Max Bolingbroke
Merge branch 'no-pred-ty' Conflicts: compiler/iface/BuildTyCl.lhs compiler/iface/MkIface.lhs compiler/iface/TcIface.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/types/Class.lhs compiler/utils/Util.lhs
Max Bolingbroke
Move exprIsConApp_maybe to CoreSubst so we can use it in VSO. Fix VSO bug with unlifted let bindings.
Simon Peyton Jones
Comments, and rename FactTuple to ConstraintTuple
Simon Peyton Jones
Refactoring and code moving-around, following Max's AT-default patch
Simon Peyton Jones
Merge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones
Merge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones
Obey the exprArity invariants! Fixes Trac #5441 We were giving arity 2 to a function whose type was Int -> Any That contradicts the exprArity invariant (see Note [exprArity invariant] in CoreArity), and in turn led to function whose actually code-generated arity was different that advertised in the interface file. Result: seg-fault city.
Simon Peyton Jones
Merge branch 'master' of http://darcs.haskell.org/ghc
Max Bolingbroke
Documentation for associated type instance defaults
Max Bolingbroke
Implement associated type defaults Basically, now you can write: class Cls a where type Typ a type Typ a = Just a And now if an instance does not specify an explicit associated type instance, one will be generated afresh based on that default. So for example this instance: instance Cls Int where Will be equivalent to this one: instance Cls Int where type Typ Int = Just Int
Max Bolingbroke
Revert "Get rid of associated-type default declarations" This reverts commit 5e102e64d6e581e3ea1f290547fc4be6fce20a00.
Ian Lynagh
Add deepseq as a core package; part of #5468
Ian Lynagh
Add deepseq as a core package
Ian Lynagh
Fix typos in comments
dafis
Correct a few typos
dafis
Added repack command to sync-all
dafis
Whitespace only
Simon Peyton Jones
Nuke isCertainlyPredReprTy
Simon Peyton Jones
Comments and layout
Simon Peyton Jones
Add Constraint as a legitmiate tycon in Kinds
  1. Prev
  2. Next