Issue 82 in teyjus: Problem with polymorphic constants

[tey...@googlecode.com]

Status: New
Owner: ----

New issue 82 by antonis....@gmail.com: Problem with polymorphic constants
http://code.google.com/p/teyjus/issues/detail?id=82

What steps will reproduce the problem?

Compiling the following signature gives the wrong type for test1.

type test1 list A -> list B -> list B.
type test2 list A -> list B.


What is the expected output? What do you see instead?

Querying the type of test1 in the simulator, I'm getting
(list A) -> (list A) -> (list A)
instead of the expected
(list A) -> (list B) -> (list B)

The type for test2 is correct though.


What version of the product are you using? On what operating system?

I'm using SVN revision 1127 (current as of Sep 3rd, 2013) on Ubuntu.

Please provide any additional information below.


--
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

[tey...@googlecode.com]

Comment #1 on issue 82 by antonis....@gmail.com: Problem with polymorphic
constants
http://code.google.com/p/teyjus/issues/detail?id=82

I should add that this is not particular to list; any type constructor of
the same kind (type -> type) shows the same behavior.

[tey...@googlecode.com]

Updates:
Owner: fafo...@gmail.com
Labels: Priority-High

Comment #2 on issue 82 by fafo...@gmail.com: Problem with polymorphic
constants
http://code.google.com/p/teyjus/issues/detail?id=82

(No comment was entered for this change.)