From: skaller <skaller@maxtal.com.au>
To: Manuel Fahndrich <maf@microsoft.com>
Cc: "'caml-list@inria.fr'" <caml-list@inria.fr>
Subject: Re: Rebinding exception declarations
Date: Fri, 15 Oct 1999 08:52:12 +1000 [thread overview]
Message-ID: <38065E9C.E03FBF19@maxtal.com.au> (raw)
In-Reply-To: <783D93998201D311B0CF00805FEAA07B7E8F5F@RED-MSG-42>
Manuel Fahndrich wrote:
>
> While we are at wishing for new features in OCaml, let me add a minor
> feature to the list:
>
> Rebinding of exception declarations.
Actually, I think there is a more syntactic problem: ocaml uses
special 'kinds' of bindings, for some reason that escapes me:
type X = ..
class X = ..
exception ..
let X = ..
let rec X =
module X =
which permit recursion with an 'and' option. Unfortunately,
this syntax does not permit these kinds of bindings to be
mutually recursive (quite aside from the semantic issues).
I find this syntax strange, I would have expected
let X =
be enough for all kinds of bindings, determined by the
kind of the right hand side. The distinction between
sequential and recursive bindings for functions
seems anomolous [let .. in can be used for that].
--
John Skaller, mailto:skaller@maxtal.com.au
1/10 Toxteth Rd Glebe NSW 2037 Australia
homepage: http://www.maxtal.com.au/~skaller
downloads: http://www.triode.net.au/~skaller
next prev parent reply other threads:[~1999-10-15 7:12 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-10-13 16:59 Manuel Fahndrich
1999-10-14 22:52 ` skaller [this message]
1999-10-15 7:12 ` Pierre Weis
1999-10-17 11:15 ` skaller
1999-10-17 14:22 ` Xavier Leroy
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=38065E9C.E03FBF19@maxtal.com.au \
--to=skaller@maxtal.com.au \
--cc=caml-list@inria.fr \
--cc=maf@microsoft.com \
/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