Facundo Domínguez
Facundo Domínguez
I tripped over some example that does seem to require expression aliases. I'd like to define a predicate alias like ```Haskell data SetS = SetS { unSetS :: Set Int...
IIUC, you would like to fix this by enabling `--reflection` by default. Since `--reflection` enables `--exact-data-cons`, this would be equivalent to enabling `--exact-data-cons` in `Main.hs`. This is problematic for some...
Actually, I don't. @ranjitjhala, I collected such a claim from #1284 and #2292. Do you think you could illustrate the limitations of `--exactdc` with an example? Even if no such...
I'm guessing we could use some insight on why `liquid-fixpoint` has separate parsers for predicates and expressions. Is the difference between a predicate and an expression only about the operators...
Thanks @ranjitjhala. That is helpful to know. In that case, probably we should try consolidating the parsers.
... yes, Ranjit, please start a new issue if you want to change the user interface that far :) Please correct me if I'm wrong: if Liquid Haskell continues to...
The keys in the remote table are more stable across builds than static pointers. There might be use cases where this matters. That's the only concern I'm aware of.
Hello! It is unclear to me what the reported issue is. The following file passes verification. ``` {-# OPTIONS_GHC -fplugin=LiquidHaskell #-} module Test where {-@ data IncList a = Emp...
Rebased master to resolve conflicts in a changelog.
Should I try merging at another time?