Fix auto-deduce classes

codon/parser/visitors/typecheck/class.cpp

@@ -84,9 +84,7 @@ void TypecheckVisitor::visit(ClassStmt *stmt) {
 
     // Parse and add class generics
     std::vector<Param> args;
-    if (stmt->hasAttribute("deduce") && args.empty()) {
+    if (stmt->hasAttribute(Attr::Extend)) {
-      E(Error::CUSTOM, stmt, "not yet implemented");
-    } else if (stmt->hasAttribute(Attr::Extend)) {
       for (auto &a : argsToParse) {
         if (!a.isGeneric())
           continue;
@@ -96,6 +94,11 @@ void TypecheckVisitor::visit(ClassStmt *stmt) {
         args.emplace_back(val->canonicalName, nullptr, nullptr, a.status);
       }
     } else {
+      if (stmt->hasAttribute(Attr::ClassDeduce) && args.empty()) {
+        autoDeduceMembers(stmt, argsToParse);
+        stmt->eraseAttribute(Attr::ClassDeduce);
+      }
+
       // Add all generics before parent classes, fields and methods
       for (auto &a : argsToParse) {
         if (!a.isGeneric())
@@ -492,36 +495,23 @@ std::vector<TypePtr> TypecheckVisitor::parseBaseClasses(
 ///        x: T1
 ///        y: T2```
 /// @return the transformed init and the pointer to the original function.
-std::pair<Stmt *, FunctionStmt *>
+void TypecheckVisitor::autoDeduceMembers(ClassStmt *stmt, std::vector<Param> &args) {
-TypecheckVisitor::autoDeduceMembers(ClassStmt *stmt, std::vector<Param> &args) {
+  std::set<std::string> members;
-  // std::pair<Stmt *, FunctionStmt *> init{nullptr, nullptr};
+  for (const auto &sp : getClassMethods(stmt->suite))
-  // for (const auto &sp : getClassMethods(stmt->suite))
+    if (auto f = cast<FunctionStmt>(sp)) {
-  //   if (auto f = cast<FunctionStmt>(sp)) {
+      if (f->name == "__init__")
-  //     // todo)) do this
+        if (auto b = f->getAttribute<ir::StringListAttribute>(Attr::ClassDeduce)) {
-  //     if (f->name == "__init__" && !f->args.empty() && f->args[0].name == "self") {
+          f->setAttribute(Attr::RealizeWithoutSelf);
-  //       // Set up deducedMembers that will be populated during AssignStmt evaluation
+          for (auto m : b->values)
-  //       ctx->getBase()->deducedMembers =
+            members.insert(m);
-  //       std::make_shared<std::vector<std::string>>(); auto transformed =
+        }
-  //       transform(sp);
+    }
-  //       transformed->getFunction()->attributes.set(Attr::RealizeWithoutSelf);
+  for (auto m : members) {
-  //       ctx->cache->functions[transformed->getFunction()->name].ast->attributes.set(
+    auto genericName = fmt::format("T_{}", m);
-  //           Attr::RealizeWithoutSelf);
+    args.emplace_back(genericName, N<IdExpr>(TYPE_TYPE), N<IdExpr>("NoneType"),
-  //       int i = 0;
+                      Param::Generic);
-  //       // Once done, add arguments
+    args.emplace_back(m, N<IdExpr>(genericName));
-  //       for (auto &m : *(ctx->getBase()->deducedMembers)) {
+  }
-  //         auto varName = ctx->generateCanonicalName(format("T{}", ++i));
-  //         auto memberName = ctx->cache->rev(varName);
-  //         ctx->addType(memberName, varName, stmt->getSrcInfo())->generic = true;
-  //         args.emplace_back(varName, N<IdExpr>(TYPE_TYPE), nullptr, Param::Generic);
-  //         args.emplace_back(m, N<IdExpr>(varName));
-  //         ctx->cache->classes[canonicalName].fields.push_back(
-  //             Cache::Class::ClassField{m, nullptr, canonicalName});
-  //       }
-  //       ctx->getBase()->deducedMembers = nullptr;
-  //       return {transformed, f};
-  //     }
-  //   }
-  return {nullptr, nullptr};
 }
 
 /// Return a list of all statements within a given class suite.

codon/parser/visitors/typecheck/infer.cpp

@@ -410,6 +410,15 @@ types::Type *TypecheckVisitor::realizeFunc(types::FuncType *type, bool force) {
   }
   // Realize the return type
   auto ret = realize(type->getRetType());
+  if (ast->hasAttribute(Attr::RealizeWithoutSelf) &&
+      !extractFuncArgType(type)->canRealize()) { // For RealizeWithoutSelf
+    realizations.erase(key);
+    ctx->bases.pop_back();
+    ctx->popBlock();
+    ctx->typecheckLevel--;
+    getLogger().level--;
+    return nullptr;
+  }
   seqassert(ret, "cannot realize return type '{}'", *(type->getRetType()));
 
   // LOG("[realize] F {} -> {} => {}", type->getFuncName(), type->debugString(2),

codon/parser/visitors/typecheck/typecheck.h

@@ -199,8 +199,7 @@ private:
                                                std::vector<Param> &, Stmt *,
                                                const std::string &, Expr *,
                                                types::ClassType *);
-  std::pair<Stmt *, FunctionStmt *> autoDeduceMembers(ClassStmt *,
+  void autoDeduceMembers(ClassStmt *, std::vector<Param> &);
-                                                      std::vector<Param> &);
   std::vector<Stmt *> getClassMethods(Stmt *s);
   void transformNestedClasses(ClassStmt *, std::vector<Stmt *> &, std::vector<Stmt *> &,
                               std::vector<Stmt *> &);

test/parser/typecheck/test_class.codon

@@ -378,11 +378,17 @@ print(f.x, f.y, f.__class__.__name__) #: ['s'] (1, 's') Foo[List[str],Tuple[int,
 
 @deduce
 class Bar:
-    def __init__(self, y):
+    def __init__(self, y: float):
         self.y = Foo(y)
+    def __init__(self, y: str):
+        self.x = Foo(y)
 
 b = Bar(3.1)
-print(b.y.x, b.__class__.__name__) #: [3.1] Bar[Foo[List[float],Tuple[int,float]]]
+print(b.x.__class__.__name__, b.y.__class__.__name__, b.y.x, b.__class__.__name__)
+#: NoneType Foo[List[float],Tuple[int,float]] [3.1] Bar[NoneType,Foo[List[float],Tuple[int,float]]]
+b = Bar('3.1')
+print(b.x.__class__.__name__, b.y.__class__.__name__, b.x.x, b.__class__.__name__)
+#: Foo[List[str],Tuple[int,str]] NoneType ['3.1'] Bar[Foo[List[str],Tuple[int,str]],NoneType]
 
 #%% class_var,barebones
 class Foo: