Introduce ModelVarContext as a generalisation of ModelLookup and ModelFindVariables
#10
Annotations
2 errors
|
src/Test/QuickCheck/StateModel/Lockstep/API.hs#L218
• Couldn't match type: GVar op0 a0 -> ModelValue state a0
|
|
|
The logs for this run have expired and are no longer available.
Loading