From: Jeremy Yallop <jeremy.yallop@ed.ac.uk>
To: Ralph Douglass <ralph@grayskies.net>
Cc: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] unused variable error with objects
Date: Thu, 20 Mar 2008 13:58:12 +0000 [thread overview]
Message-ID: <47E26D74.8040109@ed.ac.uk> (raw)
In-Reply-To: <71767b800803200640i291c837fkb7d36e06f1415ea9@mail.gmail.com>
Ralph Douglass wrote:
> With labeled functions, I usually do something like ~snoo:_, but it does
> not work in this exampled with methods:
> ---
> class foo = object
> method bar ~(snoo : string):_ = ()
> end;;
In this case the ':_' denotes a type annotation, using the "any-type"
expression '_'. You're declaring the return type of the method, as
you'll see if you change the annotation to something incompatible with
unit, such as
class foo = object
method bar ~(snoo : string):int = ()
end
> On a whim, I did the following, which surprisingly worked:
>
> class foo = object
> method bar ~(_snoo : string) = ()
> end;;
This works because the "unused variables" warning is disabled for
variables which start with an underscore. It's a useful feature for
normal bindings but I don't think you should use it for labels, since it
changes the interface.
> Is there a solution to this?
I think the following is what you want:
class foo = object
method bar ~snoo:(_:string) = ()
end
Jeremy.
next prev parent reply other threads:[~2008-03-20 14:06 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-03-20 13:40 Ralph Douglass
2008-03-20 13:57 ` [Caml-list] " Julien Signoles
2008-03-20 13:58 ` Jeremy Yallop [this message]
2008-03-20 15:42 ` Ralph Douglass
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=47E26D74.8040109@ed.ac.uk \
--to=jeremy.yallop@ed.ac.uk \
--cc=caml-list@inria.fr \
--cc=ralph@grayskies.net \
/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).