[Git][ghc/ghc][wip/expand-do] Regression for #21206 fixed as part of #18324

[Apoorv Ingle (@ani)]

Apoorv Ingle pushed to branch wip/expand-do at Glasgow Haskell Compiler / GHC


Commits:
e010a03c by Apoorv Ingle at 2023-10-03T08:25:26-05:00
Regression for #21206 fixed as part of #18324

- - - - -


2 changed files:

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


Changes:

=====================================
testsuite/tests/typecheck/should_compile/T21206.hs
=====================================
@@ -0,0 +1,33 @@
+{-# LANGUAGE QualifiedDo #-}
+module T where
+
+import Prelude hiding (pure, (>>=))
+
+data Free f u a
+  = Pure (u a)
+  | forall x. Free (f u x) (forall u'. u <= u' => u' x -> Free f u' x)
+
+pure :: u a -> Free f u a
+pure = Pure
+(>>=) :: Free f u a -> (forall u'. u <= u' => u' a -> Free f u' a) -> Free f u a
+Pure x >>= k = k x
+
+class f < g where
+  inj :: f u a -> g u a
+
+class u <= u' where
+  inj' :: u a -> u' a
+
+instance u <= u where
+  inj' = id
+
+send :: (f < g) => f u a -> Free g u a
+send op = Free (inj op) Pure
+
+data State s u a where
+  Get :: State s u s
+  Put :: u s -> State s u ()
+
+prog () = T.do
+  x <- send Get
+  Pure x


=====================================
testsuite/tests/typecheck/should_compile/all.T
=====================================
@@ -896,3 +896,4 @@ test('T23861', normal, compile, [''])
 test('T23918', normal, compile, [''])
 test('T17564', normal, compile, [''])
 test('T22788', normal, compile, [''])
+test('T21206', normal, compile, [''])



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e010a03c1f2ba0d565f9751af5ab83f1fc388d4e
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/20231003/4404346f/attachment-0001.html>