From fd04588732b0d0411566781729fc05892375fcbb Mon Sep 17 00:00:00 2001 From: Evgenii Akentev Date: Fri, 6 Sep 2024 11:56:54 +0400 Subject: [PATCH] Add Abstract and Virtual sections --- machines.cabal | 9 ++++++--- src/{ => Abstract}/CEK.hs | 2 +- src/{ => Abstract}/EC.hs | 2 +- src/{ => Abstract}/Krivine.hs | 2 +- src/{ => Abstract}/SE.hs | 2 +- src/{ => Abstract}/SEC.hs | 2 +- src/{ => Abstract}/SECD.hs | 2 +- 7 files changed, 12 insertions(+), 9 deletions(-) rename src/{ => Abstract}/CEK.hs (97%) rename src/{ => Abstract}/EC.hs (98%) rename src/{ => Abstract}/Krivine.hs (97%) rename src/{ => Abstract}/SE.hs (98%) rename src/{ => Abstract}/SEC.hs (98%) rename src/{ => Abstract}/SECD.hs (98%) 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 -- 2.34.1