Skip to content
Haskell CI

Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables #10

Sign in to view logs

Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables

Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables #10

Triggered via pull request November 4, 2024 10:27
@jorisdraljorisdral
synchronize #25
jdral/model-var-context
Status Failure
Total duration 3m 20s
Artifacts –

haskell.yml

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

Annotations

2 errors
build (9.0.2, 3.10.2.1, ubuntu-latest): src/Test/QuickCheck/StateModel/Lockstep/API.hs#L218
• Couldn't match type: GVar op0 a0 -> ModelValue state a0
build (9.0.2, 3.10.2.1, ubuntu-latest)
Process completed with exit code 1.