source: to-imperative/trunk/samples/Syntax/const4.cc @ 716

#include <rf_core.hh>
#include <refal/StdIO.hh>

namespace refal
{

using namespace rfrt;

namespace const4
{

static const Expr A1 = Char::create_expr ("A");

static const Expr A2 = (A1) () + (A1) ();

static const Expr A3 = (A2) () + (A2) ();

static const Expr A4 = (A3) () + (A3) ();

static const Expr A5 = (A4) () + (A4) ();

static const Expr A6 = (A5) () + (A5) ();

static const Expr A7 = (A6) () + (A6) ();

static const Expr A8 = (A7) () + (A7) ();

static const Expr A9 = (A8) () + (A8) ();

static const Expr A10 = (A9) () + (A9) ();

static const Expr A11 = (A10) () + (A10) ();

static const Expr A12 = (A11) () + (A11) ();

static const Expr A13 = (A12) () + (A12) ();

static const Expr A14 = (A13) () + (A13) ();

static const Expr A15 = (A14) () + (A14) ();

static const Expr A16 = (A15) () + (A15) ();

static const Expr A17 = (A16) () + (A16) ();

static const Expr A18 = (A17) () + (A17) ();

static const Expr A19 = (A18) () + (A18) ();

static const Expr A20 = (A19) () + (A19) ();

static const Expr A21 = (A20) () + (A20) ();

static const Expr A22 = (A21) () + (A21) ();

static const Expr A23 = (A22) () + (A22) ();

static const Expr A24 = (A23) () + (A23) ();

static const Expr A25 = (A24) () + (A24) ();

static const Expr A26 = (A25) () + (A25) ();

static const Expr A27 = (A26) () + (A26) ();

static const Expr A28 = (A27) () + (A27) ();

static const Expr A29 = (A28) () + (A28) ();

static const Expr A30 = (A29) () + (A29) ();

static const Expr A31 = (A30) () + (A30) ();

static const Expr A32 = (A31) () + (A31) ();

static const Expr A33 = (A32) () + (A32) ();

static const Expr A34 = (A33) () + (A33) ();

static const Expr A35 = (A34) () + (A34) ();

static const Expr A36 = (A35) () + (A35) ();

static const Expr A37 = (A36) () + (A36) ();

static const Expr A38 = (A37) () + (A37) ();

static const Expr A39 = (A38) () + (A38) ();

static const Expr A40 = (A39) () + (A39) ();

static const Expr A41 = (A40) () + (A40) ();

static const Expr A42 = (A41) () + (A41) ();

static const Expr A43 = (A42) () + (A42) ();

static const Expr A44 = (A43) () + (A43) ();

static const Expr A45 = (A44) () + (A44) ();

static const Expr A46 = (A45) () + (A45) ();

static const Expr A47 = (A46) () + (A46) ();

static const Expr A48 = (A47) () + (A47) ();

static const Expr A49 = (A48) () + (A48) ();

static const Expr A50 = (A49) () + (A49) ();

static const Expr A51 = (A50) () + (A50) ();

static const Expr A52 = (A51) () + (A51) ();

static const Expr A53 = (A52) () + (A52) ();

static const Expr A54 = (A53) () + (A53) ();

static const Expr A55 = (A54) () + (A54) ();

static const Expr A56 = (A55) () + (A55) ();

static const Expr A57 = (A56) () + (A56) ();

static const Expr A58 = (A57) () + (A57) ();

static const Expr A59 = (A58) () + (A58) ();

static const Expr A60 = (A59) () + (A59) ();

static const Expr A61 = (A60) () + (A60) ();

static const Expr A62 = (A61) () + (A61) ();

static const Expr A63 = (A62) () + (A62) ();

static const Expr A64 = (A63) () + (A63) ();

static const Expr _c_0 = A1 + A57 + Char::create_expr ("A");

static const Expr _c_1 = Char::create_expr ("A") + A57 + A1;

static const Expr _c_2 = Char::create_expr ("OK");

RF_FUNC (Main, (), (RF_RES _v_res1))
  {
    {
      if (((1 + 1) != (1 + 1)))
      {
        goto block1__branch1;
      }
      if (!Expr::eq (A63, 0, (1 + 1), A64, 0, (1 + 1)))
      {
        goto block1__branch1;
      }
      _v_res1 = empty;
      goto block1;
    }
  block1__branch1: {}
    if (((1 + 1 + 1 + 1) != (1 + 1 + 1 + 1)))
    {
      error ("Unexpected fail");
    }
    if (!Expr::eq (_c_0, 0, (1 + 1 + 1 + 1), _c_1, 0, (1 + 1 + 1 + 1)))
    {
      error ("Unexpected fail");
    }
    RF_CALL (StdIO::PrintLN, (_c_2), ());
    _v_res1 = empty;
  }
block1: {}
RF_END

}

rfrt::Entry rf_entry (const4::Main);

}