tasks.hh

Go to the documentation of this file.

#ifndef DESUGAR_TASKS_HH
# define DESUGAR_TASKS_HH

# include <config.h>
# include <misc/fwd.hh>
# include <task/libtask.hh>

namespace desugar
{

  namespace tasks
  {
    TASK_GROUP("Desugaring and bound-checking");


    /*-------------.
    | Desugaring.  |
    `-------------*/

    BOOLEAN_TASK_DECLARE("desugar-for", "desugar `for' loops",
                         desugar_for_p, "");

    BOOLEAN_TASK_DECLARE("desugar-string-cmp", "desugar string comparisons",
                         desugar_string_cmp_p, "");


    DISJUNCTIVE_TASK_DECLARE("desugared",
                             "Default the removal of syntactic sugar "
                             "from the AST to Tiger (without overloading)",
                             "desugar"
                             );

    TASK_DECLARE("desugar", "desugar the AST", desugar,
                 "types-compute rename");



    /* FIXME: Careful with this options (and with
       --raw-bound-checks-add), as they leave the AST in a bad state
       (without bindings nor types).  For instance,

         tc --raw-desugar -H  will probably result in a SEGV.

       since hir-compute wants a type-checked AST. */

    TASK_DECLARE("raw-desugar", "desugar the AST without recomputing "
                 "bindings nor types", raw_desugar, "typed rename");


    /*-----------------------.
    | Array bound checking.  |
    `-----------------------*/

    TASK_DECLARE("bound-checks-add", "add dynamic bound checks",
                 bound_checks_add, "types-compute rename");


    TASK_DECLARE("raw-bound-checks-add",
                 "add bound-checking to the AST without recomputing "
                 "bindings nor types", raw_bound_checks_add, "typed rename");

  } // namespace tasks

} // namespace desugar

#endif // !DESUGAR_TASKS_HH