From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
To: Yoann Padioleau <padator@wanadoo.fr>
Cc: Goswin von Brederlow <goswin-v-b@web.de>, caml-list@inria.fr
Subject: Re: [Caml-list] pattern matching and records vs tuples
Date: Tue, 14 Apr 2009 22:01:37 +0200 [thread overview]
Message-ID: <49E4EBA1.1040206@univ-savoie.fr> (raw)
In-Reply-To: <87myajuq8d.fsf@aryx.cs.uiuc.edu>
Dear list member,
A solution
when you change a record (or the meaning of an integer) and want to
make sure that you are warned by the compiler at
every place where this data is used is to encapsulate your type in a box
replacing for instance
let x = 0 : int (number of eggs)
with
let box d = `A(d) and unbox (`A d) = d
let x = box 0 (*nomber of dozen of eggs*)
Once you have updated all your code, you can remove the "box" and "unbox".
It would be nice if all this could be automated ...
Cheers,
Christophe
next prev parent reply other threads:[~2009-04-14 19:57 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-04-14 14:12 Yoann Padioleau
2009-04-14 16:00 ` [Caml-list] " Christophe TROESTLER
2009-04-14 16:40 ` Goswin von Brederlow
2009-04-14 16:58 ` Yoann Padioleau
2009-04-14 20:01 ` Christophe Raffalli [this message]
2009-04-15 0:44 ` Yaron Minsky
2009-04-15 1:46 ` Pal-Kristian Engstad
2009-04-15 2:37 ` Yaron Minsky
2009-04-15 2:40 ` Ashish Agarwal
2009-04-16 16:05 ` Goswin von Brederlow
2009-04-16 16:59 ` David Allsopp
2009-04-17 0:26 ` Jacques Garrigue
2009-04-17 21:12 ` Goswin von Brederlow
2009-04-15 7:41 ` blue storm
2009-04-15 9:30 ` Martin Jambon
2009-04-15 11:01 ` Yaron Minsky
2009-04-15 12:04 ` Martin Jambon
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=49E4EBA1.1040206@univ-savoie.fr \
--to=christophe.raffalli@univ-savoie.fr \
--cc=caml-list@inria.fr \
--cc=goswin-v-b@web.de \
--cc=padator@wanadoo.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