Georgi Lyubenov

Results 31 issues of Georgi Lyubenov

In `Isomorphism` `even` and `odd` from `Relations` are referred to with constructors respectively `even-zero; even-suc` and `odd-suc`, whereas in `Relations` they are defined respectively as `zero; suc` and `suc`. Is...

enhancement
help wanted
low-hanging-fruit
agda

This fixes the issue with sed(used in ghc_wrapper.sh) being gotten from the environment instead of the posix toolchain. Fixes #1800

On NixOS (I assume this is the cause), running ``` > bazel test //tests/haskell_module/repl:haskell_module_repl_cross_library_deps_test_nixpkgs_bazel_4 ``` fails, complaining about a missing sed. I assume this is (directly) related to this discussion...

type: bug

When a `stack_snapshot_json` is being used, if I change a version of a package in `packages`, that change is ignored and instead the pinned info is used directly. Should we...

question
discussion

There should be tests for * a `haskell_repl` targetting a `haskell_library` that has {CC,java} `deps` * a `haskell_repl` targetting a `haskell_library` that is `haskell_module` based with {CC,java} `narrowed_deps`

type: feature request

**Describe the bug** * When using a glob to match files (this may not be required) * When compiling a file whose module name doesn't match the file name We...

type: bug

**Is your feature request related to a problem? Please describe.** Very often when people have `.hsc` files they will also have some headers which they're including. We currently don't seem...

type: feature request

@layus said there are some new issues with this. Also need to resolve all the TODOs and add tests.

In this example: ```haskell {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE MonoLocalBinds #-} import Data.Generics.Product (HasField', field') import Data.Generics.Labels...