Miao ZhiCheng

Continue from #1895 - Allow fail ``` struct Operation2 { // Operation type. Defined in BatchOperation (Definitions.sol) uint32 operationType; // Operation target address target; // Allow the operation fail for...

# Synopsis OpenZeppelin was [released](https://blog.openzeppelin.com/introducing-openzeppelin-contracts-5.0) on October 2023. It is a major upgrade, aiming to "modernizing its contracts." Inevitably it contains a few breaking changes, hence making the upgrade to...

ViaIR = true & YulException: Cannot swap Slot TMP[eq, 0] ... blah

3

## Description Yul compiler throws an illegible exception during development: ``` YulException: Cannot swap Slot TMP[eq, 0] with Slot RET[fun_assertEq_459]: too deep in the stack by 1 slots in [...

forge build --deny-warnings fail when no warnings issued

5

### Component Forge ### Have you ensured that all of these are up to date? - [X] Foundry - [ ] Foundryup ### What version of Foundry are you on?...

``` // this should be in SuperToken.sol uint8 private constant _STANDARD_DECIMALS = 18; function _fromUnderlyingAmount(ISuperToken superToken, uint256 amount) private view returns (uint256 superTokenAmount, uint256 adjustedAmount) { uint256 factor; uint8 _underlyingDecimals...

### Motivation The white labeling of play-Haskell, if made easy, can be quite an attractive tool for EDSLs, who could benefit from an easier way of onboarding/showcasing their technology to...

lsp-rename is broken

4

Step to reproduce, 1. have any small project open. 2. `M-x lsp-rename` 3. Got: "lsp--range-to-region: Wrong type argument: hash-table-p, nil"

Address an elemet from a list from Data.List.Linear

1

**Is your feature request related to a problem? Please describe.** `Data.List.Linear` doesn't seem to provide a simple function akin to `(!!)` for the non-linear List. What would be the recommended...