2024-07-18 08:25 AEST

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




zs (developer)

Fix committed 2019 10 28.

-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