feat: Add support for typing annotation

Author: xmnlab

.makim.yaml

@@ -1,7 +1,7 @@
 version: 1.0.0
 env:
   CFLAGS_EXTRA: "\
-    -fsanitize\
+    -fsanitize=address\
     "
   # use it for ASAN and LSAN
   SAN_OPTIONS_DEFAULT: "\
@@ -19,8 +19,9 @@ env:
     :print_legend=1\
     :detect_leaks=1\
     "
-  MESON_EXTRA: "-Db_coverage=true \
-    -Doptimization=0 \
+  MESON_EXTRA_DEBUG: "-Db_coverage=true \
+    --optimization=0 \
+    --debug \
     -Db_sanitize=address \
     "
 groups:
@@ -104,7 +105,7 @@ groups:
           - target: build.release
             args:
               build-type: "debug"
-              meson-extra: {{ env.MESON_EXTRA }}
+              meson-extra: {{ env.MESON_EXTRA_DEBUG }}
               clean: {{ args.clean }}
               asan-options: {{ env.SAN_OPTIONS_DEFAULT }}
               lsan-options: {{ env.SAN_OPTIONS_DEFAULT }}
@@ -120,7 +121,7 @@ groups:
           - target: build.release
             args:
               build-type: "debug"
-              meson-extra: {{ env.MESON_EXTRA }} -Ddev=enabled
+              meson-extra: {{ env.MESON_EXTRA_DEBUG }} -Ddev=enabled
               clean: {{ args.clean }}
               asan-options: {{ env.SAN_OPTIONS_DEFAULT }}
               lsan-options: {{ env.SAN_OPTIONS_DEFAULT }}
@@ -231,7 +232,7 @@ groups:
 
           if [[ "{{ args.debug  }}" == "True" ]]; then
             GDB="gdb --args"
-            DEBUG_FLAGS="-g"
+            DEBUG_FLAGS="-Og"
           fi
 
           TEST_DIR_PATH="./tests"
@@ -261,7 +262,7 @@ groups:
             print_header "${test_name}"
             OBJECT_FILE="${TMP_DIR}/${test_name}.o"
 
-            ${ARX} --output "${OBJECT_FILE}" --input "examples/${test_name}.arx"
+            ${ARX} --output "${OBJECT_FILE}" --input "examples/${test_name}.arx --build-lib"
 
             set -x
             clang++ \
@@ -381,4 +382,5 @@ groups:
           gdb \
             --args build/arx \
             --input `pwd`/examples/{{ args.test_name }}.arx \
+            --build-lib \
             --output "/tmp/{{ args.test_name }}" {{ args.meson_extra }}

CONTRIBUTING.md

@@ -188,3 +188,14 @@ source:
 
 As this project uses the `squash and merge` strategy, ensure to apply
 the commit message format to the PR's title.
+
+
+## Development Tips and Resources
+
+### Memory Leak
+
+If you are facing any memory leak issue, please consider to check the following
+pages:
+
+- https://github.com/google/sanitizers/wiki/AddressSanitizerFlags
+- https://github.com/google/sanitizers/wiki/AddressSanitizerLeakSanitizer

conda/dev-linux-64.yaml

@@ -40,7 +40,7 @@ dependencies:
 - lcov
 - mkdocs
 - mkdocs-jupyter
-- nodejs
+- nodejs >=18
 - pre-commit
 - pip
 - pip:

examples/average.arx

@@ -1,2 +1,2 @@
-function average(x y):
-  (x + y) * 0.5;
+fn average(x: float, y: float) -> float:
+  return (x + y) * 0.5;

examples/constant.arx

@@ -1,2 +1,2 @@
-function get_constant(x):
-  x;
+fn get_constant(x: float) -> float:
+  return x;

examples/fibonacci.arx

@@ -1,5 +1,5 @@
-function fib(x):
-  if x < 3:
-    1
+fn fib(x: float) -> float:
+  if x <= 1:
+    return x;
   else:
-    fib(x-1)+fib(x-2)
+    return fib(x-1)+fib(x-2);

examples/print-star.arx

@@ -1,5 +1,5 @@
-extern putchard(char);
+extern putchard(char) -> void;
 
-function print_star(n):
+fn print_star(n: float) -> void:
   for i = 1, i < n, 1.0 in
-    putchard(42);  # ascii 42 = '*'
+    return putchard(42);  # ascii 42 = '*'

examples/sum.arx

@@ -1,2 +1,2 @@
-function sum(a b):
-  a + b;
+fn sum(a: float, b: float) -> float:
+  return a + b;

meson.build

@@ -2,7 +2,8 @@ project('arx', 'cpp', 'c',
   license : 'Apache-2.0',
   version : '1.6.0',  # semantic-release
   default_options : [
-    'warning_level=everything',
+    #'warning_level=everything',
+    'warning_level=1',
     'cpp_std=c++20',
   ]
 )

src/codegen/arx-llvm.cpp

@@ -1,3 +1,4 @@
+#include <string>
 
 #include <llvm/IR/DIBuilder.h>   // for DIBuilder
 #include <llvm/IR/IRBuilder.h>   // for IRBuilder
@@ -22,5 +23,25 @@ llvm::Type* ArxLLVM::DOUBLE_TYPE;
 llvm::Type* ArxLLVM::FLOAT_TYPE;
 llvm::Type* ArxLLVM::INT8_TYPE;
 llvm::Type* ArxLLVM::INT32_TYPE;
+llvm::Type* ArxLLVM::VOID_TYPE;
+
+auto ArxLLVM::get_data_type(std::string type_name) -> llvm::Type* {
+  if (type_name == "float") {
+    return ArxLLVM::FLOAT_TYPE;
+  } else if (type_name == "double") {
+    return ArxLLVM::DOUBLE_TYPE;
+  } else if (type_name == "int8") {
+    return ArxLLVM::INT8_TYPE;
+  } else if (type_name == "int32") {
+    return ArxLLVM::INT32_TYPE;
+  } else if (type_name == "char") {
+    return ArxLLVM::INT8_TYPE;
+  } else if (type_name == "void") {
+    return ArxLLVM::VOID_TYPE;
+  }
+
+  llvm::errs() << "[EE] type_name not valid.\n";
+  return nullptr;
+}
 
 extern bool IS_BUILD_LIB = false;  // default value