diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-05 19:38:22 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-05 19:38:22 +0000 |
| commit | 120b830cab1462d76761ee0d26cba7df783dc741 (patch) | |
| tree | 01a0877a9cfcf747ec0749bf46f3853c5763c4d6 /src/main/java/org/shedlang/compiler/ShedCompiler.java | |
| parent | 23bc783e4c0eea019d47f1b69d9d8a74adb15326 (diff) | |
Check that handled effect is user-defined effect
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
0 files changed, 0 insertions, 0 deletions