Fix #1379 - Githubissues

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

https://epfl-lara.github.io/stainless/

Apache License 2.0

349 stars 51 forks source link

Closed mario-bucev closed 1 year ago

mario-bucev commented 1 year ago

Closes #1379

Relax a condition for a pattern to be well-typed
Adapt the "class unapply" function to return the fields of the class (if any) or unit (if none)

vkuncak commented 1 year ago

This is awesome, @mario-bucev ! I look forward to this boost to unapply patterns! Rebase and we merge.