[1 of 1] Compiling What4.Solver.BLT ( src/What4/Solver/BLT.hs, /home/rscott/Documents/Hacking/Haskell/what4-2/dist-newstyle/build/x86_64-linux/ghc-8.10.4/what4-blt-0.2/build/What4/Solver/BLT.o, /home/rscott/Documents/Hacking/Haskell/what4-2/dist-newstyle/build/x86_64-linux/ghc-8.10.4/what4-blt-0.2/build/What4/Solver/BLT.dyn_o )
src/What4/Solver/BLT.hs:135:5: error:
• Constructor ‘SolverStartSATQuery’ does not have field ‘satQuerySolverName’
• In the second argument of ‘logSolverEvent’, namely
‘SolverStartSATQuery
{satQuerySolverName = "BLT", satQueryReason = logReason logData}’
In a stmt of a 'do' block:
logSolverEvent
sym
SolverStartSATQuery
{satQuerySolverName = "BLT", satQueryReason = logReason logData}
In the expression:
do let cfg = getConfiguration sym
epar <- parseBLTParams . T.unpack
<$> (getOpt =<< getOptionSetting bltParams cfg)
par <- either fail return epar
logSolverEvent
sym
SolverStartSATQuery
{satQuerySolverName = "BLT", satQueryReason = logReason logData}
....
|
135 | SolverStartSATQuery
| ^^^^^^^^^^^^^^^^^^^...
src/What4/Solver/BLT.hs:135:5: error:
• Constructor ‘SolverStartSATQuery’ does not have field ‘satQueryReason’
• In the second argument of ‘logSolverEvent’, namely
‘SolverStartSATQuery
{satQuerySolverName = "BLT", satQueryReason = logReason logData}’
In a stmt of a 'do' block:
logSolverEvent
sym
SolverStartSATQuery
{satQuerySolverName = "BLT", satQueryReason = logReason logData}
In the expression:
do let cfg = getConfiguration sym
epar <- parseBLTParams . T.unpack
<$> (getOpt =<< getOptionSetting bltParams cfg)
par <- either fail return epar
logSolverEvent
sym
SolverStartSATQuery
{satQuerySolverName = "BLT", satQueryReason = logReason logData}
....
|
135 | SolverStartSATQuery
| ^^^^^^^^^^^^^^^^^^^...
src/What4/Solver/BLT.hs:143:7: error:
• Constructor ‘SolverEndSATQuery’ does not have field ‘satQueryResult’
• In the second argument of ‘logSolverEvent’, namely
‘SolverEndSATQuery
{satQueryResult = forgetModelAndCore result,
satQueryError = Nothing}’
In a stmt of a 'do' block:
logSolverEvent
sym
SolverEndSATQuery
{satQueryResult = forgetModelAndCore result,
satQueryError = Nothing}
In the expression:
do forM_ ps (assume h)
result <- checkSat h
logSolverEvent
sym
SolverEndSATQuery
{satQueryResult = forgetModelAndCore result,
satQueryError = Nothing}
contFn result
|
143 | SolverEndSATQuery
| ^^^^^^^^^^^^^^^^^...
src/What4/Solver/BLT.hs:143:7: error:
• Constructor ‘SolverEndSATQuery’ does not have field ‘satQueryError’
• In the second argument of ‘logSolverEvent’, namely
‘SolverEndSATQuery
{satQueryResult = forgetModelAndCore result,
satQueryError = Nothing}’
In a stmt of a 'do' block:
logSolverEvent
sym
SolverEndSATQuery
{satQueryResult = forgetModelAndCore result,
satQueryError = Nothing}
In the expression:
do forM_ ps (assume h)
result <- checkSat h
logSolverEvent
sym
SolverEndSATQuery
{satQueryResult = forgetModelAndCore result,
satQueryError = Nothing}
contFn result
|
143 | SolverEndSATQuery
| ^^^^^^^^^^^^^^^^^...