[m-rev.] fix mantis #308

Paul Bone paul at bone.id.au
Sat Feb 1 18:08:06 AEDT 2014


On Sat, Feb 01, 2014 at 05:52:12PM +1100, Paul Bone wrote:
> 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-
> 

I'm sorry, I accidently sent a draft message, please disregard this e-mail.

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



More information about the reviews mailing list