[m-users.] uncaught Mercury exception using mdprof_create_feedback

[Matthias Guedemann]

Dear Paul,

> The autoparallelisation analysis scans your whole program for places
> where parallelism could help (it skips parts of the program where it's
> obvious that it won't help).  It crashes when it looks in
> euler_81_82_83_problem_set.euler_edge_81/4 which is nondeterminisic.
> It tries to calculate the cost of every goal including the disjunction
> as a whole, however it assumes that the disjunction is either a switch
> or a "semidet disjunction" which is another special case.  This
> incorrect assumption causes the analysis to crash (because a
> consistency check fails).  It might be possible to comment out the
> consistency check, but then I'd be concerned that something else would
> crash because of the same faulty assumption.  I'll see if I can fix
> the bug in the next week or so.

thank you for the explication, I had already supposed this predicate to
be the culprit. I would be great if the implementation of implicit
parallelism would support this, too. While it is obvious how to
parallelize this program manually, I'm very interested in the implicit
parallelism feature of Mercury, maybe I should have a closer look at
your thesis ...

best regards,
Matthias