delta/haskell.git, branch wip/T8592

Use PredOrigin in FunDeps.lhs

2013-12-03T12:19:14+00:00

Elaborate "deriving" error messages

2013-12-03T10:42:55+00:00

If "deriving (C)" fails, it will now, if possible, indicate which
particular field of which constructor has caused the failure. (This
fixes #8576)

Refactor: Origin of inferred Thetas

2013-12-03T08:57:04+00:00

When doing non-standalone deriving, annotate each individual
unsimplified constraint with its own CtOrigin. This is just the
refactoring, so the CtOrigin is still CtDeriv in each case.

Some popular typos in comments

2013-12-02T22:05:43+00:00

Note [HyperStr and Use demands]

2013-12-02T18:42:25+00:00

This note is a summary of an explanation by SPJ to me.

Move FunDeps to typecheck

2013-12-02T18:42:25+00:00

That’s where all its users are...

Fix location of spliced-in role annotations.

2013-12-02T18:02:08+00:00

Rejig rejigConRes & friends, doing role checks in a second pass.

2013-12-02T16:42:16+00:00

This commit is just a refactoring, intended to make the use of
rejigConRes (which sorts out the return types of GADT-like constructors)
less delicate. The idea is that, if we perform role checking in a
second top-level pass, we can use checkValidDataCon to check for
valid return types. Previously, checking roles would force the
rejigConRes thunk before we knew that rejigConRes was safe to call!

Remove dead code orphaned by implementing GND with `coerce`.