Chase

## Is your enhancement request related to a problem? Please describe. HLS currently does not seem to support backpack. `.hsig` files. When using with VSCode, I get a parse error...

Assume column limit is set to 80 (the default). For a top level function that uses pattern matching- ```hs f (x:xs) = undefined f n@(x:y:z:rest) = undefined f (x:y:rest) =...

Port code to python 3

9

Python 2 has reached EOL and it's time for this repo to upgrade. I've been working on a basic port for awhile and I'd like to detail my approach- ##...

Vasil branch produces incorrect witnesses

8

It looks like the `vasil` branch of nami properly understands babbage era transaction (at least, the ones that have all the babbage era features set to use the `*None` constructors...

"Data Constructor not in Scope" when defining an operator function starting with `:`

3

Defining a function starting with `:` is invalid according to the parsing rules: ```hs f :< g = f . g ``` However, the error message here could see some...

Return `GYBalancedTx` (or similar) when raising `BuildTxBodyErrorAutoBalance` to have more information

1

**Is your feature request related to a problem? Please describe.** Currently, when `BuildTxBodyErrorAutoBalance` is raised, there is barely any information about _what really happened_. Especially when a validator error is...

`someUTxO` does not actually update `envUsedSomeUTxOs` in `GYTxMonadNode`

3

**Describe the bug** If we look at the current `someUTxO` implementation for `GYTxMonadNode`: ```hs someUTxO lang = do addrs return oref Nothing -> throwError . GYQueryUTxOException $ GYNoUtxosAtAddress addrs PlutusV1...

**Describe the bug** there's a usecase missing from the balancer: it currently makes sure to never use a reserved collateral regardless of whether or not collateral is needed for transaction...

DefinitionsFor not usable as superclass constraint when using generic type constructors

3

### Summary _No response_ ### Steps to reproduce the behavior Execute this code snippet: ```hs class (HasBlueprintDefinition a, DefinitionsFor (UnrollAll '[a])) => Foo a where instance Foo a => Foo...