Prettyprinter and tests

cabal.project

@@ -15,4 +15,5 @@ package *
 
 -- Build static linked, vanilla libraries to reduce build time.
 shared: False
-executable-dynamic: False
+executable-dynamic: False
+tests: True

lam4-backend/lam4-backend.cabal

@@ -43,10 +43,12 @@ library
         Base.Aeson
         Base.ByteString
         Base.Grisette
+        Lam4.Main
         Lam4.Expr.Name
         Lam4.Expr.ConcreteSyntax
         Lam4.Expr.CommonSyntax
         Lam4.Expr.Parser
+        Lam4.Expr.Printer
         Lam4.Parser.Type
         Lam4.Parser.Monad
         Lam4.Expr.ConEvalAST
@@ -60,7 +62,8 @@ library
         base,
         containers,
         foldable1-classes-compat,
-        lens, 
+        lens-regex-pcre,
+        lens,
         -- just for Control.Lens.Plated
         optics,
         mtl,
@@ -70,6 +73,10 @@ library
         aeson,
         aeson-optics,
         bytestring,
+        cradle,
+        optparse-applicative,
+        filepath,
+        string-interpolate,
         either,
         pretty-show,
         grisette >= 0.8,
@@ -94,23 +101,35 @@ library
 --         bytestring,
 --         lam4-backend
 
--- test-suite lam4-backend-test
---     import:           defaults
---     default-language: GHC2021
-
---     -- Modules included in this executable, other than Main.
---     -- other-modules:
-
---     -- The interface type and version of the test suite.
---     type:             exitcode-stdio-1.0
-
---     -- Directories containing source files.
---     hs-source-dirs:   test
-
---     -- The entrypoint to the test suite.
---     main-is:          Main.hs
+test-suite lam4-backend-test
+    import:           defaults
+    ghc-options:      -threaded
+    default-language: GHC2021
 
---     -- Test dependencies.
---     build-depends:
---         base ^>=4.18.2.0,
---         lam4-backend
+    -- Modules included in this executable, other than Main.
+    other-modules:
+        PrinterSpec
+
+    -- The interface type and version of the test suite.
+    type:
+        exitcode-stdio-1.0
+
+    -- Directories containing source files.
+    hs-source-dirs:
+      test
+    build-tool-depends:
+        hspec-discover:hspec-discover
+    -- The entrypoint to the test suite.
+    main-is:
+        Spec.hs
+
+    -- Test dependencies.
+    build-depends:
+        lam4-backend,
+        base,
+        hspec,
+        hspec-golden,
+        filepath,
+        directory,
+        text,
+        bytestring

lam4-backend/src/Lam4/Expr/ConcreteSyntax.hs

@@ -28,6 +28,8 @@ module Lam4.Expr.ConcreteSyntax
   -- * Statements
   , Statement(..)
   , DeonticModal(..)
+  , Action(..)
+  , PrimAction(..)
 
   -- * Traversals
   , exprSubexprs