roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-11 18:58:24 +03:00
Code Issues Packages Projects Releases Wiki Activity

minimal generation to get glue tests passing

Browse Source
This commit is contained in:
Brendan Hansknecht 2024-07-12 23:29:15 -07:00
parent 2cd0d51409
commit 3198ed5c8e
No known key found for this signature in database
GPG Key ID: 0EA784685083E75B
1 changed files with 79 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

91
crates/glue/src/RustGlue.roc
View File

@ -2066,18 +2066,40 @@ generateRocRefcounted = \buf, types, type, escapedName ->
}\n\n
"""
# Struct { fields: HasNoClosure fields } | TagUnionPayload { fields: HasNoClosure fields } ->
# List.walk fields \{ id } ->
# crash "call inc on all the things"
# Struct { fields: HasClosure fields } | TagUnionPayload { fields: HasClosure fields } ->
# List.walk fields \{ id } ->
# crash "call inc on all the things"
# TagUnion (SingleTagStruct { payload: HasNoClosure fields }) ->
# List.walk fields \{ id } ->
# crash "call inc on all the things"
# TagUnion (SingleTagStruct { payload: HasClosure fields }) ->
# List.walk fields \{ id } ->
# crash "call inc on all the things"
Struct { fields: HasNoClosure fields } ->
incFields = generateRocRefcountedNamedFields types fields Inc Struct
decFields = generateRocRefcountedNamedFields types fields Dec Struct
"""
impl roc_std::RocRefcounted for $(escapedName) {
fn inc(&mut self) {
$(incFields)
}
fn dec(&mut self) {
$(decFields)
}
fn is_refcounted() -> bool {
true
}
}\n\n
"""
TagUnionPayload { fields: HasNoClosure fields } ->
incFields = generateRocRefcountedNamedFields types fields Inc Tag
decFields = generateRocRefcountedNamedFields types fields Dec Tag
"""
impl roc_std::RocRefcounted for $(escapedName) {
fn inc(&mut self) {
$(incFields)
}
fn dec(&mut self) {
$(decFields)
}
fn is_refcounted() -> bool {
true
}
}\n\n
"""
_ ->
"""
impl roc_std::RocRefcounted for $(escapedName) {
@ -2098,6 +2120,51 @@ generateRocRefcounted = \buf, types, type, escapedName ->
else
Str.concat buf "roc_refcounted_noop_impl!($(escapedName));\n\n"
generateRocRefcountedNamedFields = \types, fields, mode, wrapper ->
walker =
when (wrapper, mode) is
(Struct, Inc) ->
\accum, { name: fieldName, id } ->
escapedFieldName = escapeKW fieldName
if containsRefcounted types (Types.shape types id) then
Str.concat
accum
"$(indent) self.$(escapedFieldName).inc();\n"
else
accum
(Struct, Dec) ->
\accum, { name: fieldName, id } ->
escapedFieldName = escapeKW fieldName
if containsRefcounted types (Types.shape types id) then
Str.concat
accum
"$(indent) self.$(escapedFieldName).dec();\n"
else
accum
(Tag, Inc) ->
\accum, { name: fieldName, id } ->
escapedFieldName = escapeKW fieldName
if containsRefcounted types (Types.shape types id) then
Str.concat
accum
"$(indent) self.f$(escapedFieldName).inc();\n"
else
accum
(Tag, Dec) ->
\accum, { name: fieldName, id } ->
escapedFieldName = escapeKW fieldName
if containsRefcounted types (Types.shape types id) then
Str.concat
accum
"$(indent) self.f$(escapedFieldName).dec();\n"
else
accum
List.walk fields "" walker
# If a value or any data in it must be refcounted.
containsRefcounted = \types, type ->
containsRefcountedHelp types type (Set.empty {})