diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-09-21 17:39:18 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-09-25 14:01:15 +0100 |
commit | 1b476ab55be6c2c553988cc63d8e0c5473136275 (patch) | |
tree | 3fcf1a41488ab6354dac819c280539046e763c25 /testsuite/tests/programs | |
parent | 3b4833a22596922d5e7a3f0037c960a5e230fb31 (diff) | |
download | haskell-1b476ab55be6c2c553988cc63d8e0c5473136275.tar.gz |
Improve type-error reporting
This patch does two things:
* When reporting a hole, we now include its kind if the
kind is not just '*'. This addresses Trac #14265
* When reporting things like "'a' is a rigid type varaible
bound by ...", this patch arranges to group the type variables
together, so we don't repeat the "bound by..." stuff endlessly
Diffstat (limited to 'testsuite/tests/programs')
0 files changed, 0 insertions, 0 deletions