Hans Svensson
|
887840cfd9
|
More cleanup
|
2023-08-08 14:03:22 +02:00 |
|
Hans Svensson
|
20e57a29d4
|
Fix formatting of if_branches error
|
2023-08-08 13:43:31 +02:00 |
|
Hans Svensson
|
71454efda1
|
Better structure for constraint solving
|
2023-08-08 13:42:56 +02:00 |
|
Hans Svensson
|
ff190b0c66
|
Remove unused unify_throws field from Env
|
2023-08-07 22:19:49 +02:00 |
|
Hans Svensson
|
fad37364a5
|
Make unify always return true or false
|
2023-08-07 22:17:27 +02:00 |
|
Hans Svensson
|
6207cd09e2
|
Clean up constraint solving a bit
|
2023-08-07 21:50:50 +02:00 |
|