feat: *-kinded holes which are solved by BRAT
#76
Annotations
1 error and 5 warnings
|
Run HLint
HLint failed with status: 1. Warning (1), Suggestion (3)
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run HLint:
brat/Brat/Parser.hs#L571
Suggestion in expr' in module Brat.Parser: Avoid lambda using `infix` ▫︎ Found: "(\\ fc -> spanFC fc juxtFC)" ▫︎ Perhaps: "(`spanFC` juxtFC)"
|
|
Run HLint:
brat/Brat/Checker/Helpers.hs#L120
Suggestion in pullPorts in module Brat.Checker.Helpers: Use uncurry ▫︎ Found: "\\ (pulled, rest) -> pulled ++ rest" ▫︎ Perhaps: "uncurry (++)" ▫︎ Note: increases laziness
|
|
Run HLint:
brat/Brat/Checker/SolveHoles.hs#L81
Warning in typeEqEta in module Brat.Checker.SolveHoles: Use mapMaybe ▫︎ Found: "catMaybes $ [exp, act] <&> getEnd" ▫︎ Perhaps: "mapMaybe getEnd [exp, act]"
|
|
Run HLint:
brat/Brat/Checker/SolvePatterns.hs#L202
Suggestion in instantiateMeta in module Brat.Checker.SolvePatterns: Redundant where ▫︎ Found: "where"
|
Loading