[Git][ghc/ghc][master] Add a test for #23413

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
5ad8d597 by Krzysztof Gogolewski at 2023-07-21T23:26:17-04:00
Add a test for #23413

It was fixed by commit e1590ddc661d6: Add the SolverStage monad.

- - - - -


2 changed files:

- + testsuite/tests/typecheck/should_compile/T23413.hs
- testsuite/tests/typecheck/should_compile/all.T


Changes:

=====================================
testsuite/tests/typecheck/should_compile/T23413.hs
=====================================
@@ -0,0 +1,13 @@
+module T23413 where
+
+f :: (Int ~ Bool) => Int -> Bool
+f x = f x
+
+g1 :: (Int ~ Bool) => Int -> Bool
+g1 x = f x
+
+g2 :: (Bool ~ Int) => Int -> Bool
+g2 x = f x
+
+h :: (Int ~ Bool) => Int -> Bool
+h x = x


=====================================
testsuite/tests/typecheck/should_compile/all.T
=====================================
@@ -888,3 +888,4 @@ test('T23514c', normal, compile, [''])
 test('T22537', normal, compile, [''])
 test('T18986a', normal, compile, [''])
 test('T18986b', normal, compile, [''])
+test('T23413', normal, compile, [''])



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5ad8d59769a873a54d594b2b45205f8f10d3d813

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5ad8d59769a873a54d594b2b45205f8f10d3d813
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230721/809029ae/attachment-0001.html>