My make file doesn't run unless I add these lines to the .mly file: %start <Expr.expr> parse_expr **%type <Expr.expr> parse_expr %type <Expr.expr> term %type <Expr.expr> app_term %type <Expr.expr> atomic_term %type <Expr.expr> lambda** %%