Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix write-back rules for Set toList #602

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Fix write-back rules for Set toList #602

wants to merge 1 commit into from

Commits on Jan 31, 2019

  1. Fix write-back rules for Set toList 

    * Thanks to GHC Trac ticket 16261, matching on `[]` in a rule
  LHS is pretty dicy. Generalize the write-back rules so we
  don't have to.

* `NOINLINE` set-to-list conversions generally when fusion doesn't
  happen. Inlining these functions seems rather unlikely to be
  productive in general.
    @treeowl
    treeowl committed Jan 31, 2019
    Configuration menu
    Copy the full SHA
    31c72ac View commit details
    Browse the repository at this point in the history