From 9942e5677d11d89bf58f82252835e282f298acf9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 19 Apr 2019 12:25:24 +0200 Subject: [PATCH] Moved all ppx_let files from third-party git repository to src/ppx_let --- .gitignore => src/ppx_let/.gitignore | 0 CHANGES.md => src/ppx_let/CHANGES.md | 0 CONTRIBUTING.md => src/ppx_let/CONTRIBUTING.md | 0 src/ppx_let/CREDITS | 4 ++++ LICENSE.md => src/ppx_let/LICENSE.md | 0 Makefile => src/ppx_let/Makefile | 0 README.md => src/ppx_let/README.md | 0 dune => src/ppx_let/dune | 0 dune-project => src/ppx_let/dune-project | 0 {expander => src/ppx_let/expander}/dune | 0 {expander => src/ppx_let/expander}/ppx_let_expander.ml | 0 {expander => src/ppx_let/expander}/ppx_let_expander.mli | 0 ppx_let.opam => src/ppx_let/ppx_let.opam | 0 src/{ => ppx_let/src}/dune | 0 src/{ => ppx_let/src}/ppx_let.ml | 0 src/{ => ppx_let/src}/ppx_let.mli | 0 {test => src/ppx_let/test}/dune | 0 {test => src/ppx_let/test}/test-locations.mlt | 0 {test => src/ppx_let/test}/test.ml | 0 19 files changed, 4 insertions(+) rename .gitignore => src/ppx_let/.gitignore (100%) rename CHANGES.md => src/ppx_let/CHANGES.md (100%) rename CONTRIBUTING.md => src/ppx_let/CONTRIBUTING.md (100%) create mode 100644 src/ppx_let/CREDITS rename LICENSE.md => src/ppx_let/LICENSE.md (100%) rename Makefile => src/ppx_let/Makefile (100%) rename README.md => src/ppx_let/README.md (100%) rename dune => src/ppx_let/dune (100%) rename dune-project => src/ppx_let/dune-project (100%) rename {expander => src/ppx_let/expander}/dune (100%) rename {expander => src/ppx_let/expander}/ppx_let_expander.ml (100%) rename {expander => src/ppx_let/expander}/ppx_let_expander.mli (100%) rename ppx_let.opam => src/ppx_let/ppx_let.opam (100%) rename src/{ => ppx_let/src}/dune (100%) rename src/{ => ppx_let/src}/ppx_let.ml (100%) rename src/{ => ppx_let/src}/ppx_let.mli (100%) rename {test => src/ppx_let/test}/dune (100%) rename {test => src/ppx_let/test}/test-locations.mlt (100%) rename {test => src/ppx_let/test}/test.ml (100%) diff --git a/.gitignore b/src/ppx_let/.gitignore similarity index 100% rename from .gitignore rename to src/ppx_let/.gitignore diff --git a/CHANGES.md b/src/ppx_let/CHANGES.md similarity index 100% rename from CHANGES.md rename to src/ppx_let/CHANGES.md diff --git a/CONTRIBUTING.md b/src/ppx_let/CONTRIBUTING.md similarity index 100% rename from CONTRIBUTING.md rename to src/ppx_let/CONTRIBUTING.md diff --git a/src/ppx_let/CREDITS b/src/ppx_let/CREDITS new file mode 100644 index 000000000..6a3ab4f2a --- /dev/null +++ b/src/ppx_let/CREDITS @@ -0,0 +1,4 @@ +This folder contains a generalization of ppx_let from Jane Street. +See git log this_folder for the development history. + +https://github.com/janestreet/ppx_let.git diff --git a/LICENSE.md b/src/ppx_let/LICENSE.md similarity index 100% rename from LICENSE.md rename to src/ppx_let/LICENSE.md diff --git a/Makefile b/src/ppx_let/Makefile similarity index 100% rename from Makefile rename to src/ppx_let/Makefile diff --git a/README.md b/src/ppx_let/README.md similarity index 100% rename from README.md rename to src/ppx_let/README.md diff --git a/dune b/src/ppx_let/dune similarity index 100% rename from dune rename to src/ppx_let/dune diff --git a/dune-project b/src/ppx_let/dune-project similarity index 100% rename from dune-project rename to src/ppx_let/dune-project diff --git a/expander/dune b/src/ppx_let/expander/dune similarity index 100% rename from expander/dune rename to src/ppx_let/expander/dune diff --git a/expander/ppx_let_expander.ml b/src/ppx_let/expander/ppx_let_expander.ml similarity index 100% rename from expander/ppx_let_expander.ml rename to src/ppx_let/expander/ppx_let_expander.ml diff --git a/expander/ppx_let_expander.mli b/src/ppx_let/expander/ppx_let_expander.mli similarity index 100% rename from expander/ppx_let_expander.mli rename to src/ppx_let/expander/ppx_let_expander.mli diff --git a/ppx_let.opam b/src/ppx_let/ppx_let.opam similarity index 100% rename from ppx_let.opam rename to src/ppx_let/ppx_let.opam diff --git a/src/dune b/src/ppx_let/src/dune similarity index 100% rename from src/dune rename to src/ppx_let/src/dune diff --git a/src/ppx_let.ml b/src/ppx_let/src/ppx_let.ml similarity index 100% rename from src/ppx_let.ml rename to src/ppx_let/src/ppx_let.ml diff --git a/src/ppx_let.mli b/src/ppx_let/src/ppx_let.mli similarity index 100% rename from src/ppx_let.mli rename to src/ppx_let/src/ppx_let.mli diff --git a/test/dune b/src/ppx_let/test/dune similarity index 100% rename from test/dune rename to src/ppx_let/test/dune diff --git a/test/test-locations.mlt b/src/ppx_let/test/test-locations.mlt similarity index 100% rename from test/test-locations.mlt rename to src/ppx_let/test/test-locations.mlt diff --git a/test/test.ml b/src/ppx_let/test/test.ml similarity index 100% rename from test/test.ml rename to src/ppx_let/test/test.ml