Skip to content
Haskell CI

Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables #9

Sign in to view logs

Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables

Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables #9

Triggered via pull request October 14, 2024 21:18
@jorisdraljorisdral
opened #25
jdral/model-var-context
Status Failure
Total duration 4m 57s
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#L211
• 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.