Skip to content
Snippets Groups Projects
Commit 64ac20a7 authored by sheaf's avatar sheaf Committed by Marge Bot
Browse files

Add test for #21338 

This no-skolem-info bug was fixed by the no-skolem-info patch
that will be part of GHC 9.4. This patch adds a regression test for
the issue reported in issue #21338.

Fixes #21338.
parent b2dbcc7d
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment