Exemple #1
0
    def run_file(self, fname, run_untranslated=True):
        ast = parse_file(fname)
        env = ToplevelEnv()
        env.globalconfig.load(ast)
        def interp_w():
            val = interpret_module(ast, env)
            return val

        if run_untranslated:
            interp_w()

        ast = parse_file(fname)
        self.meta_interp(interp_w, [], listcomp=True, listops=True, backendopt=True)
Exemple #2
0
    def test_earley(self):
        fname = "earley.sch"
        ast = parse_file(fname)
        def interp_w():
            val = interpret_one(ast)
            return val

        self.meta_interp(interp_w, [], listcomp=True, listops=True, backendopt=True)
Exemple #3
0
    def test_pseudoknot(self):
        fname = "nucleic2.sch"
        ast = parse_file(fname)
        def interp_w():
            val = interpret([ast])
            return val

        self.meta_interp(interp_w, [], listcomp=True, listops=True, backendopt=True)
Exemple #4
0
    def run_file(self, fname, run_untranslated=True):
        ast = parse_file(fname)
        env = ToplevelEnv()
        env.globalconfig.load(ast)

        def interp_w():
            val = interpret_module(ast, env)
            return val

        if run_untranslated:
            interp_w()

        ast = parse_file(fname)
        self.meta_interp(interp_w, [],
                         listcomp=True,
                         listops=True,
                         backendopt=True)
Exemple #5
0
    def test_earley(self):
        fname = "earley.sch"
        ast = parse_file(fname)

        def interp_w():
            val = interpret_one(ast)
            return val

        self.meta_interp(interp_w, [],
                         listcomp=True,
                         listops=True,
                         backendopt=True)
Exemple #6
0
    def test_pseudoknot(self):
        fname = "nucleic2.sch"
        ast = parse_file(fname)

        def interp_w():
            val = interpret([ast])
            return val

        self.meta_interp(interp_w, [],
                         listcomp=True,
                         listops=True,
                         backendopt=True)