search

doyougnu / VSmt

Variational Satisfiability Solver
1 stars 0 forks source link

Arithmetic interface requires type annotations on references #2

Open doyougnu opened 3 years ago

doyougnu commented 3 years ago

The interface to the numeric tower is too abstract and so haskell complains that it cannot solve the IsString a constraint on iLit:

twoVars :: IO Result
twoVars = flip sat Nothing $ iRef "x" + 2 .== iRef ("y" :: Text)

hence these annotations.