works downstairs

gen0_virtuous_cycle/app/TC0.hs

@@ -116,7 +116,7 @@ mainloop input =
                           mainloop $ step state
     Nothing -> do putStrLn "no next State"
 
-main = do
+main' = do
   s <- readFile "output.ps"
   let program = token2Type <$> parseBlocks (scanPS s)
   mainloop (Just ("Starting Eval",(buildins,[],program)))

gen0_virtuous_cycle/gen0-virtuous-cycle.cabal

@@ -14,7 +14,7 @@ Library StaX
 executable Main.hs
     main-is:          Main.hs
     other-modules:    TC0, TC, PSLex, AnnoLex, AnnoParse, ExpTerm, BaseTypes
-    build-depends:    base >=4.17.2.1,
+    build-depends:    base >=4.13.0.0,
                       QuickCheck ^>= 2.15,
                       process >= 1.5,
                       StaX -any, array
@@ -26,7 +26,7 @@ Test-Suite Test
    type:                  exitcode-stdio-1.0
    main-is:               Test.hs
    other-modules:         AnnoLex, PSLex, TC0, TC
-   build-depends:         base >= 4.3 && <5,
+   build-depends:         base >= 4.13.0.0,
                           QuickCheck ^>=2.15,
                           hspec >=2.10,
                           process >=1.5,

gen0_virtuous_cycle/lib/TC.hs

@@ -5,7 +5,6 @@ import AnnoLex
 import AnnoParse (annoParse)
 import BaseTypes
 
-main = putStrLn "check some types!"
 type Term = Expr BaseType
 
 ps2exp :: Token -> Term
@@ -14,11 +13,11 @@ ps2exp (Unknown "add") = Seq [Neg (Node (IntType)), Neg (Node (IntType)), Node (
 ps2exp (Unknown "pop") = Neg Thing
 ps2exp (Unknown "dup") = Seq [Neg Thing, Var 0, Var 0]
 ps2exp (Annotation s) = Tag $ annoParse $ scanAnnos s
-
+ps2exp _ = error "no Term defined for this PS Token"
 
 data Env = Env { stack :: Term
                , popped :: Term} deriving (Show)
---longTerm: popped can't really be a list. 
+
 --assume NNF
 step :: Env -> Term -> Env
 step env (Node a) = env {stack = stack env <> (Node a)}
@@ -28,6 +27,7 @@ step env (Seq (x:xs)) = step (step env x) (Seq xs)
 step env (Neg (Node x)) = env {stack = (pop (stack env)), popped = (popped env <> (Node x))} -- NO TEST, FIX
 step env (Neg Thing)    = env {stack = (pop (stack env)),popped = (popped env <> (top (stack env)))} -- << HERE poped thing
 step env (Var i)        = env {stack = (stack env) <> (popped env !!! i)} -- !! scarry
+step env x              = error $ "next step not known for " <> show x
 
 newEnv :: Env
 newEnv = Env (Seq []) (Seq [])