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

remove crash from canDerivePartialEq

Browse source
This commit is contained in:
Folkert 2023-04-04 20:26:47 +02:00
parent bf4ac1cbf6
commit dc7f1c32c8
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 24 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

27
crates/glue/src/RustGlue.roc
View file

@ -1047,7 +1047,26 @@ canDerivePartialEq = \types, type ->
canDerivePartialEq types kType && canDerivePartialEq types vType
TagUnion (NullableUnwrapped _) | TagUnion (NullableWrapped _) | TagUnion (Recursive _) | TagUnion (NonNullableUnwrapped _) | RecursivePointer _ -> crash "TODO"
TagUnion (Recursive { tags }) ->
List.all tags \{ payload } ->
when payload is
None -> Bool.true
Some id -> canDerivePartialEq types (Types.shape types id)
TagUnion (NullableWrapped { tags }) ->
List.all tags \{ payload } ->
when payload is
None -> Bool.true
Some id -> canDerivePartialEq types (Types.shape types id)
TagUnion (NonNullableUnwrapped { payload }) ->
canDerivePartialEq types (Types.shape types payload)
TagUnion (NullableUnwrapped { nonNullPayload }) ->
canDerivePartialEq types (Types.shape types nonNullPayload)
RecursivePointer _ -> Bool.true
TagUnion (SingleTagStruct { payload: HasNoClosure fields }) ->
List.all fields \{ id } -> canDerivePartialEq types (Types.shape types id)
@ -1061,8 +1080,10 @@ canDerivePartialEq = \types, type ->
None -> Bool.true
RocResult okId errId ->
canDerivePartialEq types (Types.shape types okId)
&& canDerivePartialEq types (Types.shape types errId)
okShape = Types.shape types okId
errShape = Types.shape types errId
canDerivePartialEq types okShape && canDerivePartialEq types errShape
Struct { fields: HasNoClosure fields } | TagUnionPayload { fields: HasNoClosure fields } ->
List.all fields \{ id } -> canDerivePartialEq types (Types.shape types id)