Skip to content

Fix apply expression #240

Fix apply expression

Fix apply expression #240

Triggered via pull request December 10, 2024 21:12
Status Failure
Total duration 44s
Artifacts

lint-haskell.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 8 warnings
hlint
HLint failed with status: 1. Warning (1), Suggestion (1)
ormolu
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
hlint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
hlint: wasm-calc12/src/Calc/Typecheck/Elaborate.hs#L219
Suggestion in elaborateFunction in module Calc.Typecheck.Elaborate: Redundant bracket ▫︎ Found: "do let tyCurrentFunction\n = TFunction fnAnn (faType <$> fnArgs) fnReturnType\n let functionsWithCurrent\n = (M.insert fnFunctionName tyCurrentFunction functionsInScope)\n exprA <- withFunctionEnv\n fnArgs functionsWithCurrent (S.fromList fnGenerics)\n (checkAndSubstitute fnReturnType fnBody)\n let argsA\n = (\\ FunctionArg {faName, faType, faAnn}\n -> FunctionArg\n {faName, faType = fmap (const faType) faType,\n faAnn = fmap (const faAnn) faType})\n <$> fnArgs\n let tyFn\n = TFunction fnAnn (faType <$> fnArgs) (getOuterAnnotation exprA)\n pure\n (Function\n {fnAnn = tyFn, fnGenerics, fnArgs = argsA,\n fnFunctionName = fnFunctionName, fnBody = exprA,\n fnPublic = fnPublic, fnReturnType = fnReturnType $> fnReturnType,\n fnAbilityConstraints = fnAbilityConstraints})" ▫︎ Perhaps: "do let tyCurrentFunction\n = TFunction fnAnn (faType <$> fnArgs) fnReturnType\n let functionsWithCurrent\n = M.insert fnFunctionName tyCurrentFunction functionsInScope\n exprA <- withFunctionEnv\n fnArgs functionsWithCurrent (S.fromList fnGenerics)\n (checkAndSubstitute fnReturnType fnBody)\n let argsA\n = (\\ FunctionArg {faName, faType, faAnn}\n -> FunctionArg\n {faName, faType = fmap (const faType) faType,\n faAnn = fmap (const faAnn) faType})\n <$> fnArgs\n let tyFn\n = TFunction fnAnn (faType <$> fnArgs) (getOuterAnnotation exprA)\n pure\n (Function\n {fnAnn = tyFn, fnGenerics, fnArgs = argsA,\n fnFunctionName = fnFunctionName, fnBody = exprA,\n fnPublic = fnPublic, fnReturnType = fnReturnType $> fnReturnType,\n fnAbilityConstraints = fnAbilityConstraints})"
hlint: wasm-calc12/src/Calc/Typecheck/Infer.hs#L286
Warning in freeVars in module Calc.Typecheck.Infer: Eta reduce ▫︎ Found: "freeVars ty = go ty" ▫︎ Perhaps: "freeVars = go"
hlint
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
hlint
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
hlint
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
hlint
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/