Exemplo n.º 1
0
from dao.env import ModuleEnvironment
from dao.term import var
from dao.builtin import collocet_builtins_to_module
from dao.t.builtins.globalenv import global_env

from dao.builtins.control import *

control = ModuleEnvironment({}, None)
global_env[var("control")] = control
collocet_builtins_to_module(globals(), global_env, control)
Exemplo n.º 2
0
from dao.env import ModuleEnvironment
from dao.term import var
from dao.builtin import collocet_builtins_to_module
from dao.t.builtins.globalenv import global_env

from dao.builtins.rule import *

rule = ModuleEnvironment({}, None)
global_env[var('rule')] = rule
collocet_builtins_to_module(globals(), global_env, rule)
Exemplo n.º 3
0
from dao.env import ModuleEnvironment
from dao.term import var
from dao.builtin import collocet_builtins_to_module
from dao.t.builtins.globalenv import global_env

from dao.builtins.parser import *

parser = ModuleEnvironment({}, None)
global_env[var('parser')] = parser
collocet_builtins_to_module(globals(), global_env, parser)
Exemplo n.º 4
0
from dao.env import ModuleEnvironment
from dao.term import var
from dao.builtin import collocet_builtins_to_module
from dao.t.builtins.globalenv import global_env

from dao.builtins.arith import *

arith = ModuleEnvironment({}, None)
global_env[var('arith')] = arith
collocet_builtins_to_module(globals(), global_env, arith)