rev: da1f575431d7ca6cee49846951add2b9b19e807b scopes
da1f575431d7 — Leonard Ritter * prover.cpp: loop merge conflict error now points to loop header as source. Previously the error message was anchored to the return type that precedes the conflicting one. This makes sense for functions where the return type is inferred by the return points, but not for loops where we always know the type (from the header). 4 days ago
-rw-r--r--
362 bytes
-rw-r--r--
1.1 KiB
d---------
-rw-r--r--
127 bytes
-rw-r--r--
1.1 KiB
-rw-r--r--
2.0 KiB
d---------
d---------
d---------
-rw-r--r--
15.4 KiB
d---------
d---------
-rw-r--r--
134 bytes
d---------
d---------