diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-01-05 18:32:18 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-01-11 19:47:39 -0500 |
| commit | c2099059eca2f5f0217256374834784f008b7602 (patch) | |
| tree | 515192aed0b2ea7688281aab187a8e7776e2ef66 /testsuite | |
| parent | 35bea01b4df92f5c0bf875e8a8deed2252821f5b (diff) | |
| download | haskell-c2099059eca2f5f0217256374834784f008b7602.tar.gz | |
RTTI: Substitute the [rk] skolems into kinds
(Fixes #10616 and #10617)
Co-authored-by: Roland Senn <rsx@bluewin.ch>
Diffstat (limited to 'testsuite')
7 files changed, 43 insertions, 0 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/T10616.hs b/testsuite/tests/ghci.debugger/scripts/T10616.hs new file mode 100644 index 0000000000..f4339ab279 --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/T10616.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE PolyKinds #-} + +data D a = A | B + +f d@A = const True d +f B = False diff --git a/testsuite/tests/ghci.debugger/scripts/T10616.script b/testsuite/tests/ghci.debugger/scripts/T10616.script new file mode 100644 index 0000000000..a711d4e6ac --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/T10616.script @@ -0,0 +1,4 @@ +:l T10616.hs +:break f +f A +:continue diff --git a/testsuite/tests/ghci.debugger/scripts/T10616.stdout b/testsuite/tests/ghci.debugger/scripts/T10616.stdout new file mode 100644 index 0000000000..a88ee3f583 --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/T10616.stdout @@ -0,0 +1,6 @@ +Breakpoint 0 activated at T10616.hs:5:9-20 +Breakpoint 1 activated at T10616.hs:6:7-11 +Stopped in Main.f, T10616.hs:5:9-20 +_result :: Bool = _ +d :: D a = A +True diff --git a/testsuite/tests/ghci.debugger/scripts/T10617.hs b/testsuite/tests/ghci.debugger/scripts/T10617.hs new file mode 100644 index 0000000000..bc649a7c63 --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/T10617.hs @@ -0,0 +1,15 @@ +{-# LANGUAGE GADTs, StandaloneKindSignatures, PolyKinds, RankNTypes #-} + +import GHC.Types (Type) + +type AppTreeT :: forall k. k -> Type +data AppTreeT a where + Con :: AppTreeT a + App :: AppTreeT a -> AppTreeT b -> AppTreeT (a b) + +tmt :: AppTreeT (Maybe Bool) +tmt = App (Con :: AppTreeT Maybe) Con + +f :: AppTreeT a -> Bool +f (App (c@Con) _) = const True c +f _ = False diff --git a/testsuite/tests/ghci.debugger/scripts/T10617.script b/testsuite/tests/ghci.debugger/scripts/T10617.script new file mode 100644 index 0000000000..cc5320695e --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/T10617.script @@ -0,0 +1,4 @@ +:l T10617.hs +:break f +f tmt +:continue diff --git a/testsuite/tests/ghci.debugger/scripts/T10617.stdout b/testsuite/tests/ghci.debugger/scripts/T10617.stdout new file mode 100644 index 0000000000..4539e6323e --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/T10617.stdout @@ -0,0 +1,6 @@ +Breakpoint 0 activated at T10617.hs:14:21-32 +Breakpoint 1 activated at T10617.hs:15:7-11 +Stopped in Main.f, T10617.hs:14:21-32 +_result :: Bool = _ +c :: AppTreeT a1 = Con +True diff --git a/testsuite/tests/ghci.debugger/scripts/all.T b/testsuite/tests/ghci.debugger/scripts/all.T index 3f1fc88644..4ed1fc046e 100644 --- a/testsuite/tests/ghci.debugger/scripts/all.T +++ b/testsuite/tests/ghci.debugger/scripts/all.T @@ -111,6 +111,8 @@ test('getargs', extra_files(['../getargs.hs']), ghci_script, ['getargs.script']) test('T7386', normal, ghci_script, ['T7386.script']) test('T8487', normal, ghci_script, ['T8487.script']) test('T8557', normal, ghci_script, ['T8557.script']) +test('T10616', normal, ghci_script, ['T10616.script']) +test('T10617', normal, ghci_script, ['T10617.script']) test('T12449', normal, ghci_script, ['T12449.script']) test('T12458', normal, ghci_script, ['T12458.script']) test('T13825-debugger', |