mirrors/hyperrogue
1
0
Fork 0
mirror of https://github.com/zenorogue/hyperrogue.git synced 2025-07-06 19:42:50 +00:00
Code Issues Releases Wiki Activity

rulegen:: improved troubleshooting

Browse Source
This commit is contained in:
Zeno Rogue 2022-07-12 12:16:47 +02:00
parent 4bbf4a1a88
commit 45d1675d8f
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
rulegen.cpp
View File

@ -143,6 +143,10 @@ EX hookset<void(int, twalker)> hooks_gen_tcell;
queue<reaction_t> fix_queue; queue<reaction_t> fix_queue;
void push_unify(twalker a, twalker b) { void push_unify(twalker a, twalker b) {
if(WDIM == 3 && a != b) {
println(hlog, "pushing unify of ", tie(a, b));
throw hr_exception("bad unify");
}
if(a.at->id != b.at->id) { if(a.at->id != b.at->id) {
throw hr_exception("queued bad unify"); throw hr_exception("queued bad unify");
} }
@ -385,6 +389,7 @@ void check_loops(twalker pw) {
} }
EX void connect_and_check(twalker p1, twalker p2) { EX void connect_and_check(twalker p1, twalker p2) {
if(GDIM == 3) throw hr_exception("connect_and_check called");
ufind(p1); ufind(p2); ufind(p1); ufind(p2);
p1.at->c.connect(p1.spin, p2.at, p2.spin, false); p1.at->c.connect(p1.spin, p2.at, p2.spin, false);
fix_queue.push([=] { check_loops(p1); }); fix_queue.push([=] { check_loops(p1); });
@ -396,7 +401,7 @@ EX void unify(twalker pw1, twalker pw2) {
ufind(pw1); ufind(pw1);
ufind(pw2); ufind(pw2);
if(pw1 == pw2) return; if(pw1 == pw2) return;
if(GDIM == 3) throw hr_exception("check_loops called"); if(GDIM == 3) throw hr_exception("unify called");
callhooks(hooks_gen_tcell, 3, pw1); callhooks(hooks_gen_tcell, 3, pw1);
callhooks(hooks_gen_tcell, 4, pw2); callhooks(hooks_gen_tcell, 4, pw2);
if(pw1.at->unified_to.at != pw1.at) if(pw1.at->unified_to.at != pw1.at)