diff options
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/test_features.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/unit/test_features.py b/test/unit/test_features.py index d2d72a8e4..cd8aebbb1 100644 --- a/test/unit/test_features.py +++ b/test/unit/test_features.py @@ -294,6 +294,18 @@ class FeatureValidationTest(utils.BinaryenTestCase): 'Tags with result types require typed ' 'continuations feature [--enable-typed-continuations]') + def test_cont_type(self): + module = ''' + (module + (type $ft (func (param i32) (result i32))) + (type $ct (cont $ft)) + (func $foo + (local $0 (ref $ct)) + ) + ) + ''' + self.check_typed_continuations(module, 'all used types should be allowed') + class TargetFeaturesSectionTest(utils.BinaryenTestCase): def test_atomics(self): |