[mercury-users] no clauses for predicate, mistaken higher-order predicate call

[David Overton]

On Fri, Apr 27, 2001 at 03:25:45AM -0700, Terrence Brannon wrote:
> Please help me obliterate this final error.
> 
> [localhost:mercury/primality/divisors] metaperl% mmc -E --infer-all divisors.m
> divisors.m:005: Error: no clauses for predicate `divisors:main/2'.
> divisors.m:010: Inferred :- pred --->(pred((io:state), (io:state)), (pred)).
> [localhost:mercury/primality/divisors] metaperl% 
> 
> ==== program follows
> 
> :- module divisors.
> :- interface.
> :- import_module io.
> 
> :- pred main(io__state::di, io__state::uo) is det.
> 
> :- implementation.
> :- import_module std_util, int, list.
> 
> main ---> prime(12).

You should only have 2 dashes in this arrow, i.e. '-->'.

-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------