{-# OPTIONS_GHC -Wno-unused-imports #-}
module UVMHSMain where

import UVMHS

import qualified Examples.Lang.Arith as Arith
import qualified Examples.Lang.ArithBlocks as ArithBlocks
import qualified Examples.Lang.SExp as SExp

import qualified Prelude as HS

import UVMHS.Tests.Core
import UVMHS.Tests.Substitution

type M = UContT (RWS ℕ64 ℕ64 ℕ64)

main ∷ IO ()
main :: IO ()
main = IO () -> IO ()
forall a. IO a -> IO a
cleanExit (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ do
  Doc -> IO ()
forall a. Pretty a => a -> IO ()
pprint (Doc -> IO ()) -> Doc -> IO ()
forall a b. (a -> b) -> a -> b
$ 𝕊 -> Doc
ppHeader 𝕊
"COLOR TEST"
  Doc -> IO ()
forall a. Pretty a => a -> IO ()
pprint Doc
colorsDemo
  $$(testModules False
    [ "UVMHS.Tests.Core"
    , "UVMHS.Tests.Substitution"
    ])
  Doc -> IO ()
forall a. Pretty a => a -> IO ()
pprint (Doc -> IO ()) -> Doc -> IO ()
forall a b. (a -> b) -> a -> b
$ Color -> Doc -> Doc
ppFG Color
teal (Doc -> Doc) -> Doc -> Doc
forall a b. (a -> b) -> a -> b
$ 𝕊 -> Doc
ppString 𝕊
"¯\\_﹙ツ﹚_/¯"