Normalise type families in the type of an expression
ClosedPublic

Authored by christiaanb on Apr 27 2015, 5:20 AM.

Details

Summary

Before, the type of an expression, and the type of a variable
binding that expression used to be different in GHCi. The
reason being that types of bound variables were already normalised.
Now, both are normalised.

This implements the suggestions as given in Trac Trac #10321
Also adds an expected output for test T10321

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
christiaanb updated this revision to Diff 2851.Apr 27 2015, 5:20 AM
christiaanb retitled this revision from to Normalise type families in the type of an expression.
christiaanb updated this object.
christiaanb edited the test plan for this revision. (Show Details)
christiaanb added reviewers: austin, simonpj, goldfire.
christiaanb updated the Trac tickets for this revision.
goldfire accepted this revision.Apr 27 2015, 10:42 AM
goldfire edited edge metadata.

I like.

This revision is now accepted and ready to land.Apr 27 2015, 10:42 AM

I went to merge this in (to HEAD) myself, but I don't know how to, exactly. Austin, would you mind doing it? Thanks!

simonpj accepted this revision.Apr 27 2015, 11:02 AM
simonpj edited edge metadata.

Yes I'm happy too

This revision was automatically updated to reflect the committed changes.