Fixes

cycleq.cabal

@@ -27,7 +27,8 @@ library
                       text,
                       process,
                       ghc,
-                      graphviz
+                      graphviz,
+                      directory
 
   ghc-options:        -Wall
                       -Wcompat

src/Cycleq.hs

@@ -7,6 +7,7 @@ module Cycleq
   )
 where
 
+import System.Directory (createDirectoryIfMissing)
 import Control.Monad.Reader
 import Cycleq.Environment
 import Cycleq.Equation
@@ -46,6 +47,7 @@ plugin =
                     Nothing -> putMsgS "Failure!"
                     Just proof -> do
                       putMsgS "Success!"
+                      liftIO $ createDirectoryIfMissing False "proofs"
                       drawProof proof ("proofs/" ++ goalName ++ ".svg")
             pure mguts
         )

src/Cycleq/Reduction.hs

@@ -84,7 +84,7 @@ reduce expr0 = go expr0 []
         Nothing -> empty
     go (Tick _ expr) args = go expr args
     go (Type ty) args = pure (mkApps (Type ty) args)
-    go expr args = pprPanic "Unsupported expression!" (ppr (mkApps exp args))
+    go expr args = pprPanic "Unsupported expression!" (ppr (mkApps expr args))
 
 -- | Match a core expression against a first-order normal form.
 viewNormalForm :: CoreExpr -> Maybe (Either (DataCon, [CoreArg]) Literal)