Skip to content

Add support for jump to definition #1641

Add support for jump to definition

Add support for jump to definition #1641

Triggered via pull request October 7, 2025 18:07
Status Failure
Total duration 45s
Artifacts

hlint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
HLint
HLint failed with status: 1. Suggestion (2)
HLint: src/swarm-lang/Swarm/Language/LSP.hs#L216
Suggestion in findDefinition in module Swarm.Language.LSP: Replace case with maybe ▫︎ Found: "case t of\n Nothing -> ([], [])\n Just t' -> findDef t'" ▫︎ Perhaps: "maybe ([], []) findDef t"
HLint: src/swarm-lang/Swarm/Language/LSP.hs#L216
Suggestion in findDefinition in module Swarm.Language.LSP: Use lambda-case ▫︎ Found: "\\ t\n -> case t of\n Nothing -> ([], [])\n Just t' -> findDef t'" ▫︎ Perhaps: "\\case\n Nothing -> ([], [])\n Just t' -> findDef t'" ▫︎ Note: may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file