Mercury Bugs - mercury
View Issue Details
0000488mercuryBugpublic2019-10-27 17:142019-10-28 05:02
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000488: Variable as pred name in predmode decl causes generates incorrect error message
DescriptionUsing a variable as predicate name in a predmode decl, for example:

    :- pred MyPred(int::in, int::out) is semidet.

results in the following:

   foo.m:007: Error: some but not all arguments have modes.
   foo.m:007: The argument without a mode is the first.

Using a variable in a separate predicate or mode declaration for a predicate results in a
correct error message.

TagsNo tags attached.
Attached Files

2019-10-28 05:02   
Fix committed 2019 10 28.

Issue History
2019-10-27 17:14juliensfNew Issue
2019-10-27 17:24zsAssigned To => zs
2019-10-27 17:24zsStatusnew => assigned
2019-10-28 05:02zsStatusassigned => resolved
2019-10-28 05:02zsResolutionopen => fixed
2019-10-28 05:02zsNote Added: 0001055