Add Abstract and Virtual sections

diff --git a/machines.cabal b/machines.cabal
index aa34dc114e8122de1b8a3be8852cb87ac761bb15..b28c8023e4452fa6983af6ac54af537e01670b94 100644 (file)
--- 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 4c97c231272f19e4a1d01161f59faad2e20066f4..7af01fe87461077d13160ee55523f96d992b8c1b 100644 (file)
--- 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 d353fa50babfdbd77febc6a57dc4ef4cc7a75955..158fa824eb0aed9167e72fc03fa7d943ee213e21 100644 (file)
--- 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 75c96c3ce4aa1e7866855dd5da217cb2caa335bd..5ed538131b20855fd6bbbc529bd8260e8a1ff88d 100644 (file)
--- 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 e4c8f7e84631ff59972aa714a0ded79b4de35bf9..faeb2e73378751837df946e633e46d96b9294e8c 100644 (file)
--- 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 cf34f1c6671436ad097aa93f411e6337be922fe3..c95577d4e34c098409c2fc47d94e4213a82fce48 100644 (file)
--- 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 6355e4d1ff884abaa0e51fbfd8aa072c0c466080..14cd185114a75686e8be63bbc775386417b0a86a 100644 (file)
--- 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