feat: Add support for typing annotation

Author: xmnlab

.makim.yaml

@@ -94,7 +94,7 @@ groups:
           - target: build.release
             args:
               build-type: "debug"
-              extras: "-Ddev=enabled -Db_coverage=true -Doptimization=0"  #  -Db_sanitize=address
+              extras: "-Ddev=enabled -Db_coverage=true -Doptimization=0"  # -Db_sanitize=address
               clean: {{ args.clean }}
               asan-options: "fast_unwind_on_malloc=0:verbosity=2:log_threads=1"
               lsan-options: "fast_unwind_on_malloc=0:verbosity=2:log_threads=1"

conda/pip.txt

@@ -1,2 +1,2 @@
 containers-sugar ==1.5
-makim ==1.6.6
+makim ==1.6.7

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):
+fn fib(x: float) -> float:
   if x < 3:
-    1
+    return 1;
   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);
 
-function print_star(n):
+fn print_star(n: float):
   for i = 1, i < n, 1.0 in
     putchard(42);  # ascii 42 = '*'

examples/sum.arx

@@ -1,2 +1,2 @@
-function sum(a b):
+fn sum(a: float, b: float) -> float:
   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/ast-to-llvm-ir.cpp

@@ -173,8 +173,8 @@ auto ASTToLLVMIRVisitor::visit(PrototypeAST& expr) -> void {
  * but keep a reference to it for use below.
  */
 auto ASTToLLVMIRVisitor::visit(FunctionAST& expr) -> void {
-  auto& P = *(expr.Proto);
-  ArxLLVM::function_protos[expr.Proto->getName()] = std::move(expr.Proto);
+  auto& P = *(expr.proto);
+  ArxLLVM::function_protos[expr.proto->getName()] = std::move(expr.proto);
   this->getFunction(P.getName());
   llvm::Function* TheFunction = this->result_func;
 
@@ -250,9 +250,9 @@ auto ASTToLLVMIRVisitor::visit(FunctionAST& expr) -> void {
     ArxLLVM::named_values[std::string(Arg.getName())] = Alloca;
   }
 
-  this->emitLocation(*expr.Body.get());
+  this->emitLocation(*expr.body.get());
 
-  expr.Body->accept(*this);
+  expr.body->accept(*this);
   llvm::Value* RetVal = this->result_val;
 
   if (RetVal) {