Skip to content

Commit 1bd0d58

Browse files
mununkimununki
committed
Update vendor files to include licensing information and improve documentation
1 parent 1a6ad96 commit 1bd0d58

File tree

12 files changed

+139
-17
lines changed

12 files changed

+139
-17
lines changed

‎vendor/cmi_format.ml‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,18 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Fabrice Le Fessant, INRIA Saclay *)
6+
(* *)
7+
(* Copyright 2012 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
15+
116
type pers_flags = Deprecated of string
217

318
type error =

‎vendor/cmt_format.ml‎

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,17 @@
1-
(* Format for cmt and cmti files in ReScript compiler *)
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Fabrice Le Fessant, INRIA Saclay *)
6+
(* *)
7+
(* Copyright 2012 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
215

316
open Stdlib
417

‎vendor/cmt_format.mli‎

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,17 @@
1-
(* Format for cmt and cmti files in ReScript compiler *)
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Fabrice Le Fessant, INRIA Saclay *)
6+
(* *)
7+
(* Copyright 2012 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
215

316
(* Binary annotations *)
417
type binary_annots =

‎vendor/env.ml‎

Lines changed: 16 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,19 @@
1-
(* Simplified environment for ReScript compiler *)
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
6+
(* *)
7+
(* Copyright 1996 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
15+
16+
(* Environment handling *)
217

318
type t = unit (* Simplified environment representation *)
419

‎vendor/env.mli‎

Lines changed: 16 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,19 @@
1-
(* Simplified environment for ReScript compiler *)
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
6+
(* *)
7+
(* Copyright 1996 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
15+
16+
(* Environment handling *)
217

318
type t = unit (* Simplified environment representation *)
419

‎vendor/longident.mli‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
6+
(* *)
7+
(* Copyright 1996 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
15+
16+
(** Long identifiers, used in parsetree. *)
17+
18+
type t = Lident of string | Ldot of t * string | Lapply of t * t
19+
20+
val cmp : t -> t -> int
21+
val flatten : t -> string list
22+
val unflatten : string list -> t option
23+
val last : t -> string
24+
val parse : string -> t

‎vendor/path.ml‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,6 @@
1313
(* *)
1414
(**************************************************************************)
1515

16-
(* Path representation for the ReScript compiler *)
17-
1816
type t = Pident of Ident.t | Pdot of t * string * int | Papply of t * t
1917

2018
let rec same p1 p2 =

‎vendor/path.mli‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515

1616
(* Access paths *)
1717

18-
(* Path representation for the ReScript compiler *)
19-
2018
type t = Pident of Ident.t | Pdot of t * string * int | Papply of t * t
2119

2220
val same : t -> t -> bool

‎vendor/typedtree.ml‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515

1616
(* Abstract syntax tree after typing *)
1717

18-
(* Type expressions for the core language *)
19-
2018
open Types
2119

2220
type pattern = {

‎vendor/typedtree.mli‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,8 @@
1515

1616
(** Abstract syntax tree after typing *)
1717

18-
(* Type expressions for the core language *)
18+
(** By comparison with {!Parsetree}:
19+
- Every {!Longindent.t} is accompanied by a resolved {!Path.t}. *)
1920

2021
open Types
2122

0 commit comments

Comments
 (0)