Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Rebinding exception declarations
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-10-15 (07:12)
From: skaller <skaller@m...>
Subject: Re: Rebinding exception declarations
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,
1/10 Toxteth Rd Glebe NSW 2037 Australia