Sebastian Ertel
Sebastian Ertel
Thanks a lot for your help! I guess the take-away is that I should avoid case statements in measures?
Sadly, with my upgrade to the latest LH version (see #1794 ) the above solution that you proposed fails once more with the same type of error initially reported in...
You actually suggested it in _this_ issue even ;) And yes, I did add this flag. In fact, I just copied your proposed solution into a .hs file. I will...
I finally found the problem: I had the `OverloadedLists` language extension on by default. So this shows the error also at the playground: ``` {-@ LIQUID "--exact-data-cons" @-} {-# LANGUAGE...
Hi @cpitclaudel, thanks for your response. The problem really does not seem to be slowness. I managed to boil this down to a very small self-contained "test case". Here is...
I did some debugging and here is what I found. When evaluating the functions individually then `vm_compute` is successful while `cbn` enters the infinite loop: ``` Eval vm_compute in tc_f2....
Let me close this issue. It ended up being about reduction during unification which can be steered via tactics in terms. So `tc_compute` etc. plus the `vm_compute`-based version of `unwrap`...
Dear Liam, thanks for setting up this issue. I really like your book-style idea. We could expand on that as follows to arrive at the DAG that you mentioned in...
Hi Philipp, of course. Let me add a tiny quick start guide.
Hi [Philipp](@haselwarter), Is there anything else that I should add to this PR?