Open gussmith23 opened 4 months ago
Error:
Rule:
(rule ((= ha1_s (GetOutput (ModuleInstance "HalfAdd" (vec-of "a" "b") (vec-of a b)) "sum")) (= ha1_c (GetOutput (ModuleInstance "HalfAdd" (vec-of "a" "b") (vec-of a b)) "carry")) (= fa_s (GetOutput (ModuleInstance "HalfAdd" (vec-of "a" "b") (vec-of ha1_s c)) "sum")) (= ha2_c (GetOutput (ModuleInstance "HalfAdd" (vec-of "a" "b") (vec-of ha1_s c)) "carry")) (= fa_c (Op2 (Or) ha1_c ha2_c))) ((union fa_s (GetOutput (ModuleInstance "FullAdd" (vec-of "a" "b" "c") (vec-of a b c)) "sum")) (union fa_c (GetOutput (ModuleInstance "FullAdd" (vec-of "a" "b" "c") (vec-of a b c)) "carry"))) :ruleset adders)
@oflatt says this is due to the use of vec-of. Working around it with a cons list, but the error isn't great!
vec-of
Thanks @zsisco for finding this.
Error:![image](https://github.com/egraphs-good/egglog/assets/1203329/eeb1de5c-11c9-443f-bbed-def60d59c891)
Rule:
@oflatt says this is due to the use of
vec-of
. Working around it with a cons list, but the error isn't great!Thanks @zsisco for finding this.