Skip to content

Should the Record unapply method always return Some?#55

Open
marcgrr wants to merge 1 commit intomasterfrom
mr-record-unapply-compatible-with-exhaustiveness-checking
Open

Should the Record unapply method always return Some?#55
marcgrr wants to merge 1 commit intomasterfrom
mr-record-unapply-compatible-with-exhaustiveness-checking

Commits

Commits on Mar 31, 2017