From: Evan Martin <martine@danga.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Total application of function with labels
Date: Wed, 5 May 2004 16:15:58 -0700 [thread overview]
Message-ID: <20040505231558.GB31670@lulu> (raw)
In-Reply-To: <20040505211822.GA23376@cs.brown.edu>
On Wed, May 05, 2004 at 05:18:22PM -0400, Manos Renieris wrote:
> Is there a programming convention that would "enforce" labeling the
> arguments in a total application of a certain function?
# type withlabels = WithLabels;;
type withlabels = WithLabels
# let withlabels = WithLabels;;
val withlabels : withlabels = WithLabels
# let f ~a ~b ?(withlabels : withlabels option) = a + b;;
Warning: This optional argument cannot be erased
val f : a:int -> b:int -> ?withlabels:withlabels -> int = <fun>
# f 2 3 ~withlabels;;
Expecting function has type a:int -> b:int -> int
This argument cannot be applied without label
This includes the ... includes the "optional argument cannot be erased
warning", which can be avoided at the cost of making the code even
weirder.
http://caml.inria.fr/archives/200211/msg00176.html
discusses this a bit, but I'm not quite sure I understand it. :\
--
Evan Martin
martine@danga.com
http://neugierig.org
-------------------
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-05 23:16 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-05 21:18 Manos Renieris
2004-05-05 23:15 ` Evan Martin [this message]
2004-05-11 5:12 ` Jacques Garrigue
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=20040505231558.GB31670@lulu \
--to=martine@danga.com \
--cc=caml-list@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).