X-Git-Url: https://gitweb.ps.run/toc/blobdiff_plain/c2ba7425955ae538e220cec79d9124756d1b4c8b..66a27d2fc7c1ad4e97de76d4982168a0fed9920a:/src/repr.h

diff --git a/src/repr.h b/src/repr.h
index f12b0da..569411c 100644
--- a/src/repr.h
+++ b/src/repr.h
@@ -8,6 +8,8 @@
 
 using namespace std;
 
+// This contains a 1 to 1 representation of the defined language
+
 struct Type;
 struct Variable;
 struct Body;
@@ -37,10 +39,17 @@ struct AssignStmt;
 struct ReturnStmt;
 struct Stmt;
 
+// Context is a collection of everything that can be defined in a namespace
+// that is reused for bodies so that the hierarchy can be walked uniformly
+// both up and down using the parent variable
 struct Context
 {
+  std::optional<std::string> name;
   std::shared_ptr<Context> parent;
   std::vector<Variable> variables;
+  std::vector<Function> functions;
+  std::vector<Struct> structs;
+  std::vector<Namespace> namespaces;
 };
 
 enum class TypeModifierType
@@ -61,6 +70,22 @@ struct Type
   std::vector<std::string> namespacePrefixes;
   std::string name;
   std::vector<TypeModifier> modifiers;
+  std::vector<Type> genericInstantiation;
+  
+  bool operator!=(const Type & that)
+  {
+    if (this->name != that.name)
+      return true;
+
+    for (int i = 0; i < this->modifiers.size(); i++)
+      if (this->modifiers[i].type != that.modifiers[i].type)
+        return true;
+
+    for (int i = 0; i < this->namespacePrefixes.size(); i++)
+      if (this->namespacePrefixes[i] != that.namespacePrefixes[i])
+        return true;
+    return false;
+  }
 };
 
 struct Variable
@@ -77,10 +102,14 @@ struct Body
 
 struct Function
 {
-  Type returnType;
   std::string name;
+  Type returnType;
   std::vector<Variable> parameters;
   bool defined;
+
+  std::vector<std::string> genericTypeNames;
+  std::vector<std::vector<Type>> genericInstantiations;
+
   Body body;
 };
 
@@ -95,6 +124,8 @@ struct StructMember
 struct Struct
 {
   std::string name;
+  std::vector<std::string> genericTypeNames;
+  std::vector<std::vector<Type>> genericInstantiations;
   std::vector<StructMember<Variable>> members;
   std::vector<StructMember<Function>> methods;
 };
@@ -103,17 +134,11 @@ struct Namespace
 {
   std::string name;
   std::shared_ptr<Context> ctx;
-  std::vector<Struct> structs;
-  std::vector<Function> functions;
-  std::vector<Namespace> namespaces;
 };
 
 struct Program
 {
   std::shared_ptr<Context> ctx;
-  std::vector<Struct> structs;
-  std::vector<Function> functions;
-  std::vector<Namespace> namespaces;
 };
 
 enum class ExprType
@@ -126,6 +151,7 @@ struct FuncExpr
   std::vector<std::string> namespacePrefixes;
   std::string functionName;
   std::vector<Expr> arguments;
+  std::vector<Type> genericInstantiation;
 };
 
 struct MethodExpr
@@ -133,6 +159,7 @@ struct MethodExpr
   std::shared_ptr<Expr> expr;
   std::string methodName;
   std::vector<Expr> arguments;
+  std::vector<Type> genericInstantiation;
 };
 
 enum class LitType
@@ -157,10 +184,13 @@ struct ParenExpr
 
 struct DotExpr
 {
+  bool isPointer;
   std::shared_ptr<Expr> expr;
   std::string identifier;
 };
 
+// OperatorType enum with corresponding string array to lookup
+// enum from string and the other way round
 enum class PrefixOperatorType
 {
   Plus, Minus, Increment, Decrement,