jckarter/clay — Issue #79: Better error message when type-parameter-inferring constructor cannot be used due to unbound parameters
Author: jckarter
Created: 2011-12-20 20:45:25+00:00
State: open

```
record Foo[A,B] (x:A);
```

Since parameter `B` cannot be inferred from the record's field types, the `Foo(x:A) : Foo[A, B]` constructor cannot be used. However, the error message misleads the user into thinking there is a problem with the record definition itself.