diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2010-01-04 00:28:40 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2010-01-04 00:28:40 +0000 |
| commit | 1d0186d0e6736796b083c2a645b9764e7cdadcdd (patch) | |
| tree | bcf14f343768a2f35c57078cf807441dd5947d54 | |
| parent | e15607085245f4dfa4a06e28bdd164a927d906c7 (diff) | |
| download | ocaml-1d0186d0e6736796b083c2a645b9764e7cdadcdd.tar.gz | |
Could it still be missing ?
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dothat@9504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | parsing/reftypes.mli | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/parsing/reftypes.mli b/parsing/reftypes.mli new file mode 100644 index 0000000000..0e54562432 --- /dev/null +++ b/parsing/reftypes.mli @@ -0,0 +1,31 @@ +(***********************************************************************) +(* *) +(* Objective Caml *) +(* *) +(* Pierre Weis, projet Estime, INRIA Rocquencourt *) +(* *) +(* Copyright 2009 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + +(* $Id: $ *) + +(* Auxiliary used by parsetree and typedtree for value, record label, and + constructor references. *) + +type value_ref = + | Pvalue of Longident.t + | Pvalue_ty of Longident.t * string +;; + +type constructor_ref = + | Pconstr of Longident.t + | Pconstr_ty of Longident.t * string +;; + +type label_ref = + | Plabel of Longident.t + | Plabel_ty of Longident.t * string +;; |