6b31e0f737c59c9826393522c6c20fc1f75d999a
22 enum basictype
{btbool
, btchar
, btint
, btvoid
};
24 enum {tbasic
,tlist
,ttuple
,tvar
} type
;
26 enum basictype tbasic
;
37 enum {dfundecl
, dvardecl
} type
;
47 struct vardecl
**vars
;
56 enum {sassign
, sif
, sreturn
, sexpr
, swhile
} type
;
80 binor
, binand
, eq
, neq
, leq
, le
, geq
, ge
, cons
, plus
, minus
, times
,
81 divide
, modulo
, power
,
83 enum fieldspec
{fst
,snd
,hd
,tl
};
84 enum unop
{negate
,inverse
};
86 enum {ebinop
, ebool
, echar
, efuncall
, eident
, eint
, enil
, etuple
,
105 enum fieldspec
*fields
;
118 struct ast
*ast(struct list
*decls
);
120 struct vardecl
*vardecl(struct type
*type
, char *ident
, struct expr
*expr
);
122 struct decl
*decl_fun(char *ident
, struct list
*args
, struct list
*atypes
,
123 struct type
*rtype
, struct list
*vars
, struct list
*body
);
124 struct decl
*decl_var(struct vardecl
*vardecl
);
126 struct stmt
*stmt_assign(char *ident
, struct expr
*expr
);
127 struct stmt
*stmt_if(struct expr
*pred
, struct list
*then
, struct list
*els
);
128 struct stmt
*stmt_return(struct expr
*rtrn
);
129 struct stmt
*stmt_expr(struct expr
*expr
);
130 struct stmt
*stmt_vardecl(struct vardecl vardecl
);
131 struct stmt
*stmt_while(struct expr
*pred
, struct list
*body
);
133 struct expr
*expr_binop(struct expr
*l
, enum binop op
, struct expr
*r
);
134 struct expr
*expr_bool(bool b
);
135 struct expr
*expr_char(const char *c
);
136 struct expr
*expr_funcall(char *ident
, struct list
*args
);
137 struct expr
*expr_int(int integer
);
138 struct expr
*expr_ident(char *ident
, struct list
*fields
);
139 struct expr
*expr_nil();
140 struct expr
*expr_tuple(struct expr
*left
, struct expr
*right
);
141 struct expr
*expr_unop(enum unop op
, struct expr
*l
);
143 struct type
*type_basic(enum basictype type
);
144 struct type
*type_list(struct type
*type
);
145 struct type
*type_tuple(struct type
*l
, struct type
*r
);
146 struct type
*type_var(char *ident
);
148 void ast_print(struct ast
*, FILE *out
);
149 void vardecl_print(struct vardecl
*decl
, int indent
, FILE *out
);
150 void decl_print(struct decl
*ast
, int indent
, FILE *out
);
151 void stmt_print(struct stmt
*ast
, int indent
, FILE *out
);
152 void expr_print(struct expr
*ast
, FILE *out
);
153 void type_print(struct type
*type
, FILE *out
);
155 void ast_free(struct ast
*);
156 void vardecl_free(struct vardecl
*decl
);
157 void decl_free(struct decl
*ast
);
158 void stmt_free(struct stmt
*ast
);
159 void expr_free(struct expr
*ast
);
160 void type_free(struct type
*type
);