argotorg / argotorg/hevm

Consider disabling TypeAbstractions in tests

Open
#889 1 comment 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
Haskell
Stars
358
Forks
79
Avg merge
1d 1h
Merged PRs (30d)
6

Description

It seems that `TypeAbstractions` are enabled in test, but in theory, [they should not be used](https://gitlab.haskell.org/ghc/ghc/-/issues/25448). Removing that language extension compiles correctly.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating the test configuration where the TypeAbstractions language extension is enabled. Remove that extension and run the relevant test or compilation command to confirm the test suite still compiles successfully without it.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
testing-qa
Issue type
Refactor
Difficulty
2/5
Estimated time
1-3 hours
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
50/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.