diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-01-03 21:48:58 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-01-03 21:48:58 +0000 |
| commit | 41ca4d2ab2310cb53921a5ae11b2b2aea2756ccb (patch) | |
| tree | 3a8451f8b7bddc2163a351263c2ce9d134d6a01c /examples/27-effect-handler-nested/src/Example.shed | |
| parent | 2b07a0dd23552612aa05f826763e061604fc61fd (diff) | |
Check subtyping when supertype is free type param
Diffstat (limited to 'examples/27-effect-handler-nested/src/Example.shed')
0 files changed, 0 insertions, 0 deletions