<div dir="ltr">Hello, Mercury-users!<br><br>I'm having a bit of a problem with mostly-unique/unique modes and I'm<br>wondering if you could help me.<br><br>Is code similar to <a href="https://gist.github.com/bartosz-witkowski/8854480">https://gist.github.com/bartosz-witkowski/8854480</a><br>
possible in mercury? <br><br>My use case is a little more complicated but in the end I want to use<br>`store' from the stdlib - it seems that predicates that work on store<br>are only defined with unique insts (and not mostly-unique insts).<br>
<br>I tried to find ways to convert a `mdi` argument to `uo` one but there<br>doesn't seem to be an easy way (`unsafe_promise_unique` only works on<br>`in` inst arguments, and is to my understanding *unsafe* anyways).<br>
<br>In the end I'm wondering/searching for:<br>1. Should the stdlib store have predicates that work on mdi insts?<br>2. Is it possible to mix mostly-unique code with unique code (or does<br>mostly-unique code "infect" everything it touches)?<br>
3. Ways to solve my problem ;)<br><br>Regards,<br>Bartosz Witkowski<br></div>