Amy de Buitléir

"nix: True" in .cabal/config causes parsing error

11

**Describe the bug** Nix integration not working as expected in cabal 3.8.1.0. **To Reproduce** ``` ~/.cabal ❯ cabal user-config init Writing default configuration to /home/amy/.cabal/config ~/.cabal ❯ cabal v2-update Downloading...

Thank you for making this package available. I would like to be able to generate a timeline with just events, no time periods. I tried to accomplish this by passing...

QT warnings when mousing over submenus

2

I cloned the Textadept repo today and compiled it with QT on Linux. I notice that when I move the mouse over a menu entry that has submenus (for example,...

Fix for issue #74

1

See also https://github.com/ucsd-progsys/liquidhaskell/issues/1297.

divide function in Chapter 3

1

I have copied and pasted this code from Chapter 3. I believe it should be OK, but LiquidHaskell doesn't like it. Have I misunderstood something, or is this a bug...

Following the instructions in the README; `stack build` fails. ``` $ git clone --recursive https://github.com/ucsd-progsys/liquidhaskell-tutorial.git Cloning into 'liquidhaskell-tutorial'... remote: Enumerating objects: 1911, done. remote: Total 1911 (delta 0), reused 0...

attempt to index a nil value (field 'call_tip_triggers')

1

*Low priority "cosmetic" problem. Please feel free to close the issue.* I'm using the versions of textadept and textadept-lsp from the repo as of two days ago. I have also...

Build error ...the option 'allow-import-from-derivation' is disabled

1

This is my first time using FlakeHub to publish one of my flakes. The flake itself works fine; I don't know why this error is happening. ## Error ``` Error:...

Z3 required

10

[Installation instructions](https://github.com/ucsd-progsys/liquidhaskell/blob/develop/INSTALL.md) say that at least _one of_ `Z3`, `CVC4` or `MathSat` is required. However, according to issue #1314, `Z3` is required. Like the reporter of that issue, I had...