Skip to content
HLint

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

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 #809

Triggered via pull request November 5, 2024 23:52
@byorgeybyorgey
synchronize #2202
ctx-sharing
Status Failure
Total duration 43s
Artifacts –

hlint.yml

on: pull_request
HLint
34s
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