@@ -79,39 +79,39 @@ template<Lattice... Ls> struct Tuple {
7979 WASM_UNREACHABLE (" unexpected comparison" );
8080 }
8181
82- bool joinImpl (Element& joinee,
83- const Element& joiner,
84- std::index_sequence<>) const noexcept {
82+ int joinImpl (Element& joinee,
83+ const Element& joiner,
84+ std::index_sequence<>) const noexcept {
8585 // Base case: there is nothing left to join.
8686 return false ;
8787 }
8888
8989 template <size_t I, size_t ... Is>
90- bool joinImpl (Element& joinee,
91- const Element& joiner,
92- std::index_sequence<I, Is...>) const noexcept {
90+ int joinImpl (Element& joinee,
91+ const Element& joiner,
92+ std::index_sequence<I, Is...>) const noexcept {
9393 // Recursive case: join the current element and recurse to the next
9494 // elements.
9595 return std::get<I>(lattices).join (std::get<I>(joinee),
9696 std::get<I>(joiner)) |
9797 joinImpl (joinee, joiner, std::index_sequence<Is...>{});
9898 }
9999
100- bool meetImpl (Element& meetee,
101- const Element& meeter,
102- std::index_sequence<>) const noexcept {
100+ int meetImpl (Element& meetee,
101+ const Element& meeter,
102+ std::index_sequence<>) const noexcept {
103103 // Base case: there is nothing left to mee.
104104 return false ;
105105 }
106106
107107 template <size_t I, size_t ... Is>
108- bool meetImpl (Element& meetee,
109- const Element& meeter,
110- std::index_sequence<I, Is...>) const noexcept {
108+ int meetImpl (Element& meetee,
109+ const Element& meeter,
110+ std::index_sequence<I, Is...>) const noexcept {
111111 // Recursive case: meet the current element and recurse to the next
112112 // elements.
113- return std::get<I>(lattices).meet (std::get<I>(meetee),
114- std::get<I>(meeter)) |
113+ return ( std::get<I>(lattices).meet (std::get<I>(meetee),
114+ std::get<I>(meeter) )) |
115115 meetImpl (meetee, meeter, std::index_sequence<Is...>{});
116116 }
117117
0 commit comments