Exemple #1
0
#     end
# end

ast = [
    "var",
    Ident("x"),
    [
        "var",
        Ident("y"),
        [
            [
                "bind",
                Ident("x"),
                [
                    "record",
                    Literal("map"),
                    [
                        [Literal("name"), Literal(10)],
                        [Literal(2), Literal(14)],
                    ],
                ],
            ],
            [
                "match",
                Ident("x"),
                [
                    "record",
                    Literal("map"),
                    [[Literal("name"), Ident("a")], [Literal(3),
                                                     Ident("b")]],
                ],
Exemple #2
0
"""Testcase for arithmetic."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        [
            "thread",
            [
                ["nop"],
                ["nop"],
                ["bind", Ident("x"), ["sum", Literal(1),
                                      Literal(2)]],
            ],
        ],
        [
            "var",
            Ident("y"),
            ["bind", Ident("y"), ["product", Ident("x"),
                                  Literal(3)]],
        ],
    ],
]
                                                Ident("x"),
                                                Ident("x"),
                                            ],
                                        ],
                                        ["bind",
                                         Ident("x"),
                                         Ident("z")],
                                    ],
                                ],
                            ],
                            [
                                "var",
                                Ident("w"),
                                [
                                    ["bind", Ident("w"),
                                     Literal(True)],
                                    ["apply", Ident("p2"),
                                     Ident("w")],
                                ],
                            ],
                        ],
                    ],
                ],
            ],
            ["bind", Ident("x"), Literal(10)],
            ["var", Ident("x"), ["apply", Ident("p1"),
                                 Ident("x")]],
        ],
    ],
], )
Exemple #4
0
"""Testcase for Oz conditionals."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        "var",
        Ident("y"),
        [
            ["bind", Ident("x"), Literal(True)],
            [
                "conditional",
                Ident("x"),
                ["bind", Ident("y"), Literal("True")],
                ["nop"],
            ],
        ],
    ],
]
"""Testcase for arithmetic."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        "var",
        Ident("y"),
        [
            ["thread", ["bind",
                        Ident("y"), ["sum", Ident("x"),
                                     Literal(2)]]],
            ["thread", [["nop"], ["nop"], ["bind",
                                           Ident("x"),
                                           Literal(5)]]],
            ["bind", Ident("y"), ["product", Ident("y"),
                                  Literal(1)]],
        ],
    ],
]
"""Testcase for arithmetic."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        "var",
        Ident("y"),
        [
            ["thread", ["bind",
                        Ident("y"), ["sum", Ident("y"),
                                     Literal(0)]]],
            ["thread", [["nop"], ["nop"], ["bind",
                                           Ident("x"),
                                           Literal(5)]]],
            ["bind", Ident("y"), ["product", Ident("x"),
                                  Literal(3)]],
        ],
    ],
]
#         end
#     end
# end

ast = [[
    "var",
    Ident("x"),
    [
        [
            "var",
            Ident("y"),
            [
                "var",
                Ident("d"),
                [
                    ["bind", Ident("y"), Literal(2)],
                    ["bind", Ident("d"), Literal(3)],
                    [
                        "bind",
                        Ident("x"),
                        [
                            "proc",
                            [Ident("k"), Ident("a")],
                            [
                                "conditional",
                                Ident("k"),
                                ["bind", Ident("a"),
                                 Ident("y")],
                                ["bind", Ident("a"),
                                 Ident("d")],
                            ],
"""Testcase for arithmetic."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        "var",
        Ident("y"),
        [
            ["thread", ["bind",
                        Ident("y"), ["sum", Ident("y"),
                                     Literal(0)]]],
            ["thread", [["nop"], ["nop"], ["bind",
                                           Ident("x"),
                                           Literal(5)]]],
            ["bind", Ident("y"), ["product", Ident("y"),
                                  Literal(1)]],
        ],
    ],
]
Exemple #9
0
"""Testcase for arithmetic."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        "var",
        Ident("y"),
        [
            [
                "thread",
                [
                    ["nop"],
                    ["nop"],
                    ["bind", Ident("x"), ["sum", Ident("y"), Literal(2)]],
                ],
            ],
            ["bind", Ident("y"), ["product", Ident("x"), Literal(3)]],
        ],
    ],
]
Exemple #10
0
 [
     "var",
     Ident("x"),
     [
         "var",
         Ident("y"),
         [
             "var",
             Ident("z"),
             [
                 [
                     "bind",
                     Ident("x"),
                     (
                         "record",
                         Literal("|"),
                         [
                             (Literal("1"), Literal(1)),
                             (Literal("2"), Ident("y")),
                         ],
                     ),
                 ],
                 [
                     "bind",
                     Ident("y"),
                     (
                         "record",
                         Literal("|"),
                         [
                             (Literal("1"), Literal(1)),
                             (Literal("2"), Ident("x")),
Exemple #11
0
"""Testcase for Oz pattern matching."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        [
            "bind",
            Ident("x"),
            (
                "record",
                Literal("|"),
                [(Literal("1"), Literal("1")), (Literal("2"), Ident("x"))],
            ),
        ],
        [
            "match",
            Ident("x"),
            (
                "record",
                Literal("|"),
                [(Literal("1"), Ident("a")), (Literal("2"), Ident("b"))],
            ),
            ["bind", Ident("x"), Ident("b")],
            ["nop"],
        ],
    ],
]
Exemple #12
0
"""Another testcase for Oz conditionals."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        "var",
        Ident("c"),
        [
            "var",
            Ident("y"),
            [
                ["bind", Ident("c"), Literal(False)],
                ["bind", Ident("x"), Literal(10)],
                [
                    "conditional",
                    Ident("c"),
                    ["bind", Ident("y"), Literal(30)],
                    ["bind", Ident("y"), Literal(40)],
                ],
            ],
        ],
    ],
]
Exemple #13
0
"""Testcase for arithmetic."""
from ozi import Ident, Literal

ast = [
    "var",
    Ident("x"),
    [
        ["bind", Ident("x"), Literal(1)],
        [
            "var",
            Ident("y"),
            [
                ["bind", Ident("y"), ["sum", Literal(2),
                                      Ident("x")]],
                ["bind", Ident("y"), ["sum", Literal(3),
                                      Literal(0)]],
                [
                    "var",
                    Ident("z"),
                    ["bind",
                     Ident("z"), ["product", Ident("y"),
                                  Ident("x")]],
                ],
            ],
        ],
    ],
]