Revert "remove AtomType stub - it was not finished - to be re-added in next iteration"

This reverts commit 5be3b82.

Author: radeusgd

engine/runtime-compiler/src/main/java/org/enso/compiler/pass/analyse/types/scope/AtomType.java

@@ -0,0 +1,19 @@
+package org.enso.compiler.pass.analyse.types.scope;
+
+import java.util.List;
+
+public final class AtomType {
+  private final String name;
+
+  public AtomType(String name, List<Constructor> constructors) {
+    this.name = name;
+  }
+
+  public String getName() {
+    return name;
+  }
+
+  // This is a sibling to BindingsMap.Cons. For now kept separate on purpose.
+  // TODO do we want arguments or a signature here?
+  public record Constructor(String name, boolean isProjectPrivate) {}
+}

engine/runtime-compiler/src/main/java/org/enso/compiler/pass/analyse/types/scope/StaticModuleScope.java

@@ -32,18 +32,21 @@ public final class StaticModuleScope implements ProcessingPass.Metadata {
   private final TypeScopeReference associatedType;
   private final List<StaticImportExportScope> imports;
   private final List<StaticImportExportScope> exports;
+  private final Map<String, AtomType> typesDefinedHere;
   private final Map<TypeScopeReference, Map<String, TypeRepresentation>> methods;
 
   private StaticModuleScope(
       QualifiedName moduleName,
       TypeScopeReference associatedType,
       List<StaticImportExportScope> imports,
       List<StaticImportExportScope> exports,
+      Map<String, AtomType> typesDefinedHere,
       Map<TypeScopeReference, Map<String, TypeRepresentation>> methods) {
     this.moduleName = moduleName;
     this.associatedType = associatedType;
     this.imports = imports;
     this.exports = exports;
+    this.typesDefinedHere = typesDefinedHere;
     this.methods = methods;
   }
 
@@ -52,6 +55,7 @@ static final class Builder {
     private final TypeScopeReference associatedType;
     private final List<StaticImportExportScope> imports = new ArrayList<>();
     private final List<StaticImportExportScope> exports = new ArrayList<>();
+    private final Map<String, AtomType> typesDefinedHere = new HashMap<>();
     private final Map<TypeScopeReference, Map<String, TypeRepresentation>> methods =
         new HashMap<>();
 
@@ -76,6 +80,7 @@ public StaticModuleScope build() {
           associatedType,
           Collections.unmodifiableList(imports),
           Collections.unmodifiableList(exports),
+          Collections.unmodifiableMap(typesDefinedHere),
           Collections.unmodifiableMap(methods));
     }
 
@@ -87,6 +92,14 @@ public TypeScopeReference getAssociatedType() {
       return associatedType;
     }
 
+    void registerType(AtomType type) {
+      checkSealed();
+      var previous = typesDefinedHere.putIfAbsent(type.getName(), type);
+      if (previous != null) {
+        throw new IllegalStateException("Type already defined: " + type.getName());
+      }
+    }
+
     void registerMethod(TypeScopeReference parentType, String name, TypeRepresentation type) {
       checkSealed();
       var typeMethods = methods.computeIfAbsent(parentType, k -> new HashMap<>());

engine/runtime-compiler/src/main/java/org/enso/compiler/pass/analyse/types/scope/StaticModuleScopeAnalysis.java

@@ -136,8 +136,18 @@ protected void processMethodDefinition(Method.Explicit method) {
 
     @Override
     protected void processTypeDefinition(Definition.Type typ) {
+      List<AtomType.Constructor> constructors =
+          CollectionConverters$.MODULE$.asJava(typ.members()).stream()
+              .map(
+                  constructorDef ->
+                      new AtomType.Constructor(
+                          constructorDef.name().name(), constructorDef.isPrivate()))
+              .toList();
+
+      AtomType atomType = new AtomType(typ.name().name(), constructors);
       var qualifiedName = scopeBuilder.getModuleName().createChild(typ.name().name());
       var atomTypeScope = TypeScopeReference.atomType(qualifiedName);
+      scopeBuilder.registerType(atomType);
       registerFieldGetters(scopeBuilder, atomTypeScope, typ);
     }