Problems in nofib/gc benchmarks

In nofib/power.hs we have revert (f0 :+: f1 :+: Pz) = -1/f1 :+: 1/f1 :+: Pz --(5) which should be f0/f1 :+: -1/f1 :+: Pz In nofib/circsim.hs we have xor x y = if (x==y) then one else zeroS which should be xor x y = if (x==y) then zeroS else one