2024-12-03 00:40 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000488mercuryBugpublic2019-10-28 05:02
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
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

-Relationships
+Relationships

-Notes

~0001055

zs (developer)

Fix committed 2019 10 28.
+Notes

-Issue History
Date Modified Username Field Change
2019-10-27 17:14 juliensf New Issue
2019-10-27 17:24 zs Assigned To => zs
2019-10-27 17:24 zs Status new => assigned
2019-10-28 05:02 zs Status assigned => resolved
2019-10-28 05:02 zs Resolution open => fixed
2019-10-28 05:02 zs Note Added: 0001055
+Issue History