Type-variables are not updated according to union-find during unification #36

Closed
opened 2022-09-14 14:03:37 +02:00 by samvv · 1 comment
samvv commented 2022-09-14 14:03:37 +02:00 (Migrated from github.com)
No description provided.
samvv commented 2023-05-21 20:52:58 +02:00 (Migrated from github.com)

Closing this as this is currently not a performance issue. We can monitor the amount of lookups in Solution if this ever becomes a problem.

Closing this as this is currently not a performance issue. We can monitor the amount of lookups in `Solution` if this ever becomes a problem.
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: samvv/bolt#36
No description provided.