Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000046OCamlOCaml generalpublic2000-03-03 16:392001-06-25 10:10
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000046: aliasing exceptions with a let ?
DescriptionFull_Name: Ralf Treinen
Version:
OS:
Submission from: aspirateur.inria.fr (128.93.8.116)
Submitted by: doligez


To: caml-list@inria.fr
Subject: aliasing exceptions with a let ?
Date: Wed, 01 Mar 2000 17:22:08 +0100
From: Ralf Treinen <Ralf.Treinen@lri.fr>

Is it possible to alias an exception as with functions or type definitions?
I would like to write a module that is a "virtual module" in the sense
that it just regroups identifiers that are defined in other modules.
This works fine for types and functions:

  type running_prog = Programs.running_prog;;
  let is_finished = Programs.is_finished;;

Apparently, I cannot do the same thing with exceptions (and hence
with functions that raise an exception). The obvious solution is to
write a wrapper as in

  exception Erreur_load of string;;
  let load s =
    try
      Analyse_program.load s
    with
        Analyse_program.Erreur_load s -> raise (Erreur_load s)
;;

which is quite awkward. It would be nice to have a way to define an alias
for an exception in the same way as for identifiers and types.

Ralf Treinen.


--
-------------------------------------------------------------
Ralf Treinen, L.R.I. Bât. 490, Université Paris-Sud,
F91405 Orsay cedex, France. http://www.lri.fr/~treinen [^]

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0003109)
administrator (administrator)
2000-03-26 18:12

Implemented in 3.00

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker