File tree Expand file tree Collapse file tree 2 files changed +9
-9
lines changed
Expand file tree Collapse file tree 2 files changed +9
-9
lines changed Original file line number Diff line number Diff line change @@ -150,9 +150,9 @@ inlineCommonOperators = applyAll $
150150 , binary heytingAlgebraBoolean opDisj Or
151151 , unary heytingAlgebraBoolean opNot Not
152152
153- , binary' C. dataIntBits ( C. .|.) BitwiseOr
154- , binary' C. dataIntBits ( C. .&.) BitwiseAnd
155- , binary' C. dataIntBits ( C. .^.) BitwiseXor
153+ , binary' C. dataIntBits C. or BitwiseOr
154+ , binary' C. dataIntBits C. and BitwiseAnd
155+ , binary' C. dataIntBits C. xor BitwiseXor
156156 , binary' C. dataIntBits C. shl ShiftLeft
157157 , binary' C. dataIntBits C. shr ShiftRight
158158 , binary' C. dataIntBits C. zshr ZeroFillShiftRight
Original file line number Diff line number Diff line change @@ -118,14 +118,14 @@ disj = "disj"
118118unsafeIndex :: String
119119unsafeIndex = " unsafeIndex"
120120
121- (.|.) :: String
122- (.|.) = " .|. "
121+ or :: String
122+ or = " or "
123123
124- (.&.) :: String
125- (.&.) = " .&. "
124+ and :: String
125+ and = " and "
126126
127- (.^.) :: String
128- (.^.) = " .^. "
127+ xor :: String
128+ xor = " xor "
129129
130130(<<<) :: String
131131(<<<) = " <<<"
You can’t perform that action at this time.
0 commit comments