Re: [m-users.] IO argument clobbering
"Zoltan Somogyi" <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
On 2023-07-17 16:27 +02:00 CEST, "Sean Charles (emacstheviking)" <[email protected]> wrote: > :- type callback == (pred(world, world, io, io)). > :- inst callback == (pred(in, out, di, uo) is det). > > :- pred run_loop( > callback::in, world::in, world::out, io::di, io::uo > ) is det. Without compileable example code I cannot be sure, but I think the problem is the "callback::in" in the declaration of run_loop. What happens when you replace it with "callback:in(callback)"? The mode checker needs this to tell it the mode of the higher order arg. Zoltan. _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users