Skip to content

Plugin final fusion check reports functions that do not exist in final core #32

@harendra-kumar

Description

@harendra-kumar

We report:

fusion-plugin: Check unfused (final)...
In $sfoldOnce_spag binders ["$sgo_sqbe"] SCRUTINIZE data types annotated with Fuse
$sfoldOnce_spag/$sgo_sqbe: Yield
$sfoldOnce_spag/$sgo_sqbe: Partial

In lvl_sp7I binders ["lvl_sp7I"] CONSTRUCT data types annotated with Fuse
lvl_sp7I: Stop

In lvl_sp7J binders ["lvl_sp7J"] CONSTRUCT data types annotated with Fuse
lvl_sp7J: Yield

In lvl_sp7K binders ["lvl_sp7K"] CONSTRUCT data types annotated with Fuse
lvl_sp7K: Yield

In $w$stoStreamK_spVg binders ["go'_sp7P"] SCRUTINIZE data types annotated with Fuse
$w$stoStreamK_spVg/$wgo_spV7/go'_sp7P: Yield

In $sunfoldrM_sp2Y binders ["step_sp7Z"] CONSTRUCT data types annotated with Fuse
$sunfoldrM_sp2Y/step_sp7Z: Stop
$sunfoldrM_sp2Y/step_sp7Z: Yield

But none of these exist in the final core. These are perhaps dead/unreachable functions that get cleaned up in the final core. We should not be reporting these.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions