Progress of development (#150)

* fix for vscode template

* adding code for installing built folder

* progress of implementing installation default lib logic

* fixes to default lib install process

* update

* added checks for file presence

* progress of implementing install for default lib

* update compile for linux

* update build script for linux

* update launch.json file

* update launch.json

* updated launch.json

* fixed issue with not detecting error in call statements

* added more to d.ts file

* progress of testing

* progress of implementing boxing/unboxing

* progress of implementing unboxing

* reworked unbox

* fix for typeof

* some fixes

* more fixes to unboxing

* fixes to unboxing

* fixed issue with box cast

* added boxing/unboxing class test

* updated test

* updating test

* update any test

* refactoring unboxing

* update after testing

* removing embeded type Array

* removed reference to Array type

* more fixes to Array type

* some fixes

* more fixes

* fixed issue with using spread in generic calls

* update

* updated test for typed arrays

* fixes

* rrefactored type alias to reduce compilcation time

* update build script

* fixes

* added sourceFile to generic objects

* improved code

* fixed issue with incorrect filename in errors

Author: ASDAlexander77

tag.bat

@@ -1,2 +1,2 @@
-git tag -a v0.0-pre-alpha63 -m "pre alpha v0.0-63"
+git tag -a v0.0-pre-alpha64 -m "pre alpha v0.0-64"
 git push origin --tags

tag_del.bat

@@ -1,2 +1,2 @@
-git push --delete origin v0.0-pre-alpha63
-git tag -d v0.0-pre-alpha63
+git push --delete origin v0.0-pre-alpha64
+git tag -d v0.0-pre-alpha64

tsc/include/TypeScript/Config.h

@@ -51,8 +51,8 @@
 //#define ENABLE_DEBUGINFO_PATCH_INFO true
 
 #define ENABLE_JS_BUILTIN_TYPES true
-#define ENABLE_JS_TYPEDARRAYS true
-#define ENABLE_JS_TYPEDARRAYS_NOBUILTINS true
+//#define ENABLE_JS_TYPEDARRAYS true
+//#define ENABLE_JS_TYPEDARRAYS_NOBUILTINS true
 #define ENABLE_NATIVE_TYPES true
 #define NO_DEFAULT_LIB true
 

tsc/include/TypeScript/LowerToLLVM/CastLogicHelper.h

@@ -1024,6 +1024,7 @@ class CastLogicHelper
         return boxedValue;
     }
 
+    // TODO: should be casted from MLIRGen
     mlir::Value castFromAny(mlir::Value in, mlir::Type resType)
     {
         LLVM_DEBUG(llvm::dbgs() << "\n!! cast from any: " << in << " to " << resType << "\n";);

tsc/include/TypeScript/LowerToLLVM/TypeOfOpHelper.h

@@ -36,7 +36,8 @@ class TypeOfOpHelper
         if (type.isIntOrIndex() && !type.isIndex())
         {
             std::stringstream val;
-            val << "i" << type.getIntOrFloatBitWidth();
+            val << (type.isSignlessInteger() ? "i" : type.isSignedInteger() ? "s" : "u") 
+                << type.getIntOrFloatBitWidth();
             auto typeOfValue = strValue(loc, val.str());
             return typeOfValue;
         }

tsc/include/TypeScript/MLIRLogic/MLIRGenStore.h

@@ -34,6 +34,9 @@ struct GenericFunctionInfo
 
     llvm::StringMap<std::pair<TypeParameterDOM::TypePtr, mlir::Type>> typeParamsWithArgs;
 
+    SourceFile sourceFile;
+    StringRef fileName;
+
     bool processing;
     bool processed;
 
@@ -540,6 +543,9 @@ struct GenericInterfaceInfo
 
     InterfaceDeclaration interfaceDeclaration;
 
+    SourceFile sourceFile;
+    StringRef fileName;
+
     GenericInterfaceInfo()
     {
     }
@@ -555,12 +561,16 @@ struct ImplementInfo
 enum class ProcessingStages : int {
     NotSet = 0,
     ErrorInStorageClass = 1,
-    Processing = 2,
-    ProcessingStorageClass = 3,
-    ProcessedStorageClass = 4,
-    ProcessingBody = 5,
-    ProcessedBody = 6,
-    Processed = 7,
+    ErrorInMembers = 2,
+    ErrorInBaseInterfaces = 3,
+    ErrorInHeritageClauseImplements = 4,
+    ErrorInVTable = 5,
+    Processing = 6,
+    ProcessingStorageClass = 7,
+    ProcessedStorageClass = 8,
+    ProcessingBody = 9,
+    ProcessedBody = 10,
+    Processed = 11,
 };
 
 struct EnumInfo
@@ -949,6 +959,9 @@ struct GenericClassInfo
 
     ClassLikeDeclaration classDeclaration;
 
+    SourceFile sourceFile;
+    StringRef fileName;
+
     GenericClassInfo()
     {
     }
@@ -977,7 +990,7 @@ struct NamespaceInfo
 
     llvm::StringMap<llvm::SmallVector<mlir::typescript::FieldInfo>> localVarsInThisContextMap;
 
-    llvm::StringMap<mlir::Type> typeAliasMap;
+    llvm::StringMap<std::pair<mlir::Type, TypeNode>> typeAliasMap;
 
     llvm::StringMap<std::pair<llvm::SmallVector<TypeParameterDOM::TypePtr>, TypeNode>> genericTypeAliasMap;
 

tsc/include/TypeScript/MLIRLogic/MLIRPrinter.h

@@ -351,6 +351,9 @@ class MLIRPrinter
             .template Case<mlir_ts::NullType>([&](auto) {
                 out << "null";
             })
+            .template Case<mlir_ts::BigIntType>([&](auto) {
+                out << "bigint";
+            })
             .template Case<mlir_ts::NamespaceType>([&](auto t) {
                 out << t.getName().getValue().str().c_str();
             })

tsc/include/TypeScript/MLIRLogic/MLIRTypeHelper.h

@@ -255,7 +255,13 @@ class MLIRTypeHelper
         }
         else if (typeIn.isIntOrIndex())
         {
-            return mlir::StringAttr::get(context, std::string("i") + std::to_string(typeIn.getIntOrFloatBitWidth()));
+            return mlir::StringAttr::get(
+                context, 
+                std::string((typeIn.isSignlessInteger() 
+                    ? "i" 
+                    : typeIn.isSignedInteger() 
+                        ? "s" 
+                        : "u")) + std::to_string(typeIn.getIntOrFloatBitWidth()));
         }
         else if (typeIn.isIntOrFloat())
         {

tsc/include/TypeScript/MLIRLogic/MLIRTypeIterator.h

@@ -384,6 +384,9 @@ class MLIRTypeIterator
                           .Case<mlir_ts::NullType>([&](auto) {
                               return true;
                           })                                                 
+                          .Case<mlir_ts::BigIntType>([&](auto) {
+                              return true;
+                          })                                                 
                           .Case<mlir::NoneType>([&](auto) {
                               return true;
                           })                          

tsc/include/TypeScript/MLIRLogic/TypeOfOpHelper.h

@@ -37,7 +37,7 @@ class TypeOfOpHelper
         if (type.isIntOrIndex() && !type.isIndex())
         {
             std::stringstream val;
-            val << "i" << type.getIntOrFloatBitWidth();
+            val << (type.isSignlessInteger() ? "i" : type.isSignedInteger() ? "s" : "u") << type.getIntOrFloatBitWidth();
             auto typeOfValue = strValue(loc, val.str());
             return typeOfValue;
         }