Merge pull request #12 from dotlang/v0.3.0

v0.3.0

Author: mahdix

src/ast.h

@@ -8,40 +8,16 @@
 #include "llvm-c/Core.h"
 #include "hash.h"
 
-#define OK   1
-#define FAIL -1
-
 #define ALLOC(V, T)  T* V = (T*)calloc(1, sizeof(T))
-#define PARSE(R, F) R = F(context); if ( R == NULL ) return NULL
-#define PARSE_ELSE(R, F) R = F(context); if ( R == NULL )
-
-#define EXPECT(x)     if ( matchLiteral(context, x) == false ) return NULL
-#define IF_MATCH(x)   if ( matchLiteral(context, x) == true )
-
-#define OP_NOP 0
-#define OP_AND 1
-#define OP_OR  2
-#define OP_XOR 3
-#define OP_EQ  4
-#define OP_NE  5
-#define OP_GT  6
-#define OP_LT  7
-#define OP_GE  8
-#define OP_LE  9
-#define OP_SHR 10
-#define OP_SHL 11
-#define OP_POW 12
-#define OP_ADD 13
-#define OP_SUB 14
-#define OP_MUL 15
-#define OP_DIV 16
-#define OP_REM 17
-#define OP_DVT 18  //divisibility test
-#define OP_NOT 19
-#define OP_NEG 20
-#define OP_DOT 21
-#define OP_BRC 22  //braces a[1]
-#define OP_CAL 23  //function call
+#define ALLOC_ARRAY(V, C, T)  T* V = (T*)calloc(C, sizeof(T))
+#define ALLOC_NODE(V, TOKEN, KIND )\
+                ALLOC(V, ExpressionNode);\
+                strcpy(V->token, TOKEN);\
+                V->kind = kind
+#define CHAIN_LIST(FIELD, PREV, CURR) \
+                if ( FIELD == NULL ) FIELD = CURR;\
+                if ( PREV != NULL ) PREV->next = CURR;\
+                PREV = CURR
 
 typedef struct
 {
@@ -60,147 +36,114 @@ typedef struct
     /* hashtable_t* module_value_bindings; */
     //List of bindings defined inside current function
     hashtable_t* function_bindings;
+    char token_cache[256];
 
 } Context;
 
-
 typedef struct Binding Binding;
-typedef struct FunctionDecl FunctionDecl;
-typedef struct CodeBlock CodeBlock;
-typedef struct Expression Expression;
-typedef struct EqExpression EqExpression;
-typedef struct CmpExpression CmpExpression;
-typedef struct ShiftExpression ShiftExpression;
-typedef struct AddExpression AddExpression;
-typedef struct MulExpression MulExpression;
-typedef struct UnaryExpression UnaryExpression;
-typedef struct PrimaryExpression PrimaryExpression;
-typedef struct BasicExpression BasicExpression;
-typedef struct TermExpression TermExpression;
-
-typedef struct Module
-{
-    struct ModuleElement
-    {
-        Binding* binding;
-        struct ModuleElement* next;
-    } *first_element, *last_element;
-} Module;
 
-typedef struct Binding
+typedef enum
 {
-    char lhs[32];
-    FunctionDecl* function_decl;
-    Expression* expression;
-} Binding;
-
-typedef struct FunctionDecl
+    NA_TYPE,
+    INT,
+    FLOAT,
+    BOOL,
+    CHAR
+} ExpressionType;
+
+typedef enum
 {
-    CodeBlock* code_block;
-    Expression* expression;
-} FunctionDecl;
-
-typedef struct CodeBlock
+    NA,
+    OP_EQUALS,
+    INT_LITERAL,
+    FLOAT_LITERAL,
+    BOOL_LITERAL,
+    CHAR_LITERAL,
+    IDENTIFIER,
+    OPEN_PAREN,
+    CLOSE_PAREN,
+    OP_ADD,
+    OP_SUB,
+    OP_NEG, //unary -
+    OP_POS, //unary +
+    OP_SHR,
+    OP_SHL,
+    OP_MUL,
+    OP_DIV,
+    OP_REM,
+    OP_DVT,
+    OPEN_BRACE,
+    CLOSE_BRACE,
+    COMMA,
+    FN_CALL,
+    FN_CALL_SIMPLE, //function call without arg
+    OP_BIND,
+    OP_ARROW,
+    OP_RETURN,
+    OP_COLON
+} TokenKind;
+
+typedef struct ExpressionNode
 {
-    struct CodeBlockElement
-    {
-        Binding* binding;
-        Expression* return_expression;
+    char token[32];
+    TokenKind kind;
+    //only for function call
+    /* int arg_count; */
 
-        struct CodeBlockElement* next;
-    } *first_element, *last_element;
-
-} CodeBlock;
+    struct ExpressionNode* next;
+} ExpressionNode;
 
 typedef struct Expression
 {
-    struct ExpressionElement
-    {
-        int op;
-        EqExpression* eq_expression;
-        struct ExpressionElement* next;
-    } *first_element, *last_element;
+    ExpressionNode *first_node;
 } Expression;
 
-typedef struct EqExpression
+typedef struct 
 {
-    struct EqExpressionElement
-    {
-        int op;
-        CmpExpression* cmp_expression;
-        struct EqExpressionElement* next;
-    } *first_element, *last_element;
-} EqExpression;
+    Binding *first_binding;
+} Module;
 
-typedef struct CmpExpression
+typedef struct ArgDef
 {
-    struct CmpExpressionElement
-    {
-        int op;
-        ShiftExpression* shift_expression;
-        struct CmpExpressionElement* next;
-    } *first_element, *last_element;
-} CmpExpression;
+    char name[32];
+    char type[32];
 
-typedef struct ShiftExpression
-{
-    struct ShiftExpressionElement
-    {
-        int op;
-        AddExpression* add_expression;
-        struct ShiftExpressionElement* next;
-    } *first_element, *last_element;
-} ShiftExpression;
+    struct ArgDef* next;
+} ArgDef;
 
-typedef struct AddExpression
+typedef struct 
 {
-    struct AddExpressionElement
-    {
-        int op;
-        MulExpression* mul_expression;
-        struct AddExpressionElement* next;
-    } *first_element, *last_element;
-} AddExpression;
+    Binding *first_binding;
+    ArgDef *first_arg;
+    char output_type[32];
+} FunctionDecl;
 
-typedef struct MulExpression
+typedef struct Binding
 {
-    struct MulExpressionElement
-    {
-        int op;
-        UnaryExpression* unary_expression;
-        struct MulExpressionElement* next;
-    } *first_element, *last_element;
-} MulExpression;
+    char lhs[32];
 
-typedef struct UnaryExpression
-{
-    int op;
-    PrimaryExpression* primary_expression;
-} UnaryExpression;
+    //true, if this is a binding inside a function_decl and is prefixed with `::`
+    bool is_return;
 
-typedef struct PrimaryExpression
-{
-    BasicExpression* basic_expression;
-    struct PrimaryExpressionElement
-    {
-        TermExpression* term_expression;
-        struct PrimaryExpressionElement* next;
-    } *first_element, *last_element;
+    //A binding can be either an expression or a function declaration
+    FunctionDecl* function_decl;
+    Expression* expression;
 
-} PrimaryExpression;
+    //declared type `x:int := 10`
+    char decl_type[64];
 
-typedef struct BasicExpression
-{
-    char binding_name[32];
-    Expression* expression;
-    int number;
-} BasicExpression;
+    struct Binding* next;
+} Binding;
 
-typedef struct TermExpression
+
+typedef struct FunctionArgList
 {
-    int op;
-    Expression* expression;
-    char binding_name[32];
-} TermExpression;
+    struct FunctionArg
+    {
+        LLVMValueRef arg;
+        struct FunctionArg* next;
+    } *first_arg;
+} FunctionArgList;
+
 
 #endif