project-m36 icon indicating copy to clipboard operation
project-m36 copied to clipboard

Published 20 hours ago • verified publisher icon agentm

Enforce Isomorphic schema contraints

Open jmatsushita opened this issue 6 years ago • 1 comments

Hi there,

I have some time to look again at project-m36 and tried isomorphic schemas again launching off what I had tried in https://github.com/agentm/project-m36/issues/223#issuecomment-436585971 from the example.

I went a bit deeper and looked at the code for IsoRestrict. So the predicate for IsoRestrict actually doesn't do anything (yet?).

I also saw your issue https://github.com/agentm/project-m36/issues/55 and it seems that at the time, relExprMorph didn't return an Either. Now that it does, should the isomorphic schema constraints be enforced here?

jmatsushita avatar May 17 '19 10:05 jmatsushita

Admittedly, I haven't touched the isomorphic schema code in a while, so I may be rusty in my understanding, but it is in place, so I expect it to work and there is test coverage.

I think that #55 is a corner case. Are you hitting this case in your testing?

agentm avatar May 19 '19 16:05 agentm