<div dir="auto">I've set up a Gentoo-based (amd64 branch) Docker image with a functional version of Mercury (current github dev code with a few weeks' lag) and common dev tools. I'll be uploading it to github in the first days of January just in case it should be of any use.<div dir="auto">Fabrice Nicol <div dir="auto"> </div></div></div> <div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le mar. 21 déc. 2021 à 5:21 PM, <<a href="mailto:users-request@lists.mercurylang.org">users-request@lists.mercurylang.org</a>> a écrit : </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Send users mailing list submissions to <a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a> To subscribe or unsubscribe via the World Wide Web, visit <a href="https://lists.mercurylang.org/listinfo/users" rel="noreferrer noreferrer" target="_blank">https://lists.mercurylang.org/listinfo/users</a> or, via email, send a message with subject or body 'help' to <a href="mailto:users-request@lists.mercurylang.org" target="_blank" rel="noreferrer">users-request@lists.mercurylang.org</a> You can reach the person managing the list at <a href="mailto:users-owner@lists.mercurylang.org" target="_blank" rel="noreferrer">users-owner@lists.mercurylang.org</a> When replying, please edit your Subject line so it is more specific than "Re: Contents of users digest..." Today's Topics: 1. Re: Mercury Development Docker, and Bisecting Debugger? (Paul Bone) 2. Re: Mercury Development Docker, and Bisecting Debugger? (Volker Wysk) 3. Re: Mercury Development Docker, and Bisecting Debugger? (Zoltan Somogyi) 4. Re: Mercury Development Docker, and Bisecting Debugger? (Volker Wysk) 5. Useful predicates for loops of IO actions (Volker Wysk) 6. Re: Useful predicates for loops of IO actions (Zoltan Somogyi) 7. Possiblt stupid list question.... (Sean Charles (emacstheviking)) 8. Re: Useful predicates for loops of IO actions (Volker Wysk) ---------------------------------------------------------------------- Message: 1 Date: Tue, 21 Dec 2021 12:13:56 +1100 From: "Paul Bone" <<a href="mailto:paul@bone.id.au" target="_blank" rel="noreferrer">paul@bone.id.au</a>> To: Prolog Rules <<a href="mailto:prologrules@gmail.com" target="_blank" rel="noreferrer">prologrules@gmail.com</a>> Cc: <a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a> Subject: Re: [m-users.] Mercury Development Docker, and Bisecting Debugger? Message-ID: <20211221011356.GA16396@sulfur> Content-Type: text/plain; charset=us-ascii Hi, I published a docker image here: <a href="https://hub.docker.com/r/paulbone/mercury" rel="noreferrer noreferrer" target="_blank">https://hub.docker.com/r/paulbone/mercury</a> It's built around the debian packages. If you're using a Debian/Ubuntu system just use those directly <a href="http://dl.mercurylang.org/deb/" rel="noreferrer noreferrer" target="_blank">http://dl.mercurylang.org/deb/</a> Pretty sure this is a slightly older version of Mercury. Updating it is on my TODO list ;-) Good luck. -- Paul Bone <a href="http://paul.bone.id.au" rel="noreferrer noreferrer" target="_blank">http://paul.bone.id.au</a> ------------------------------ Message: 2 Date: Tue, 21 Dec 2021 08:56:06 +0100 From: Volker Wysk <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> To: Peter Wang <<a href="mailto:novalazy@gmail.com" target="_blank" rel="noreferrer">novalazy@gmail.com</a>>, Prolog Rules <<a href="mailto:prologrules@gmail.com" target="_blank" rel="noreferrer">prologrules@gmail.com</a>> Cc: <a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a> Subject: Re: [m-users.] Mercury Development Docker, and Bisecting Debugger? Message-ID: <<a href="mailto:e6d959f0e220664fbebbcfeaee15e83a4a010724.camel@volker-wysk.de" target="_blank" rel="noreferrer">e6d959f0e220664fbebbcfeaee15e83a4a010724.camel@volker-wysk.de</a>> Content-Type: text/plain; charset="utf-8" Am Dienstag, dem 21.12.2021 um 11:34 +1100 schrieb Peter Wang: > asm_fast.gc.decldebug.stseg is the one you will need to use the > declarative debugger. Is the declarative debugger different from the normal debugger, "mdb"? Bye, Volker -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: This is a digitally signed message part URL: <<a href="http://lists.mercurylang.org/archives/users/attachments/20211221/866a50f2/attachment-0001.sig" rel="noreferrer noreferrer" target="_blank">http://lists.mercurylang.org/archives/users/attachments/20211221/866a50f2/attachment-0001.sig</a>> ------------------------------ Message: 3 Date: Tue, 21 Dec 2021 19:08:16 +1100 (AEDT) From: "Zoltan Somogyi" <<a href="mailto:zoltan.somogyi@runbox.com" target="_blank" rel="noreferrer">zoltan.somogyi@runbox.com</a>> To: "Volker Wysk" <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> Cc: users <<a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a>> Subject: Re: [m-users.] Mercury Development Docker, and Bisecting Debugger? Message-ID: <E1mzaC0-00061h-1b@rmmprod06.runbox> Content-Type: text/plain; charset="utf-8" On Tue, 21 Dec 2021 08:56:06 +0100, Volker Wysk <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> wrote: > Am Dienstag, dem 21.12.2021 um 11:34 +1100 schrieb Peter Wang: > > asm_fast.gc.decldebug.stseg is the one you will need to use the > > declarative debugger. > > Is the declarative debugger different from the normal debugger, "mdb"? Yes and no. It is invoked from within mdb, via the "dd" command, but it is quite different. Within the declarative debugger, the debugger itself decides what to look at next, though you can control it. If you know military terminology, think of yje as the debugger being a tactician that executes your chosen strategy. Also, to make full use of the declarative debugger, you have to compile your program in a grade whose name contains "decldebug", not just "debug". This puts into the executable the extra info that the declarative debugger can use but non-dd mdb does not. See section 7.11 of the Mercury users' guide. Zoltan. ------------------------------ Message: 4 Date: Tue, 21 Dec 2021 09:11:24 +0100 From: Volker Wysk <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> To: <a href="mailto:zoltan.somogyi@runbox.com" target="_blank" rel="noreferrer">zoltan.somogyi@runbox.com</a> Cc: users <<a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a>> Subject: Re: [m-users.] Mercury Development Docker, and Bisecting Debugger? Message-ID: <<a href="mailto:836b8a0960fab5c72a583f239245956709001a55.camel@volker-wysk.de" target="_blank" rel="noreferrer">836b8a0960fab5c72a583f239245956709001a55.camel@volker-wysk.de</a>> Content-Type: text/plain; charset="utf-8" Am Dienstag, dem 21.12.2021 um 19:08 +1100 schrieb Zoltan Somogyi: > > On Tue, 21 Dec 2021 08:56:06 +0100, Volker Wysk <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> wrote: > > > Am Dienstag, dem 21.12.2021 um 11:34 +1100 schrieb Peter Wang: > > > asm_fast.gc.decldebug.stseg is the one you will need to use the > > > declarative debugger. > > > > Is the declarative debugger different from the normal debugger, "mdb"? > > Yes and no. It is invoked from within mdb, via the "dd" command, > but it is quite different. Within the declarative debugger, the debugger itself > decides what to look at next, though you can control it. If you know military > terminology, think of yje as the debugger being a tactician that executes > your chosen strategy. This sounds interesting. :-) > Also, to make full use of the declarative debugger, you have to compile > your program in a grade whose name contains "decldebug", not just > "debug". This puts into the executable the extra info that the declarative > debugger can use but non-dd mdb does not. > > See section 7.11 of the Mercury users' guide. Okay, thanks. I'll read the user's guide. Cheers, Volker -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: This is a digitally signed message part URL: <<a href="http://lists.mercurylang.org/archives/users/attachments/20211221/35e21661/attachment-0001.sig" rel="noreferrer noreferrer" target="_blank">http://lists.mercurylang.org/archives/users/attachments/20211221/35e21661/attachment-0001.sig</a>> ------------------------------ Message: 5 Date: Tue, 21 Dec 2021 16:18:48 +0100 From: Volker Wysk <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> To: Mercury Users <<a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a>> Subject: [m-users.] Useful predicates for loops of IO actions Message-ID: <<a href="mailto:02f305e17818d6170a68b98855a3d85b70c7d5b5.camel@volker-wysk.de" target="_blank" rel="noreferrer">02f305e17818d6170a68b98855a3d85b70c7d5b5.camel@volker-wysk.de</a>> Content-Type: text/plain; charset="utf-8" Hi Mercury developers! I'm using four meta-predicates which deal with loops and IO, and I find them useful. Maybe you want to include them in the Mercury libraries? They correspond to map, foldl and filter, but they additonally thread through an IO state. They are the same as Haskell's "mapM", "mapM_", "foldM" and "filterM" combinators. Here are the IO-versions for map. In the first one, the IO-predicate's result is collected and returned as a list. In the second one, the IO- predicate doesn't have a return value. It's just the threading of the IO state that's is wanted: :- pred map_io(pred(T, U, io, io)::in(pred(in, out, di, uo) is det), list(T)::in, list(U)::out, io::di, io::uo) is det. :- pred map_io(pred(T, io, io)::in(pred(in, di, uo) is det), list(T)::in, io::di, io::uo) is det. This is the IO-version of foldl: :- pred fold_io(pred(T, A, A, io, io)::in(pred(in, in, out, di, uo) is det), list(T)::in, A::in, A::out, io::di, io::uo) is det. And the IO version of list.filter/4: :- pred filter_io( pred(T, bool, io, io)::in(pred(in, out, di, uo) is det), list(T)::in, list(T)::out, list(T)::out, io::di, io::uo) is det. If you'd like to include these predicates, I'd provide proper comments and, of course, the implementation. Happy hacking, Volker -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: This is a digitally signed message part URL: <<a href="http://lists.mercurylang.org/archives/users/attachments/20211221/5fc5c861/attachment-0001.sig" rel="noreferrer noreferrer" target="_blank">http://lists.mercurylang.org/archives/users/attachments/20211221/5fc5c861/attachment-0001.sig</a>> ------------------------------ Message: 6 Date: Wed, 22 Dec 2021 02:51:28 +1100 (AEDT) From: "Zoltan Somogyi" <<a href="mailto:zoltan.somogyi@runbox.com" target="_blank" rel="noreferrer">zoltan.somogyi@runbox.com</a>> To: "Volker Wysk" <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> Cc: Mercury Users <<a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a>> Subject: Re: [m-users.] Useful predicates for loops of IO actions Message-ID: <E1mzhQG-00057t-T7@rmmprod06.runbox> Content-Type: text/plain; charset="utf-8" On Tue, 21 Dec 2021 16:18:48 +0100, Volker Wysk <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> wrote: > I'm using four meta-predicates which deal with loops and IO, and I find them > useful. Maybe you want to include them in the Mercury libraries? Three out of the four are already there, in more general forms. Instead of the last pair of arguments required to be I/O states, they can be any type, and their modes do not have to be di/uo; they can be e.g. in/out. > :- pred map_io(pred(T, U, io, io)::in(pred(in, out, di, uo) is det), > list(T)::in, > list(U)::out, > io::di, io::uo) > is det. This is list.map_foldl. > :- pred map_io(pred(T, io, io)::in(pred(in, di, uo) is det), > list(T)::in, > io::di, io::uo) > is det. This is list.foldl. > This is the IO-version of foldl: > > :- pred fold_io(pred(T, A, A, io, io)::in(pred(in, in, out, di, uo) is det), > list(T)::in, > A::in, > A::out, > io::di, io::uo) > is det. This is list.foldl2. > And the IO version of list.filter/4: > > :- pred filter_io( > pred(T, bool, io, io)::in(pred(in, out, di, uo) is det), > list(T)::in, > list(T)::out, > list(T)::out, > io::di, io::uo) > is det. This is not in the Mercury standard library, and I don't think I have ever needed a predicate like this. (If I had, I *would* have added it to the library.) > If you'd like to include these predicates, I'd provide proper comments and, > of course, the implementation. Thanks, but that is not necessary; for predicate signatures like this, the code practically writes itself. Zoltan. ------------------------------ Message: 7 Date: Tue, 21 Dec 2021 16:21:06 +0000 From: "Sean Charles (emacstheviking)" <<a href="mailto:objitsu@gmail.com" target="_blank" rel="noreferrer">objitsu@gmail.com</a>> To: users <<a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a>> Subject: [m-users.] Possiblt stupid list question.... Message-ID: <<a href="mailto:F298BCE6-AEE9-4C24-85B3-A7221E532F7B@gmail.com" target="_blank" rel="noreferrer">F298BCE6-AEE9-4C24-85B3-A7221E532F7B@gmail.com</a>> Content-Type: text/plain; charset=utf-8 If I have a list of strings I can use string.join_list(Separator, Strings) but if I have a list of things, and I want to separate them all with a list of another thing within the same type…? I have a formatted output system, it encapsulates text in various type constructors t(string) tnl(string) etc so given a list [ t(“arg1”), t(“arg2”) ] how do I arrive at [ t(“arg1”), t(“, “), t(“arg2”) ] I COULD introduce a new type constructor called csv() but …. just asking for a friend etc. Thanks Sean ------------------------------ Message: 8 Date: Tue, 21 Dec 2021 17:21:22 +0100 From: Volker Wysk <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> To: <a href="mailto:zoltan.somogyi@runbox.com" target="_blank" rel="noreferrer">zoltan.somogyi@runbox.com</a> Cc: Mercury Users <<a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a>> Subject: Re: [m-users.] Useful predicates for loops of IO actions Message-ID: <<a href="mailto:11e856719255a98c9723c3d9c5bc537ecf0bf503.camel@volker-wysk.de" target="_blank" rel="noreferrer">11e856719255a98c9723c3d9c5bc537ecf0bf503.camel@volker-wysk.de</a>> Content-Type: text/plain; charset="utf-8" Am Mittwoch, dem 22.12.2021 um 02:51 +1100 schrieb Zoltan Somogyi: > > On Tue, 21 Dec 2021 16:18:48 +0100, Volker Wysk <<a href="mailto:post@volker-wysk.de" target="_blank" rel="noreferrer">post@volker-wysk.de</a>> wrote: > > I'm using four meta-predicates which deal with loops and IO, and I find them > > useful. Maybe you want to include them in the Mercury libraries? > > Three out of the four are already there, in more general forms. Instead of > the last pair of arguments required to be I/O states, they can be any type, > and their modes do not have to be di/uo; they can be e.g. in/out. Now I'm feeling bashful... :) In the future, I'll make it a habit to read the documentation more thoroughly. It's, in part, because I didn't fully understand what was meant by "accumulator". (I have a different understanding of it). Bye, Volker -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 833 bytes Desc: This is a digitally signed message part URL: <<a href="http://lists.mercurylang.org/archives/users/attachments/20211221/f903cf12/attachment.sig" rel="noreferrer noreferrer" target="_blank">http://lists.mercurylang.org/archives/users/attachments/20211221/f903cf12/attachment.sig</a>> ------------------------------ Subject: Digest Footer _______________________________________________ users mailing list <a href="mailto:users@lists.mercurylang.org" target="_blank" rel="noreferrer">users@lists.mercurylang.org</a> <a href="https://lists.mercurylang.org/listinfo/users" rel="noreferrer noreferrer" target="_blank">https://lists.mercurylang.org/listinfo/users</a> ------------------------------ End of users Digest, Vol 88, Issue 6 ************************************ </blockquote></div>