language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Empty records are exhaustive

Browse source
This commit is contained in:
ayazhafiz 2022-04-28 20:28:59 -04:00
parent 38fd9e8286
commit 5be9a001e3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/can/src/pattern.rs
View file

@ -117,8 +117,8 @@ impl Pattern {
| UnsupportedPattern(..) | UnsupportedPattern(..)
| MalformedPattern(..) | MalformedPattern(..)
| AbilityMemberSpecialization { .. } => true, | AbilityMemberSpecialization { .. } => true,
RecordDestructure { destructs, .. } => destructs.is_empty(),
AppliedTag { .. } AppliedTag { .. }
| RecordDestructure { .. }
| NumLiteral(..) | NumLiteral(..)
| IntLiteral(..) | IntLiteral(..)
| FloatLiteral(..) | FloatLiteral(..)