diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-23 11:31:02 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-23 11:42:16 +0100 |
| commit | 72abcebf6cfc5aa62b24bcf8bb06a2f517bff0fc (patch) | |
| tree | 02562ef07eb84784b4eec0f48b462a0caecf6c8a /src/Data/Dependent/EnumMap/Strict.hs | |
| parent | 889e221876f3028da1b238bdd981e2d698b060c8 (diff) | |
Delete all coe1 applications that can now be simply skipped
Apparently no typeCheck1 nor typeCheck2 application can be
simply skipped (due to the a and b types in their type signatures
getting equated through the application).
Diffstat (limited to 'src/Data/Dependent/EnumMap/Strict.hs')
0 files changed, 0 insertions, 0 deletions