search

amnaredo / test

0 stars 0 forks source link

incompatible with the wart remover #149

Open amnaredo opened 2 years ago

amnaredo commented 2 years ago

there are a few errors found while creating the implicit PPrint evidence

Error:(85, 22) Option#get is disabled - use Option#fold instead
      pprint.pprintln(db_)
                     ^
Error:(85, 22) implicit definitions must have an explicit type ascription
      pprint.pprintln(db_)
                     ^

ID: 117 Original Author: svalaskevicius

amnaredo commented 2 years ago

Bug bankruptcy Original Author: lihaoyi