Guillaume Maudoux

Still an issue. Happened to me while building bazel itself. You cannot `bazel fetch` because some repositories fail due to broken config. I wonder is `fetch` has the right semantics,...

Just for reference, also see https://bazelbuild.slack.com/archives/CFB3AE72P/p1704908066268699

The bootstrap toolchain was added as part of bazel 7 (well, as part of rules_java xxx, released together with bazel 7 AFAIK). The fix is to ship some definition for...

Just a quick note here: Aliases are cumbersome as you can only alias targets, not full-blown external repositories. So you need to know all the bazel targets declared in a...

{-@ LIQUID "--ple" @-} and {-@ LIQUID "--reflect" @-} do both help verifying the properties in the example above. Together all the properties are checked. These flags should be documented...

Just for reference, I got it working by specializing the type of foldr': ```haskell {-@ foldr' :: (xs:[a] -> x:a -> SortedList a xs -> SortedList a (cons x xs))...

I managed to parse both `SortedList a (GHC.Types.: x xs)` and `SortedList a ((:) x xs)` by hardcoding `GHC.Types.:` and `(:)` in liquidhaskell-fixpoint parsers. That is enough to get the...

Another option is to use backslashes. Due to current implementation decisions, backslashes are not allowed for the first character. So this POC enables `GHC.Types.\:` but not bare `\:`. It's a...

Are you willing to merge a PR for any of these ideas ? Do you want the code of both options to make your own mind ? I understand that...

to match dirs, I used `^\/subDir1(\/|$)` (escaped). This allows to access the dir directly, and sub-elements. Not sure it is completely correct, but it worked for me.