From 70efc8555ab42427807b5351859653e1fe37414a Mon Sep 17 00:00:00 2001 From: Rodolphe Lepigre Date: Sat, 24 Nov 2018 00:06:26 +0100 Subject: [PATCH] Added missing headers in [typing/typedecl_*.mli]. --- typing/typedecl_immediacy.mli | 16 ++++++++++++++++ typing/typedecl_properties.mli | 16 ++++++++++++++++ typing/typedecl_variance.mli | 16 ++++++++++++++++ 3 files changed, 48 insertions(+) diff --git a/typing/typedecl_immediacy.mli b/typing/typedecl_immediacy.mli index 4926ca5e9..6a9c3d911 100644 --- a/typing/typedecl_immediacy.mli +++ b/typing/typedecl_immediacy.mli @@ -1,3 +1,19 @@ +(**************************************************************************) +(* *) +(* OCaml *) +(* *) +(* Gabriel Scherer, projet Parsifal, INRIA Saclay *) +(* Rodolphe Lepigre, projet Deducteam, INRIA Saclay *) +(* *) +(* Copyright 2018 Institut National de Recherche en Informatique et *) +(* en Automatique. *) +(* *) +(* All rights reserved. This file is distributed under the terms of *) +(* the GNU Lesser General Public License version 2.1, with the *) +(* special exception on linking described in the file LICENSE. *) +(* *) +(**************************************************************************) + type error = Bad_immediate_attribute exception Error of Location.t * error diff --git a/typing/typedecl_properties.mli b/typing/typedecl_properties.mli index d4d0d163b..153c3f719 100644 --- a/typing/typedecl_properties.mli +++ b/typing/typedecl_properties.mli @@ -1,3 +1,19 @@ +(**************************************************************************) +(* *) +(* OCaml *) +(* *) +(* Gabriel Scherer, projet Parsifal, INRIA Saclay *) +(* Rodolphe Lepigre, projet Deducteam, INRIA Saclay *) +(* *) +(* Copyright 2018 Institut National de Recherche en Informatique et *) +(* en Automatique. *) +(* *) +(* All rights reserved. This file is distributed under the terms of *) +(* the GNU Lesser General Public License version 2.1, with the *) +(* special exception on linking described in the file LICENSE. *) +(* *) +(**************************************************************************) + type decl = Types.type_declaration (** An abstract interface for properties of type definitions, such as diff --git a/typing/typedecl_variance.mli b/typing/typedecl_variance.mli index 4a3380529..bcebcd7b4 100644 --- a/typing/typedecl_variance.mli +++ b/typing/typedecl_variance.mli @@ -1,3 +1,19 @@ +(**************************************************************************) +(* *) +(* OCaml *) +(* *) +(* Gabriel Scherer, projet Parsifal, INRIA Saclay *) +(* Rodolphe Lepigre, projet Deducteam, INRIA Saclay *) +(* *) +(* Copyright 2018 Institut National de Recherche en Informatique et *) +(* en Automatique. *) +(* *) +(* All rights reserved. This file is distributed under the terms of *) +(* the GNU Lesser General Public License version 2.1, with the *) +(* special exception on linking described in the file LICENSE. *) +(* *) +(**************************************************************************) + open Types open Typedecl_properties