diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-10-24 21:17:39 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-10-24 21:17:39 +0100 |
| commit | b18304ac527691bb778ca467cfef17805a4d85a7 (patch) | |
| tree | 5869f822e8e2280bd67a5e59f98cf4acb2c204fd /src/main/java/org/shedlang/compiler/SourceFiles.java | |
| parent | 0dccc0cdf7813c3c5571a79186a73bfd239a66d6 (diff) | |
Type check return type of function type
Diffstat (limited to 'src/main/java/org/shedlang/compiler/SourceFiles.java')
0 files changed, 0 insertions, 0 deletions