37ac2d5d4cfeaeea89c27c3b11ae153ec02a14b6
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
;
82 binor
, binand
, eq
, neq
, leq
, le
, geq
, ge
, cons
, plus
, minus
, times
,
83 divide
, modulo
, power
,
85 enum fieldspec
{fst
,snd
,hd
,tl
};
86 enum unop
{negate
,inverse
};
88 enum {ebinop
, ebool
, echar
, efuncall
, eident
, eint
, enil
, etuple
,
107 enum fieldspec
*fields
;
121 struct ast
*ast(struct list
*decls
);
123 struct vardecl
*vardecl(struct type
*type
, char *ident
, struct expr
*expr
);
125 struct decl
*decl_fun(char *ident
, struct list
*args
, struct list
*atypes
,
126 struct type
*rtype
, struct list
*vars
, struct list
*body
);
127 struct decl
*decl_var(struct vardecl
*vardecl
);
129 struct stmt
*stmt_assign(char *ident
, struct list
*fields
, struct expr
*expr
);
130 struct stmt
*stmt_if(struct expr
*pred
, struct list
*then
, struct list
*els
);
131 struct stmt
*stmt_return(struct expr
*rtrn
);
132 struct stmt
*stmt_expr(struct expr
*expr
);
133 struct stmt
*stmt_vardecl(struct vardecl vardecl
);
134 struct stmt
*stmt_while(struct expr
*pred
, struct list
*body
);
136 struct expr
*expr_binop(struct expr
*l
, enum binop op
, struct expr
*r
);
137 struct expr
*expr_bool(bool b
);
138 struct expr
*expr_char(const char *c
);
139 struct expr
*expr_funcall(char *ident
, struct list
*args
);
140 struct expr
*expr_int(int integer
);
141 struct expr
*expr_ident(char *ident
, struct list
*fields
);
142 struct expr
*expr_nil();
143 struct expr
*expr_tuple(struct expr
*left
, struct expr
*right
);
144 struct expr
*expr_string(char *str
);
145 struct expr
*expr_unop(enum unop op
, struct expr
*l
);
147 struct type
*type_basic(enum basictype type
);
148 struct type
*type_list(struct type
*type
);
149 struct type
*type_tuple(struct type
*l
, struct type
*r
);
150 struct type
*type_var(char *ident
);
152 void ast_print(struct ast
*, FILE *out
);
153 void vardecl_print(struct vardecl
*decl
, int indent
, FILE *out
);
154 void decl_print(struct decl
*ast
, int indent
, FILE *out
);
155 void stmt_print(struct stmt
*ast
, int indent
, FILE *out
);
156 void expr_print(struct expr
*ast
, FILE *out
);
157 void type_print(struct type
*type
, FILE *out
);
159 void ast_free(struct ast
*);
160 void vardecl_free(struct vardecl
*decl
);
161 void decl_free(struct decl
*ast
);
162 void stmt_free(struct stmt
*ast
);
163 void expr_free(struct expr
*ast
);
164 void type_free(struct type
*type
);