diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-05 20:29:44 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-05 20:29:44 +0000 |
| commit | f98ea69c9d401217af2a6a5d7ab42dae0ae65b6d (patch) | |
| tree | 87fe99ad2a2e5f06b0c7b40c6bafaf5adb806a45 /src/main/java/org/shedlang/compiler/ShedCompiler.java | |
| parent | dee7b5195105812c776f5c3fd1814ad25ce4e358 (diff) | |
Introduce FieldInfo
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ShedCompiler.java | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/main/java/org/shedlang/compiler/ShedCompiler.java b/src/main/java/org/shedlang/compiler/ShedCompiler.java index 6e7f187a..1c2a471f 100644 --- a/src/main/java/org/shedlang/compiler/ShedCompiler.java +++ b/src/main/java/org/shedlang/compiler/ShedCompiler.java @@ -10,10 +10,7 @@ import org.shedlang.compiler.stackir.StackCompiler; import org.shedlang.compiler.stackir.StackIrNamespace; import org.shedlang.compiler.typechecker.TypeChecker; import org.shedlang.compiler.typechecker.TypeCheckerContext; -import org.shedlang.compiler.typechecker.TypeInfos; -import org.shedlang.compiler.types.Effects; -import org.shedlang.compiler.types.NamespaceName; -import org.shedlang.compiler.types.Types; +import org.shedlang.compiler.types.*; import org.shedlang.compiler.util.P; import java.io.IOException; @@ -42,9 +39,12 @@ public class ShedCompiler { var namespaces = new ArrayList<StackIrNamespace>(); var typeCheckerContext = TypeCheckerContext.EMPTY - .addNamespaceFields(ShedBuiltins.NAMESPACE_NAME, P.orderedMap( - Map.entry(ShedBuiltins.PRINT_NAME, ShedBuiltins.PRINT_TYPE) - )) + .addNamespaceTypeInfo( + ShedBuiltins.NAMESPACE_NAME, + new NamespaceTypeInfo(FieldsInfo.of( + new FieldInfo<>(ShedBuiltins.PRINT_NAME, ShedBuiltins.PRINT_TYPE) + )) + ) .enterGlobal(P.map( Map.entry("Bool", Types.metaType(Types.BOOL)), Map.entry("Int", Types.metaType(Types.INT)), |