Skip to content

Hint to GHC that indices are to be used strictly#485

Merged
Shimuuar merged 4 commits into
masterfrom
indices-are-strict
Mar 20, 2024
Merged

Hint to GHC that indices are to be used strictly#485
Shimuuar merged 4 commits into
masterfrom
indices-are-strict

Add NOTE like one used by GHC

e13cb00
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs