diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-07-23 09:03:41 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-07-23 09:03:41 -0400 |
commit | 8a2b82151a52f3c2e99d60b76026b22b088b9e56 (patch) | |
tree | 4e519e4d4a0bd9a3e0c823866ff23c65992e4d03 /tests/impl.ur | |
parent | 0cb456bbab73abfd9c08af101d1dfe71cf2d41d4 (diff) |
Disallow suspending operations in <active code={...}>
Diffstat (limited to 'tests/impl.ur')
0 files changed, 0 insertions, 0 deletions