Igor Moreno

I'm getting this exact same problem now using [this](https://github.com/ucsd-progsys/lh-plugin-demo/blob/main/stack/stack-9.0.2.yaml) stack file from https://github.com/ucsd-progsys/lh-plugin-demo/

How should I change the [stack.yaml](https://github.com/ucsd-progsys/lh-plugin-demo/blob/main/stack.yaml) file to use the new [9.0.2](https://github.com/ucsd-progsys/liquidhaskell/releases/tag/v9.0.2) release of Liquid Haskell?

wow! that was fast :-) thank you I'm finding a couple of problems though: - when I use the configuration in [stack.yaml](https://github.com/ucsd-progsys/lh-plugin-demo/blob/main/stack.yaml) I get: ``` liquid-base needed, but the Stack...

ok. Thank you. Now with [stack/stack-9.0.2.yaml](https://github.com/ucsd-progsys/lh-plugin-demo/blob/main/stack/stack-9.0.2.yaml) I have stumbled over a problem that I found was already previously described: - https://github.com/haskell/haskell-language-server/issues/3134 - https://github.com/commercialhaskell/stack/issues/5935 that seems to be somehow in the...

Sure: https://github.com/ucsd-progsys/lh-plugin-demo/issues/21

12.6 ᐧ On Fri, Sep 1, 2023 at 12:21 PM Michal Duda ***@***.***> wrote: > Hello @igormoreno , > What version of the macos do you have? > > Thanks....

I am aware of the 1st case. I'm working on it. The other ones I have never seen. Where are you getting those? Is it in the test-manager? Could you...

@jeppe-style I'm getting: ``` [ERROR] Failed to execute goal on project application: Could not resolve dependencies for project cloud.benchflow:application:jar:0.1.0: The following artifacts could not be resolved: cloud.benchflow:benchflow-dsl:jar:0.1.0, cloud.benchflow.faban:client:jar:0.1.0: Could not...

The solution for these problems is the following: - `SingleLineJavadoc Single-line Javadoc comment should be multi-line.` The Java formatter that was running before would in some cases collapse multiline comments...

@VincenzoFerme I think these errors were fixed in all projects except for the driver-maker. I'm getting there the following error: ``` [ERROR] Failed to execute goal net.revelc.code.formatter:formatter-maven-plugin:2.0.1:format (default) on project...