bug: match cases need type arguments

nunchaku-inria / nunchaku

Model finder for higher-order logic

https://nunchaku-inria.github.io/nunchaku/

BSD 2-Clause "Simplified" License

42 stars 3 forks source link

Closed c-cube closed 6 years ago

c-cube commented 6 years ago

We need to be able to rename constructors (such as Some) upon monomorphization.