diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-05 22:02:23 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-05 22:02:23 +0100 |
| commit | 21b6a5c800dda09ba859beea02037718eda108e3 (patch) | |
| tree | 53d491a3c3af67d4794e68d4c11ca1481321a2a4 /src/main/java/org/shedlang/compiler/ShedCompiler.java | |
| parent | fa240b137df27cf6a938eb0432ef62ad7ba718e4 (diff) | |
Type check returns
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ShedCompiler.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/ShedCompiler.java b/src/main/java/org/shedlang/compiler/ShedCompiler.java index e91f6655..ee6b3501 100644 --- a/src/main/java/org/shedlang/compiler/ShedCompiler.java +++ b/src/main/java/org/shedlang/compiler/ShedCompiler.java @@ -39,7 +39,7 @@ public class ShedCompiler { .addNamespaceFields(ShedBuiltins.NAMESPACE_NAME, P.orderedMap( Map.entry(ShedBuiltins.PRINT_NAME, ShedBuiltins.PRINT_TYPE) )) - .enterBlockWithDefinedVariables(P.map( + .enterNamespaceWithDefinedVariables(P.map( Map.entry("Io", Types.effectType(Effects.IO)), Map.entry("Unit", Types.metaType(Types.UNIT)), |