Take subtype constraints into account when setting subtype bounds

quangis / transforge

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

GNU General Public License v3.0

2 stars 0 forks source link

Take subtype constraints into account when setting subtype bounds #92

Open nsbgn opened 2 years ago

nsbgn commented 2 years ago

We must be able to deduce from...

pi1: r ** x [x < Val, r << {R(x, _), R(x * _, _)}]

... that, when pi1 is applied to R(Obj * Loc, A), we get Obj: x = Obj * Loc would not satisfy.