ASTCG_test_result

/*
victor@skynet:~/Desktop$ ghci
GHCi, version 6.12.1: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> :a AST_C_Target.hs
[1 of 2] Compiling AST              ( AST.hs, interpreted )
[2 of 2] Compiling AST_C_Target     ( AST_C_Target.hs, interpreted )
Ok, modules loaded: AST_C_Target, AST.
*AST_C_Target> translateProgram myProg
*/
#ifndef EXP_TEST_H
#define EXP_TEST_H

#include "test.h"

typedef struct Exp_st Exp;
typedef struct VarDecl_st VarDecl;


/* E N U M S */
enum ExpKind_t {
    EXP_BUILTIN,
    EXP_APP,
    EXP_BINOP};


/* D E C L A R A T I O N S */

struct Exp_st {
    enum ExpKind_t kind;
    int line;
    union {
        struct {
            int op;
            Exp* lh;
            Exp* rh;
        } binop;
        Symbol* builtin;
        struct {
            Symbol* f;
            Exp* arg;
        } app;
    } u;
};


Exp*    exp_binop_new(int line, int op, Exp* lh, Exp* rh);
Exp*    exp_builtin_new(int line, Symbol* builtin);
Exp*    exp_app_new(int line, Symbol* f, Exp* arg);


struct VarDecl_st {
    int line;
    Symbol* name;
};


VarDecl*    vardecl_new(int line, Symbol* name);


#endif


/* I M P L E M E N T A T I O N */
#include "exp_test.h"
#define ALLOC(type) (type*)my_allocator(sizeof(type))

Exp*    exp_binop_new(int line, int op, Exp* lh, Exp* rh)
{
Exp* __a = ALLOC(Exp);

    __a->kind = EXP_BINOP;
    __a->line = line;
    __a->u.binop.op = op;
    __a->u.binop.lh = lh;
    __a->u.binop.rh = rh;

    return __a;
}

Exp*    exp_builtin_new(int line, Symbol* builtin)
{
Exp* __a = ALLOC(Exp);

    __a->kind = EXP_BUILTIN;
    __a->line = line;
    __a->u.builtin = builtin;

    return __a;
}

Exp*    exp_app_new(int line, Symbol* f, Exp* arg)
{
Exp* __a = ALLOC(Exp);

    __a->kind = EXP_APP;
    __a->line = line;
    __a->u.app.f = f;
    __a->u.app.arg = arg;

    return __a;
}

VarDecl*    vardecl_new(int line, Symbol* name)
{
VarDecl* __a = ALLOC(VarDecl);

    __a->line = line;
    __a->name = name;

    return __a;
}