search

regb / scala-smtlib

Scala library for parsing and printing the SMT-LIB format
MIT License
44 stars 23 forks source link

Use function literals to convert methods to functions #44

Closed lbulej closed 3 years ago

lbulej commented 3 years ago

Scala 2.13.4 refuses to convert methods without a parameter list and by-name params to functions as m _ and requires using () => m instead.

This is a part of cleanups I did to get the library work with Scala 2.13 in the Renaissance benchmark suite.