Commit daa6a422 authored by Tomislav Pree's avatar Tomislav Pree
Browse files

Update TypedAnalysis.hs

parent 3e16b6a6
Pipeline #72321 canceled with stages
......@@ -443,7 +443,7 @@ eq v1 v2 = case (v1, v2) of
(Top,_) -> B.Top
(_,Top) -> B.Top
(BoolVal b1,BoolVal b2) -> case (b1,b2) of
(B.Top,_) -> B.Top
(B.Top,_) -> B.True
(_,B.Top) -> B.Top
(B.True,B.True) -> B.True
(B.False,B.False) -> B.True
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment