<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace">It's a real pity that the Mercury port of QuickCheck is broken</div><div class="gmail_default" style="font-family:monospace,monospace">and that there is no Mercury port of SmallCheck. I have found</div><div class="gmail_default" style="font-family:monospace,monospace">in Haskell that using these test kits is a *wonderful*</div><div class="gmail_default" style="font-family:monospace,monospace">replacement for debugging.</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 2 Jul 2019 at 21:27, emacstheviking <<a href="mailto:objitsu@gmail.com">objitsu@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi Daniel,<div><br></div><div>I have a feeling that "printf debugging" is still viable!</div><div><br></div><div>Like I said, I use Emacs and that mode for editing and it has a shortcu key to quickly compile the buffer and also run the file if it is self-contained but I am playing with the foreign function stuff to build a wrapper around librabbitmq so I have to build it from the command line but it's no big deal.</div><div><br></div><div>I believe there *is* a mercury debugger as I have seen reference to things here and there, I can only refer you to chapter 7 in the manual: (I've not used the emacs interface to it)</div><div><br></div><div><a href="https://www.mercurylang.org/information/doc-latest/mercury_user_guide/Debugging.html#Debugging" target="_blank">https://www.mercurylang.org/information/doc-latest/mercury_user_guide/Debugging.html#Debugging</a><br></div><div><br></div><div>As a Mercury n00b myself but with several years of intermittent Prolog experience, the switch to Mercury is very interesting in that it makes you more aware of the deerminism and modes of your predicates. And a function is a predicate, remember that!<br></div><div><br></div><div>Hope that helps a bit.</div><div><br></div><br class="gmail-m_-4327815389612345972m_-1790150684067692198gmail-Apple-interchange-newline"><div>Sean.</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 2 Jul 2019 at 09:53, Daniel Gross <<a href="mailto:grossd18@gmail.com" target="_blank">grossd18@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hi Sean,</div><div><br></div><div>Thanks. <br></div><div><br></div><div>So, how do you debug your code ... by adding inline writes ...<br></div><div><br></div><div>I see step by step tracing of a program / debugging as part of the learning opportunity during problem solving.<br></div><div><br></div><div>Would emacs be the only way to get a good debugging view -- i understand that there also exists an eclipse plugin -- but it looks dated. <br></div><div><br></div><div>thanks,</div><div><br></div><div>Daniel<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jul 2, 2019 at 11:46 AM emacstheviking <<a href="mailto:objitsu@gmail.com" target="_blank">objitsu@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi Daniel,<div><br></div><div>O too am learning Mercury from using Prolog since 2012...and to be honest, I use to things daily. Mostly I use Emacs and metal-mercury-mode but if that sounds a bit daunting I can also highly recommened using Microsofts VSCode (not visual studio). It has a mercury plugin that does syntax highlighting and that's all but that's enough.</div><div><br></div><div><a href="https://github.com/ahungry/metal-mercury-mode" target="_blank">https://github.com/ahungry/metal-mercury-mode</a><br></div><div><br></div><div><a href="https://marketplace.visualstudio.com/items?itemName=brendanzab.mercury" target="_blank">https://marketplace.visualstudio.com/items?itemName=brendanzab.mercury</a><br></div><div><br></div><div>I am not sure about the debugging aspect as I have not had cause to use one yet.</div><div><br></div><div>All thebest,</div><div>Sean.</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 2 Jul 2019 at 09:21, Daniel Gross <<a href="mailto:grossd18@gmail.com" target="_blank">grossd18@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hello,</div><div><br></div><div>I am new to Mercury and have done some development work in Prolog. I and am very interested in trying this out -- possibly, as an alternative to C / C++ coding (i.e. to generate high level C code). <br></div><div><br></div><div>Is there a tutorial that shows how to set up a development environment and how best to work -- i like interactive work approaches (IDEs) with visual debuggers -- is this possible to do as well?</div><div><br></div><div>thanks,</div><div><br></div><div>Daniel<br></div><div><br></div></div> _______________________________________________<br> users mailing list<br> <a href="mailto:users@lists.mercurylang.org" target="_blank">users@lists.mercurylang.org</a><br> <a href="https://lists.mercurylang.org/listinfo/users" rel="noreferrer" target="_blank">https://lists.mercurylang.org/listinfo/users</a><br> </blockquote></div> </blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail-m_-4327815389612345972gmail-m_-1790150684067692198gmail-m_3657851360130474499gmail-m_-6020279587394831773gmail_signature"><div dir="ltr"><div><div dir="ltr"><pre cols="72">-- Dr. Daniel Gross <a href="http://www.linkedin.com/in/grossd18" target="_blank">http://www.linkedin.com/in/grossd18</a><br><br></pre><pre cols="72">“Predicting rain doesn’t count. Building arks does.” — Warren Buffett<br></pre> </div></div></div></div> </blockquote></div> _______________________________________________<br> users mailing list<br> <a href="mailto:users@lists.mercurylang.org" target="_blank">users@lists.mercurylang.org</a><br> <a href="https://lists.mercurylang.org/listinfo/users" rel="noreferrer" target="_blank">https://lists.mercurylang.org/listinfo/users</a><br> </blockquote></div>