From a0461d06225787c3ff87df9f6e19e36e7bbdfc05 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Tue, 8 Oct 2019 18:46:55 -0400 Subject: [PATCH] Renamed --- src/{ => stages}/typesystem/core.ml | 0 src/{ => stages}/typesystem/dune | 0 src/{ => stages}/typesystem/misc.ml | 0 src/{ => stages}/typesystem/shorthands.ml | 0 src/{ => stages}/typesystem/typesystem.ml | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename src/{ => stages}/typesystem/core.ml (100%) rename src/{ => stages}/typesystem/dune (100%) rename src/{ => stages}/typesystem/misc.ml (100%) rename src/{ => stages}/typesystem/shorthands.ml (100%) rename src/{ => stages}/typesystem/typesystem.ml (100%) diff --git a/src/typesystem/core.ml b/src/stages/typesystem/core.ml similarity index 100% rename from src/typesystem/core.ml rename to src/stages/typesystem/core.ml diff --git a/src/typesystem/dune b/src/stages/typesystem/dune similarity index 100% rename from src/typesystem/dune rename to src/stages/typesystem/dune diff --git a/src/typesystem/misc.ml b/src/stages/typesystem/misc.ml similarity index 100% rename from src/typesystem/misc.ml rename to src/stages/typesystem/misc.ml diff --git a/src/typesystem/shorthands.ml b/src/stages/typesystem/shorthands.ml similarity index 100% rename from src/typesystem/shorthands.ml rename to src/stages/typesystem/shorthands.ml diff --git a/src/typesystem/typesystem.ml b/src/stages/typesystem/typesystem.ml similarity index 100% rename from src/typesystem/typesystem.ml rename to src/stages/typesystem/typesystem.ml