X-Git-Url: http://git.lukelau.me/?p=timetravel.git;a=blobdiff_plain;f=Main.hs;h=951f38865fc5268e36ffa58d81d6db9c227b77ce;hp=ce81efbf040934b5fe250d8c21d82ff43283969f;hb=HEAD;hpb=6b47555e9d897b72ec9683dfa1c321ce2e709851

diff --git a/Main.hs b/Main.hs
index ce81efb..951f388 100644
--- a/Main.hs
+++ b/Main.hs
@@ -70,7 +70,7 @@ eval (Div e0 e1) = evali div e0 e1
 eval (And e0 e1) = evalb (&&) e0 e1
 eval (Or e0 e1) = evalb (||) e0 e1
 
-eval (Not e0  ) = evalb (const not) e0 (Const (B True))
+eval (Not e) = evalb (const not) (Const (B True)) e
 
 eval (Eq e0 e1) = evalib (==) e0 e1
 eval (Gt e0 e1) = evalib (>) e0 e1
@@ -155,6 +155,7 @@ menu = do
     "r increment" -> debugProg increment
     "r tryCatch" -> debugProg tryCatch
     "r fibonacci" -> debugProg fibonacci
+    "r boolNot" -> debugProg boolNot
     ('r':' ':file) -> read <$> readFile file >>= debugProg
     x -> printUnknown x >> menu