Jonathan Lorimer

Results 54 issues of Jonathan Lorimer

Hello, there is an issue where (if a repo uses `main` instead of `master`) `generatedCargoNix` fails. The offending line is here https://github.com/kolloch/crate2nix/blob/master/tools.nix#L237. Unfortunately `master` is a sensible default given legacy...

I am getting this error, and I think it is because the git dependency that is being fetched is a workspace. Here is the dependency that is being fetched https://github.com/informalsystems/modelator....

### Is there an existing issue for this? - [X] I have searched the existing issues ### Current Behavior When running web3.js in the browser via a react app served...

Bug
1.x
Stale

This haskell code generates the corresponding type error: ```haskell data MyErr1 = MyErr1 deriving (Show) instance Exception MyErr1 data MyErr2 = MyErr2 deriving (Show) instance Exception MyErr2 data MyErr3 =...

I think that allowing the user to wrap an IO action in `EIO` can lead to confusing type errors. I propose that we instead introduce some functions such as these:...

I am not sure if this is possible. The first hurdle is getting an applicative and monad instance. The naive applicative implementation gives this error: ```idris src/EIO.hs:54:15-54: error: • Couldn't...

I wrote a quick nix derivation for this project, and it seems to be running fine. You can access it by the nix flake api. You can find the repo...

**Describe the bug** Getting an error on the `commands` attr when trying to configure the devshell via nix ```  nix develop --show-trace warning: Git tree '/home/jonathanl/Code/bank-wallet-backend-rs' is dirty error:...

bug
documentation

I thought it might be nice update the Cabal logo! I wanted to pay homage to the old logo, while cleaning it up slightly. This PR adds some logo assets...