[Git][ghc/ghc][master] Add regression test for #23199

[Marge Bot (@marge-bot)]

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


Commits:
1532a8b2 by Simon Peyton Jones at 2023-04-17T08:09:24-04:00
Add regression test for #23199

- - - - -


2 changed files:

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


Changes:

=====================================
testsuite/tests/typecheck/should_compile/T23199.hs
=====================================
@@ -0,0 +1,10 @@
+{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
+module Foo where
+
+class C a b c | b -> c where
+  op :: a -> b -> c
+
+bar1 :: C a Int Char => a -> Char
+bar1 x = op x (3 :: Int) :: Char
+
+bar2 x = op x (3 :: Int) :: Char


=====================================
testsuite/tests/typecheck/should_compile/all.T
=====================================
@@ -872,3 +872,4 @@ test('QualifiedRecordUpdate',
     [ extra_files(['QualifiedRecordUpdate_aux.hs']) ]
     , multimod_compile, ['QualifiedRecordUpdate', '-v0'])
 test('T23192', normal, compile, [''])
+test('T23199', normal, compile, [''])



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1532a8b2b222fee73959a0760ac8867be7f19ce6

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1532a8b2b222fee73959a0760ac8867be7f19ce6
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/20230417/61eff945/attachment.html>