<div dir="ltr">Yes! I use WuickCheck and Tasty/HUnit all the time when I hack about with Haskell.<div>I must admit that until seeing Daneil-s question, I hadn't even read the debugger portion of the manual! That's on for this evening!</div><div><br></div><div>There was a great quote from somebody once along the lines of, "If you are in the debugger, you failed"...I kind of agree with that but there will always be times you need it. And the SWI debugger is a most excellent learning tool too!</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 2 Jul 2019 at 10:53, Richard O'Keefe <<a href="mailto:raoknz@gmail.com">raoknz@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 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" 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>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_-2487473486750111241gmail-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_-2487473486750111241gmail-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> </blockquote></div>