type information ignored

[sternk]

Reported by maeder and assigned to maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/383

---

type ST state a := state ->? a * state
vars  x: a;
. ret x : ST state a = \ s : state . (x, s)

the type information is not used to allow the unification of m a with State state a

[sternk]

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/383#comment:2

---

I tried hard to fix this but but I did not succeed. So I have to postpone this issue. The type information is not ignored but either the alias type is expanded to early or constraint resolution following shape unification crashes.

[sternk]

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/383#comment:6

---

move to milestone 0.9 as this example is given in the overview

[sternk]

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/383#comment:7

---

cannot do this soon, there is also #571 (and #569) that is relevant for the overview