From: Pierre Weis <Pierre.Weis@inria.fr>
To: franka@cs.uu.nl (Frank Atanassow)
Cc: caml-list@inria.fr
Subject: Re: Redefinition doesn't work
Date: Tue, 31 Oct 2000 18:07:20 +0100 (MET) [thread overview]
Message-ID: <200010311707.SAA10327@pauillac.inria.fr> (raw)
In-Reply-To: <14846.54323.673277.194843@silvester.cs.uu.nl> from Frank Atanassow at "Oct 31, 100 03:16:19 pm"
> Maybe I missed it, but one relevant thing I did not see mentioned in this
> discussion is the fact that if a value x is rebound, and the type of the
> new x differs from that of the old, then some values whose implementation
> (definition) depend on x may become ill-typed.
>
> --
> Frank Atanassow, Dept. of Computer Science, Utrecht University
> Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands
> Tel +31 (030) 253-1012, Fax +31 (030) 251-3791
Thank you for the precision, but I took it for ganted that the type
(scheme) assigned by the type-checker to the new identifier was
compatible with the (rebound) identifier's type scheme (more precisely
if x has type scheme sigma and you redefine x with type scheme sigma',
then sigma' must be more general than sigma). Otherwise the idea of
redefinition is pointless since any thing can occur after a
redefinition and the language becomes unsafe.
Best regards,
Pierre Weis
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/
next prev parent reply other threads:[~2000-10-31 17:07 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <200010300739.IAA13016@pauillac.inria.fr>
2000-10-30 23:38 ` Jaeyoun Chung
2000-10-31 11:06 ` Pierre Weis
2000-10-31 11:52 ` Sven LUTHER
2000-10-31 16:47 ` Pierre Weis
2000-10-31 18:55 ` Stefan Monnier
2000-11-02 15:42 ` Pierre Weis
2000-11-03 3:10 ` Stefan Monnier
2000-11-03 8:44 ` Good programming languages (Was: Redefinition doesn't work) Mattias Waldau
2000-11-03 15:27 ` bcpierce
2000-11-06 0:17 ` Jacques Garrigue
2000-11-08 18:42 ` Markus Mottl
2000-11-09 16:20 ` Juan J. Quintela
2000-11-10 10:06 ` Markus Mottl
2000-11-13 7:48 ` Stephan Houben
2000-11-10 19:06 ` Remi VANICAT
2000-11-06 6:17 ` Francisco Reyes
2000-11-07 17:36 ` Brian Rogoff
2000-10-31 14:16 ` Redefinition doesn't work Frank Atanassow
2000-10-31 17:07 ` Pierre Weis [this message]
2000-10-31 17:26 ` LINUX MANDRAKE -> CAMLTK? mlf
2000-11-02 20:21 ` Pierre Weis
2000-11-02 22:45 Redefinition doesn't work Ruchira Datta
2000-11-03 9:13 ` Pierre Weis
2000-11-03 10:09 ` Michael Sperber [Mr. Preprocessor]
2000-11-03 16:56 ` Pierre Weis
2000-11-03 17:36 ` Michel Mauny
2000-11-05 11:15 ` Michael Sperber [Mr. Preprocessor]
2000-11-06 21:30 ` Bruce Hoult
2000-11-03 16:58 ` Pierpaolo BERNARDI
2000-11-06 9:29 ` Stephan Houben
2000-11-03 17:30 ` Stefan Monnier
2000-11-05 11:16 ` Michael Sperber [Mr. Preprocessor]
-- strict thread matches above, loose matches on Subject: below --
2000-10-31 19:11 Ruchira Datta
2000-11-02 18:05 ` Trevor Jim
2000-10-28 7:32 Mattias Waldau
2000-10-28 16:37 ` Pierre Weis
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=200010311707.SAA10327@pauillac.inria.fr \
--to=pierre.weis@inria.fr \
--cc=caml-list@inria.fr \
--cc=franka@cs.uu.nl \
/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