[mercury-users] Maths and contexts.

[Paul Bone]

On Sat, Apr 21, 2012 at 01:56:25AM +1000, Mark Brown wrote:
> 
> Julien said it gives you compile-time checking, not that it eliminates
> run-time checking.  You'll still need run-time checks if two contexts
> don't originate from the same call to make_context.
> 

AIUI the existential types cannot be unified.

    some [C] in C = some [C] in C  <->  A = B.

Therefor, add(dec(C), dec(C)) = dec(C). cannot be called with two different
existentially quantified types.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: Digital signature
URL: <http://lists.mercurylang.org/archives/users/attachments/20120421/b1a43a68/attachment.sig>