This commit is contained in:
greg 2018-05-12 13:58:21 -07:00
parent 161e47fe91
commit 6bf106a1a3

View File

@ -427,6 +427,12 @@ impl<'a> State<'a> {
("&", &[Lit(Nat(l)), Lit(Nat(r))]) => Lit(Nat(l & r)), ("&", &[Lit(Nat(l)), Lit(Nat(r))]) => Lit(Nat(l & r)),
("|", &[Lit(Nat(l)), Lit(Nat(r))]) => Lit(Nat(l | r)), ("|", &[Lit(Nat(l)), Lit(Nat(r))]) => Lit(Nat(l | r)),
("==", &[Lit(Nat(l)), Lit(Nat(r))]) => Lit(Bool(l == r)),
("==", &[Lit(Int(l)), Lit(Int(r))]) => Lit(Bool(l == r)),
("==", &[Lit(Float(l)), Lit(Float(r))]) => Lit(Bool(l == r)),
("==", &[Lit(Bool(l)), Lit(Bool(r))]) => Lit(Bool(l == r)),
("==", &[Lit(StringLit(ref l)), Lit(StringLit(ref r))]) => Lit(Bool(l == r)),
/* prefix ops */ /* prefix ops */
("!", &[Lit(Bool(true))]) => Lit(Bool(false)), ("!", &[Lit(Bool(true))]) => Lit(Bool(false)),
("!", &[Lit(Bool(false))]) => Lit(Bool(true)), ("!", &[Lit(Bool(false))]) => Lit(Bool(true)),