Jingren Wang

And if I use ghc version 8.10.1 or 8.10.3, the building process went well until the end, it will show: ``` src\Language\Haskell\Liquid\UX\Annotate.hs:446:31: error: • Couldn't match expected type ‘Key’ with...

I added the plugin to the dependencies in my won project, following the tutorial I mentioned above, just two steps: ``` First, adding a dependency to LH in the .cabal...

> Ah base and liquid-base are in conflict. use the liquid-base if you want LH > […](#) > On Tue, Oct 12, 2021 at 7:15 AM yiwei-w ***@***.***> wrote: I...

> Try building with `stack` instead of `cabal`. I got mine working after removing the dependency on `base` in the `.cabal` file and building with `stack`. Could you please show...

> If you are looking to save the figures in particular, you should be able to right-click on a figure in a web browser and Save Image As. For example,...

> @wjrforcyber I don't understand your issue? Please provide following: > > 1. What command you're tried and facing this issue or instruction followed? > 2. OpenROAD version currently using?...

> https://github.com/The-OpenROAD-Project/OpenROAD#install-dependencies 1. Yes, dependencies are installed except the qt issue #1922 as I mentioned above. 2. Yes, tried `cmake ..`.

> Its a fresh installation or updating existing repo? Cloned last Friday.

> > @wjrforcyber I don't understand your issue? Please provide following: > > > > 1. What command you're tried and facing this issue or instruction followed? > > 2....

> Try the following: > > ``` > git checkout master > git pull > git submodule init > git submodule update > git submodule sync > git clean -xdi...