Justin Garcia

Porting CustomHelpCommand from `bot`

6

## Description This proposes porting the [`CustomHelpCommand`](https://github.com/python-discord/bot/blob/3ac54c5dd926738ce4c5b9fe2433b006d1ea9cee/bot/exts/info/help.py#L41) class from the server's [Python Bot](). This would mean either replacing the current implementation for [SeasonalBot]() or extending it to fit the port....

Weird behaviour when passing a `List` as an implicit argument.

4

For a bit of context, I have the following source file: ```idris data Proxy : (xs : List Type) -> Type where MkProxy : Proxy xs mkProxy : {xs :...

Remove base-compat as a dependency

1

**Description of the change** Fixes #4377. This replaces all `Prelude.Compat` imports with just `Prelude`. Ideally, we want most of the codebase to use `Protolude` as it encourages usage `Text` and...

**Description of the change** Fixes #4382. This improves the error spans for class and instance declarations. Before: ```purs [1/5 UnknownName] v 5 class Rinku a a ^ Unknown type class...

Improve error spans for class and instance declarations

2

## Proposal Given the following code: ```purs module Main where class A a a instance A a where a _ = a ``` The compiler throws the following errors: ```purs...

## Summary `hlint` was initially introduced back in 2020 by #3816, and its version (`2.2.11`) has remained largely the same for the past 2 years. Over time, more hints were...

PReLU rank 3 or rank 5 input requires all values of alpha to be the same?

2

## ❓Question Hi, I was trying to convert a traced PyTorch model with a `PReLU` module and one of its components looks like this: ```py Block( (conv1): Conv1d(1, 32, kernel_size=(5,),...

Upgrade to GHC 9.2.8

1

**Description of the change** This updates: * the Stackage snapshot to LTS-20.26 * requires `happy` to be updated to 1.20.1.1 from 1.20.0 * GHC to 9.2.8 * (internal) `STACK_VERSION` to...

## Summary When expressions are type checked, they usually yield `TypedValue False e t`. For the purposes of #4247, this makes it easy to figure out interval tree nodes as...

**Description of the change** This allows the compiler to be more honest about the source annotation for value declarations. During desugaring, the `SourceAnn` for a value declaration is replaced with...