Skip to content

Avoid keeping track of diffs if array is known to be unique #14

New issue
New issue
Open
Open
Avoid keeping track of diffs if array is known to be unique#14
Labels
enhancementNew feature or requestghc-pluginProbably requires a GHC pluginperformanceresearch
@noughtmare

Description

@noughtmare
noughtmare
opened on Jan 30, 2025

This probably requires a GHC plugin with a custom static analysis. Based on the result of the analysis, we opportunistically use unsafe operations #17.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestghc-pluginProbably requires a GHC pluginperformanceresearch

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions