├── .gitignore ├── .travis-ci.sh ├── .travis.yml ├── LICENSE.md ├── Makefile ├── Readme.md ├── jbuild ├── jbuild-workspace.dev ├── pumping.ml ├── pumping.opam └── test ├── jbuild ├── main.ml ├── test.expected └── test.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis-ci.sh: -------------------------------------------------------------------------------- 1 | bash -ex .travis-opam.sh 2 | ## Add more stuff here 3 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/Makefile -------------------------------------------------------------------------------- /Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/Readme.md -------------------------------------------------------------------------------- /jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/jbuild -------------------------------------------------------------------------------- /jbuild-workspace.dev: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/jbuild-workspace.dev -------------------------------------------------------------------------------- /pumping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/pumping.ml -------------------------------------------------------------------------------- /pumping.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/pumping.opam -------------------------------------------------------------------------------- /test/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/test/jbuild -------------------------------------------------------------------------------- /test/main.ml: -------------------------------------------------------------------------------- 1 | Migrate_parsetree.Driver.run_as_ppx_rewriter () 2 | -------------------------------------------------------------------------------- /test/test.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/test/test.expected -------------------------------------------------------------------------------- /test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Drup/pumping/HEAD/test/test.ml --------------------------------------------------------------------------------