[m-rev.] fix mantis #308

Paul Bone paul at bone.id.au
Sat Feb 1 17:52:12 AEDT 2014


On Fri, Jan 31, 2014 at 03:47:05PM +1100, Zoltan Somogyi wrote:
> 
> For review by anyone.
> 

> diff --git a/tests/invalid/any_to_ground_in_ite_cond_nomax.err_exp b/tests/invalid/any_to_ground_in_ite_cond_nomax.err_exp
> new file mode 100644
> index 0000000..6136a71
> --- /dev/null
> +++ b/tests/invalid/any_to_ground_in_ite_cond_nomax.err_exp
> @@ -0,0 +1,6 @@
> +any_to_ground_in_ite_cond_nomax.m:036: In clause for `main(di, uo)':
> +any_to_ground_in_ite_cond_nomax.m:036:   in argument 1 of call to predicate `any_to_ground_in_ite_cond_nomax.p'/1:
> +any_to_ground_in_ite_cond_nomax.m:036:   scope error: attempt to bind a non-local variable inside the condition of an if-then-else.
> +any_to_ground_in_ite_cond_nomax.m:036:   Variable `X' has instantiatedness `any',
> +any_to_ground_in_ite_cond_nomax.m:036:   expected instantiatedness was `ground'.
> +For more information, recompile with `-E'.

This doesn't look like it's working.  Or perhaps there are multiple
paragraphs in each error message which are still seperated by newlines.

The reason for this request was to make it easier for other programs to
post-process the output of mmc.  For example as part of an editor/IDE one
can navigate to the locations of errors, the original request came from
someone wanting to integrate this into emacs's flymake-mode.  You and I are probably the only
people who use the error program.  What I mean is, if there are still
newlines in error messages than while the request of the --no-max-


-- 
Paul Bone
http://www.bone.id.au



More information about the reviews mailing list