Join points can be levity-polymorphic
[ghc.git] / testsuite / tests / polykinds / all.T
index 270aea3..8dd27b0 100644 (file)
@@ -155,3 +155,4 @@ test('T12718', normal, compile, [''])
 test('T12444', normal, compile_fail, [''])
 test('T12885', normal, compile, [''])
 test('T13267', normal, compile_fail, [''])
+test('T13394', normal, compile, [''])