From: Matt Gushee <mgushee@havenrock.com>
To: caml-list@pauillac.inria.fr
Subject: Re: [Caml-list] OCaml error message
Date: Mon, 3 May 2004 12:42:09 -0600 [thread overview]
Message-ID: <20040503184209.GA15860@swordfish> (raw)
In-Reply-To: <14600.1083608359@www62.gmx.net>
On Mon, May 03, 2004 at 08:19:19PM +0200, Holger Schulz wrote:
> I've following declarations
>
> ---cut---
> type rat = int * int;;
>
> exception Denominator_Zero;;
>
> let rec ggT : (int * int) -> int = fun (x,y) -> if y = 0 then x else ggT
> (y, x mod y)
>
> let kgV : int * int -> int = fun (x,y) -> (x / ggT (x,y)) * y
>
> let kuerze : rat -> rat = function (m,n) -> if n = 0 then raise
> Denominator_Zero
> else let g=ggT (m,n) in (m div g,n div g)
> ---cut---
>
> Loading it with #use give the following error message, which I do not
> understand. Could anyone help me?
> This expression is not a function, it cannot be applied
Sure. Syntactically speaking, the expression 'm div g' appears to be a
call to function 'm' with arguments 'div' and 'g'. Of course, this
doesn't work because 'm' is an integer.
But actually I think your confusion is elsewhere. It looks like you were
trying to use 'div' as a binary operator; as far as I know, there is no
such operator. Try 'm / g' instead.
By the way, when you get error messages like this, it is helpful to pay
close attention to the *exact* position of the error--e.g., in this
case, the message gave a range of characters pointing to 'm' (and maybe
that character was underlined in the toplevel, too), so you know that
the toplevel or compiler expected 'm' to be a function.
--
Matt Gushee When a nation follows the Way,
Englewood, Colorado, USA Horses bear manure through
mgushee@havenrock.com its fields;
http://www.havenrock.com/ When a nation ignores the Way,
Horses bear soldiers through
its streets.
--Lao Tzu (Peter Merel, trans.)
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2004-05-03 18:42 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-03 18:19 Holger Schulz
2004-05-03 18:38 ` Jean-Baptiste Rouquier
2004-05-03 18:42 ` Matt Gushee [this message]
2004-05-03 18:19 Holger Schulz
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20040503184209.GA15860@swordfish \
--to=mgushee@havenrock.com \
--cc=caml-list@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).