[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: beginner's problem


> I get this parse-error message:
>    Expecting an expression
>    No resolution for fact_loop with arguments of types:
>      m : naturalnumbers.nat
>      1 : integers.posint
> I've spent quite a while trying to figure out what's going on, but
> can't.  Please advise.

Your function is called fac_loop, not fact_loop.