f84f08b7029ada6ffbdc0aa79e10e566ff5683a0
22 enum basictype
{btbool
, btchar
, btint
, btvoid
};
24 enum {tbasic
,tlist
,ttuple
,tvar
} type
;
26 enum basictype tbasic
;
37 enum {dfundecl
, dvardecl
} type
;
54 enum {sassign
, sif
, sreturn
, sexpr
, svardecl
, swhile
} type
;
69 struct vardecl
*svardecl
;
81 binor
, binand
, eq
, neq
, leq
, le
, geq
, ge
, cons
, plus
, minus
, times
,
82 divide
, modulo
, power
,
84 enum fieldspec
{fst
,snd
,hd
,tl
};
85 enum unop
{negate
,inverse
};
87 enum {ebinop
, ebool
, echar
, efuncall
, eident
, eint
, enil
, etuple
,
102 enum fieldspec
*fields
;
108 enum fieldspec
*fields
;
125 struct ast
*ast(struct list
*decls
);
127 struct vardecl
*vardecl(struct type
*type
, char *ident
, struct expr
*expr
);
129 struct decl
*decl_fun(char *ident
, struct list
*args
, struct list
*atypes
,
130 struct type
*rtype
, struct list
*body
);
131 struct decl
*decl_var(struct vardecl
*vardecl
);
133 struct stmt
*stmt_assign(char *ident
, struct list
*fields
, struct expr
*expr
);
134 struct stmt
*stmt_if(struct expr
*pred
, struct list
*then
, struct list
*els
);
135 struct stmt
*stmt_return(struct expr
*rtrn
);
136 struct stmt
*stmt_expr(struct expr
*expr
);
137 struct stmt
*stmt_vardecl(struct vardecl
*vardecl
);
138 struct stmt
*stmt_while(struct expr
*pred
, struct list
*body
);
140 struct expr
*expr_binop(struct expr
*l
, enum binop op
, struct expr
*r
);
141 struct expr
*expr_bool(bool b
);
142 struct expr
*expr_char(char *c
);
143 struct expr
*expr_funcall(char *ident
, struct list
*args
, struct list
*fields
);
144 struct expr
*expr_int(int integer
);
145 struct expr
*expr_ident(char *ident
, struct list
*fields
);
146 struct expr
*expr_nil();
147 struct expr
*expr_tuple(struct expr
*left
, struct expr
*right
);
148 struct expr
*expr_string(char *str
);
149 struct expr
*expr_unop(enum unop op
, struct expr
*l
);
151 struct type
*type_basic(enum basictype type
);
152 struct type
*type_list(struct type
*type
);
153 struct type
*type_tuple(struct type
*l
, struct type
*r
);
154 struct type
*type_var(char *ident
);
156 void ast_print(struct ast
*, FILE *out
);
157 void vardecl_print(struct vardecl
*decl
, int indent
, FILE *out
);
158 void decl_print(struct decl
*ast
, int indent
, FILE *out
);
159 void stmt_print(struct stmt
*ast
, int indent
, FILE *out
);
160 void expr_print(struct expr
*ast
, FILE *out
);
161 void type_print(struct type
*type
, FILE *out
);
163 void ast_free(struct ast
*);
164 void vardecl_free(struct vardecl
*decl
);
165 void decl_free(struct decl
*ast
);
166 void stmt_free(struct stmt
*ast
);
167 void expr_free(struct expr
*ast
);
168 void type_free(struct type
*type
);