Skip to content

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

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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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