souffle-haskell icon indicating copy to clipboard operation
souffle-haskell copied to clipboard

Haskell bindings for the Souffle datalog language

Results 7 souffle-haskell issues
Sort by recently updated
recently updated
newest added

Look into if this is possible already, do all dependencies support it yet? Also drop text-short dependency. Most likely a major version bump is needed because of this.

```sh >>= nix flake show 'github:smunix/souffle-haskell?ref=fix.ghc-multi' --allow-import-from-derivation github:smunix/souffle-haskell/c6fb439892569973a0a153f10ed0a1f82d7ba3bb ├───devShells │ └───x86_64-linux │ ├───"902": development environment 'souffle-haskell-902-20220529.c6fb439' │ ├───"922": development environment 'souffle-haskell-922-20220529.c6fb439' │ └───default: development environment 'souffle-haskell-ghc902-20220529.c6fb439' ├───overlays │ └───x86_64-linux: Nixpkgs...

For more info, see this twitter thread: https://twitter.com/Iceland_jack/status/1504125193333219329. It applies for Marshal, and would allow us to write `deriving Marshal via Generically ...`

I only have access to Linux laptops, so this might be difficult for me.. Alternative is to let the CI re-use it's own artifacts.

# This pull request is not ready for merging, but I want to use the Github PR interface to discuss it. I just saw your Berlin FP Meetup talk, and...

GHC 9.6 support was removed in this commit. These symbols are no longer re-exported by mtl. https://github.com/luc-tielen/souffle-haskell/commit/0bbad9a105e747fe28a8ec2fe04773cad47a7590 souffle 4.0.0 was then released with GHC 9.6 advertised, so I think 4.0.0...