Date: Mon, 5 Oct 1998 18:27:18 +0400 (MSD)
From: Anton Moscal <msk@post.tepkom.ru>
To: caml-list@inria.fr
Subject: Local definitions
In-Reply-To: <199809280951.LAA27562@pauillac.inria.fr>
Hello!
Why CaML doesn't not allow the following style of local definitions:
declare
<definition> ...
in
<expression>
with following translation:
let module Temp = struct
<definition>...
let result = <expression>
end in
Temp.result
or, the second variant: simply allow declaration of
types, exceptions, open statements and others in "let-in"
expressions with the same translation:
let find x vec =
let exception Return of int in
try
Array.iteri (fun i elem -> if elem = x then raise (Return i)) vec;
None
with
Return i -> Some i
can be translated as:
let find x vec =
let module T = struct
exception Return of int
let res =
try
Array.iteri (fun i elem -> if elem = x then raise (Return i)) vec;
None
with
Return i -> Some i
end in T.res
This syntax allow more convenient notation for local types,
classes, exceptions and others definitions, than explicit usage of
local modules.
Anton E. Moscal msk@vvv.niimm.spb.ru
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:16 MET