diff options
Diffstat (limited to 'testsuite/tests/impredicative/T18126-nasty.hs')
| -rw-r--r-- | testsuite/tests/impredicative/T18126-nasty.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/impredicative/T18126-nasty.hs b/testsuite/tests/impredicative/T18126-nasty.hs index 2e747d0791..da6e872e47 100644 --- a/testsuite/tests/impredicative/T18126-nasty.hs +++ b/testsuite/tests/impredicative/T18126-nasty.hs @@ -9,6 +9,8 @@ module Bug where -- (which here is switched on by ($)) -- beecause of a very subtle issue where we instantiate an -- instantiation variable with (F alpha), where F is a type function +-- +-- It's a stripped-dwn version of T5490 register :: forall rs op_ty. (HDrop rs ~ HSingle (WaitOpResult op_ty)) |