[Git][ghc/ghc][wip/T23861] testsuite: Add regression test for #23861

[Zubin (@wz1000)]

Zubin pushed to branch wip/T23861 at Glasgow Haskell Compiler / GHC


Commits:
5248fdf7 by Zubin Duggal at 2023-08-28T15:01:09+05:30
testsuite: Add regression test for #23861

Simon says this was fixed by

commit 8d68685468d0b6e922332a3ee8c7541efbe46137
Author: sheaf <sam.derbyshire at gmail.com>
Date:   Fri Aug 4 15:28:45 2023 +0200

    Remove zonk in tcVTA

- - - - -


2 changed files:

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


Changes:

=====================================
testsuite/tests/typecheck/should_compile/T23861.hs
=====================================
@@ -0,0 +1,13 @@
+module M where
+
+newtype GetDiscardingUnlift a = MkGetDiscardingUnlift
+    { unGetDiscardingUnlift :: forall m. Either a m
+    }
+
+build :: forall a. a -> GetDiscardingUnlift a
+build w =
+    case build w of
+        MkGetDiscardingUnlift getDiscardingUnlift' ->
+         let getDiscardingUnlift'' :: forall m. Either a m
+             getDiscardingUnlift'' = getDiscardingUnlift' @m
+         in  MkGetDiscardingUnlift getDiscardingUnlift''


=====================================
testsuite/tests/typecheck/should_compile/all.T
=====================================
@@ -891,3 +891,4 @@ test('T18986b', normal, compile, [''])
 test('T23413', normal, compile, [''])
 test('TcIncompleteRecSel', normal, compile, ['-Wincomplete-record-selectors'])
 test('InstanceWarnings', normal, multimod_compile, ['InstanceWarnings', ''])
+test('T23861', normal, compile, [''])



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5248fdf75d1e5b5d097cd86af8e230dc5844f4ca
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/20230828/2eb2bfb5/attachment-0001.html>