Skip to content

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

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

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

Triggered via pull request November 17, 2024 20:42
@byorgeybyorgey
synchronize #2202
ctx-sharing
Status Failure
Total duration 25m 29s
Artifacts

haskell-ci-windows.yml

on: pull_request
Matrix: windows
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Haskell-CI - windows-latest - ghc-9.8.2: src/swarm-engine/Swarm/Game/CESK.hs#L187
• No instance for ‘FromJSON Value’
Haskell-CI - windows-latest - ghc-9.8.2
Process completed with exit code 1.
Haskell-CI - windows-latest - ghc-9.8.2: src/swarm-lang/Swarm/Language/JSON.hs#L12
The import of ‘genericParseJSON’
Haskell-CI - windows-latest - ghc-9.8.2: src/swarm-lang/Swarm/Language/JSON.hs#L41
Pattern match(es) are non-exhaustive
Haskell-CI - windows-latest - ghc-9.8.2: src/swarm-lang/Swarm/Language/JSON.hs#L41
Pattern match checker ran into -fmax-pmcheck-models=30 limit, so