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 tests/indexed-types/ #31

Open
ahubers opened this issue Apr 27, 2022 · 1 comment
Open

Fix tests/indexed-types/ #31

ahubers opened this issue Apr 27, 2022 · 1 comment
Assignees
@ahubers

Comments

@ahubers
Copy link
Contributor

ahubers commented Apr 27, 2022 •
edited
Loading

See https://github.com/IaFP/ghc/tree/wip/party-ctrs-ghc-9/testsuite/tests/indexed-types

These tests involve all four flavors of type families (data fams, open type fams, closed type fams, associated type fams). It's not imperative that they are all fixed, but we should comb through broken test cases to probe for flaws in our TF implementation.
@ahubers ahubers self-assigned this Apr 27, 2022
@fxdpntthm
Copy link
Collaborator

These tests may be interesting

  • IndTypesPerf
  • InstContextNorm
  • Roman1
  • Simple14
  • T10318
  • T10931
  • T15057
  • T17923
  • T18065
  • T3590
  • T3787
  • T4120
  • T4160
  • T4185
  • T4494
  • T4935
  • T7280
  • T7474
  • T7786
  • T8020
  • T8500
  • T8913
  • T8978
  • T9316
  • ind2
  • red-black-delete

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

@ahubers ahubers

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@fxdpntthm @ahubers