From: Evgenii Akentev <hi@ak3n.com>
Date: Fri, 6 Sep 2024 07:56:54 +0000 (+0400)
Subject: Add Abstract and Virtual sections
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=fd04588732b0d0411566781729fc05892375fcbb;p=machines.hs.git

Add Abstract and Virtual sections
---

diff --git a/machines.cabal b/machines.cabal
index aa34dc1..b28c802 100644
--- a/machines.cabal
+++ b/machines.cabal
@@ -12,9 +12,12 @@ common warnings
 
 library
     import:           warnings
-    exposed-modules:  Krivine,
-                      CEK,
-                      SECD, SEC, SE, EC
+    exposed-modules:  Abstract.Krivine,
+                      Abstract.CEK,
+                      Abstract.SECD,
+                      Abstract.SEC,
+                      Abstract.SE,
+                      Abstract.EC
     build-depends:    base ^>=4.18.2.1
     hs-source-dirs:   src
     default-language: Haskell2010
diff --git a/src/CEK.hs b/src/Abstract/CEK.hs
similarity index 97%
rename from src/CEK.hs
rename to src/Abstract/CEK.hs
index 4c97c23..7af01fe 100644
--- a/src/CEK.hs
+++ b/src/Abstract/CEK.hs
@@ -1,4 +1,4 @@
-module CEK where
+module Abstract.CEK where
 
 -- https://en.wikipedia.org/wiki/CEK_Machine
 -- https://legacy.cs.indiana.edu/ftp/techreports/TR202.pdf
diff --git a/src/EC.hs b/src/Abstract/EC.hs
similarity index 98%
rename from src/EC.hs
rename to src/Abstract/EC.hs
index d353fa5..158fa82 100644
--- a/src/EC.hs
+++ b/src/Abstract/EC.hs
@@ -1,4 +1,4 @@
-module EC where
+module Abstract.EC where
 
 -- https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf
 
diff --git a/src/Krivine.hs b/src/Abstract/Krivine.hs
similarity index 97%
rename from src/Krivine.hs
rename to src/Abstract/Krivine.hs
index 75c96c3..5ed5381 100644
--- a/src/Krivine.hs
+++ b/src/Abstract/Krivine.hs
@@ -1,4 +1,4 @@
-module Krivine where
+module Abstract.Krivine where
 
 
 -- https://www.pls-lab.org/en/Krivine_machine
diff --git a/src/SE.hs b/src/Abstract/SE.hs
similarity index 98%
rename from src/SE.hs
rename to src/Abstract/SE.hs
index e4c8f7e..faeb2e7 100644
--- a/src/SE.hs
+++ b/src/Abstract/SE.hs
@@ -1,4 +1,4 @@
-module SE where
+module Abstract.SE where
 
 -- https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf
 
diff --git a/src/SEC.hs b/src/Abstract/SEC.hs
similarity index 98%
rename from src/SEC.hs
rename to src/Abstract/SEC.hs
index cf34f1c..c95577d 100644
--- a/src/SEC.hs
+++ b/src/Abstract/SEC.hs
@@ -1,4 +1,4 @@
-module SEC where
+module Abstract.SEC where
 
 -- https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf
 
diff --git a/src/SECD.hs b/src/Abstract/SECD.hs
similarity index 98%
rename from src/SECD.hs
rename to src/Abstract/SECD.hs
index 6355e4d..14cd185 100644
--- a/src/SECD.hs
+++ b/src/Abstract/SECD.hs
@@ -1,4 +1,4 @@
-module SECD where
+module Abstract.SECD where
 
 -- https://en.wikipedia.org/wiki/SECD_machine
 -- https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf