Skip to content
HLint

Contexts that can be serialized + deserialized while retaining and explicitly representing sharing #811

Sign in to view logs

Contexts that can be serialized + deserialized while retaining and explicitly representing sharing

Contexts that can be serialized + deserialized while retaining and explicitly representing sharing #811

Triggered via pull request November 6, 2024 13:31
@byorgeybyorgey
synchronize #2202
ctx-sharing
Status Failure
Total duration 48s
Artifacts –

hlint.yml

on: pull_request
HLint
36s
HLint
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
HLint
HLint failed with status: 1. Warning (4)
HLint: src/swarm-lang/Swarm/Language/JSON.hs#L32
Warning in module Swarm.Language.JSON: Avoid restricted function ▫︎ Found: "undefined" ▫︎ Note: may break the code
HLint: src/swarm-lang/Swarm/Language/JSON.hs#L35
Warning in module Swarm.Language.JSON: Avoid restricted function ▫︎ Found: "undefined" ▫︎ Note: may break the code
HLint: src/swarm-lang/Swarm/Language/JSON.hs#L38
Warning in module Swarm.Language.JSON: Avoid restricted function ▫︎ Found: "undefined" ▫︎ Note: may break the code
HLint: src/swarm-lang/Swarm/Language/JSON.hs#L41
Warning in module Swarm.Language.JSON: Avoid restricted function ▫︎ Found: "undefined" ▫︎ Note: may break the code