Issue 79 in teyjus: Problem with hidden polymorphic type variables

[tey...@googlecode.com]

Status: Accepted
Owner: fafo...@gmail.com
Labels: Priority-High

New issue 79 by fafo...@gmail.com: Problem with hidden polymorphic type
variables
http://code.google.com/p/teyjus/issues/detail?id=79

The following code:

====.sig=====
kind foo type.
type bar A -> foo.
type p foo -> o.

====.mod=====
p (bar X).



gives for the following queries:
?- p (bar X).

The answer substitution:
X = X



?- sigma X\ p (bar X).

no (more) solutions


whereas it should be the same behavior for both cases.

Notice that:
- it also fails with pi X\ p (bar X)
- this is the combination of polymorphism and a cast which hides the type.
If you remove one of this element this is the same behavior.




--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings