ndmitchell/hlint

Make it possible to forbid "`fromIntegral` without visible type arguments"

Open

#1,637 opened on Feb 17, 2025

View on GitHub
 (9 comments) (5 reactions) (0 assignees)Haskell (208 forks)batch import
good first issue

Repository metrics

Stars
 (1,594 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

fromIntegral @Int16 @Int32 is refactor safe but fromIntegral is not. I want to allow the former but forbid the latter.

See https://github.com/haskell/core-libraries-committee/issues/314 for context and in particular Ad-hoc polymorphism erodes type-safety.

Contributor guide

Research direction
Study hlint's source code to understand how lint rules are defined, then implement a new rule that warns against `fromIntegral` without visible type arguments.
Tech stack
None
Domain
toolingdeveloper experience
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Haskellhlint
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
65