PR#1314: kost moved PR#1314 from incoming to engine

[Raphael Collet]

Konstantin Popov wrote:
> 
> I don't think this is a problem with the exception, but rather an
> incomplete implementation of unification wrt exception "pretty
> pritting". Executing the expanded code line-by-line:
> 
> declare Equation1 OpenRecord1 Label1 UnnestApply1 in Equation1 = a(b: 1 c: 2)
> Label1 = j
> UnnestApply1 = 0
> {RecordC.tellSize Label1 UnnestApply1 OpenRecord1}
> {Show {System.eq Equation1 OpenRecord1}}
> Equation1 = OpenRecord1
> {Show {System.eq Equation1 OpenRecord1}}
> 
> illustrates that it actually leaves 'OpenRecord1' bound to Equation1.

Okay, now I see.

> While this is legitimate behaviour from the language point of view,

???  Why would this be legitimate behavior?  I disagree with this.

> it is not very helpful when it comes to error messages.

Cheers,

raph