11 extern const char *fieldspec_str
[];
12 extern const char *binop_str
[];
13 extern const char *unop_str
[];
25 enum basictype
{btbool
, btchar
, btint
, btvoid
};
27 enum {tbasic
,tlist
,ttuple
,tvar
} type
;
29 enum basictype tbasic
;
40 enum {dcomponent
, dfundecl
, dvardecl
} type
;
61 enum {sassign
, sif
, sreturn
, sexpr
, svardecl
, swhile
} type
;
76 struct vardecl
*svardecl
;
88 binor
, binand
, eq
, neq
, leq
, le
, geq
, ge
, cons
, plus
, minus
, times
,
89 divide
, modulo
, power
,
91 enum fieldspec
{fst
,snd
,hd
,tl
};
92 enum unop
{negate
,inverse
};
94 enum {ebinop
, ebool
, echar
, efuncall
, eident
, eint
, enil
, etuple
,
109 enum fieldspec
*fields
;
115 enum fieldspec
*fields
;
132 struct ast
*ast(struct list
*decls
);
134 struct vardecl
*vardecl(struct type
*type
, char *ident
, struct expr
*expr
);
136 struct decl
*decl_fun(char *ident
, struct list
*args
, struct list
*atypes
,
137 struct type
*rtype
, struct list
*body
);
138 struct decl
*decl_var(struct vardecl
*vardecl
);
140 struct stmt
*stmt_assign(char *ident
, struct list
*fields
, struct expr
*expr
);
141 struct stmt
*stmt_if(struct expr
*pred
, struct list
*then
, struct list
*els
);
142 struct stmt
*stmt_return(struct expr
*rtrn
);
143 struct stmt
*stmt_expr(struct expr
*expr
);
144 struct stmt
*stmt_vardecl(struct vardecl
*vardecl
);
145 struct stmt
*stmt_while(struct expr
*pred
, struct list
*body
);
147 struct expr
*expr_binop(struct expr
*l
, enum binop op
, struct expr
*r
);
148 struct expr
*expr_bool(bool b
);
149 struct expr
*expr_char(char *c
);
150 struct expr
*expr_funcall(char *ident
, struct list
*args
, struct list
*fields
);
151 struct expr
*expr_int(int integer
);
152 struct expr
*expr_ident(char *ident
, struct list
*fields
);
153 struct expr
*expr_nil();
154 struct expr
*expr_tuple(struct expr
*left
, struct expr
*right
);
155 struct expr
*expr_string(char *str
);
156 struct expr
*expr_unop(enum unop op
, struct expr
*l
);
158 struct type
*type_basic(enum basictype type
);
159 struct type
*type_list(struct type
*type
);
160 struct type
*type_tuple(struct type
*l
, struct type
*r
);
161 struct type
*type_var(char *ident
);
163 void ast_print(struct ast
*, FILE *out
);
164 void vardecl_print(struct vardecl
*decl
, int indent
, FILE *out
);
165 void decl_print(struct decl
*ast
, FILE *out
);
166 void stmt_print(struct stmt
*ast
, int indent
, FILE *out
);
167 void expr_print(struct expr
*ast
, FILE *out
);
168 void type_print(struct type
*type
, FILE *out
);
170 void ast_free(struct ast
*);
171 void vardecl_free(struct vardecl
*decl
);
172 void decl_free(struct decl
*ast
);
173 void stmt_free(struct stmt
*ast
);
174 void expr_free(struct expr
*ast
);
175 void type_free(struct type
*type
);