From d57a87a3ea0b7f6ac1f68a4aee31c0b49aa05321 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Thu, 31 Oct 2019 17:43:44 -0400 Subject: [PATCH] Moving new typer to separate folder --- src/passes/{4-typer => 4-typer-new}/dune | 0 src/passes/{4-typer => 4-typer-new}/solver.ml | 0 src/passes/{4-typer => 4-typer-new}/typer.ml | 0 src/passes/{4-typer => 4-typer-new}/typer.ml.old | 0 src/passes/{4-typer => 4-typer-new}/typer.mli | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename src/passes/{4-typer => 4-typer-new}/dune (100%) rename src/passes/{4-typer => 4-typer-new}/solver.ml (100%) rename src/passes/{4-typer => 4-typer-new}/typer.ml (100%) rename src/passes/{4-typer => 4-typer-new}/typer.ml.old (100%) rename src/passes/{4-typer => 4-typer-new}/typer.mli (100%) diff --git a/src/passes/4-typer/dune b/src/passes/4-typer-new/dune similarity index 100% rename from src/passes/4-typer/dune rename to src/passes/4-typer-new/dune diff --git a/src/passes/4-typer/solver.ml b/src/passes/4-typer-new/solver.ml similarity index 100% rename from src/passes/4-typer/solver.ml rename to src/passes/4-typer-new/solver.ml diff --git a/src/passes/4-typer/typer.ml b/src/passes/4-typer-new/typer.ml similarity index 100% rename from src/passes/4-typer/typer.ml rename to src/passes/4-typer-new/typer.ml diff --git a/src/passes/4-typer/typer.ml.old b/src/passes/4-typer-new/typer.ml.old similarity index 100% rename from src/passes/4-typer/typer.ml.old rename to src/passes/4-typer-new/typer.ml.old diff --git a/src/passes/4-typer/typer.mli b/src/passes/4-typer-new/typer.mli similarity index 100% rename from src/passes/4-typer/typer.mli rename to src/passes/4-typer-new/typer.mli