Skip to content

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

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

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.

Activity

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

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