projects
/
timetravel.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix not
[timetravel.git]
/
Main.hs
diff --git
a/Main.hs
b/Main.hs
index ce81efbf040934b5fe250d8c21d82ff43283969f..951f38865fc5268e36ffa58d81d6db9c227b77ce 100644
(file)
--- 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 (And e0 e1) = evalb (&&) e0 e1
eval (Or e0 e1) = evalb (||) e0 e1
-eval (Not e
0 ) = 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
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 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
('r':' ':file) -> read <$> readFile file >>= debugProg
x -> printUnknown x >> menu