Package litil.tc

Examples of litil.tc.HMTypeChecker

67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
        Program ast = p.program();

        System.out.println(ast.repr(1));

        ExplicitTypeChecker exTc = new ExplicitTypeChecker();
        HMTypeChecker hmTc = new HMTypeChecker();
        TypeScope tenv = trootScope().child();
        for (Instruction instr : ast.instructions) {
            System.out.println(instr.repr(0));

            System.out.println(":: " + hmTc.analyze(instr, tenv));
            System.out.println("--------------");
        }

        System.out.println(tenv);
View Full Code Here
17
18
19
20
21
22
23
24
25
26
27
public class BytecodeGen {
    public byte[] gen(Program p) {


        HMTypeChecker hm = new HMTypeChecker();
        TypeScope tenv = Prelude.trootScope().child();
        Names names = new Names();

        List<BcNode> bc = new ArrayList<BcNode>();
        for (Instruction inst : p.instructions) {
View Full Code Here
32
33
34
35
36
37
38
39
40
41
42
        if (tc) {
            System.out.println("Type checking ...");
            try {
                TypeScope typeEnv = trootScope().child();
                new HMTypeChecker().analyze(node, typeEnv);
                System.out.println("All is good");
            } catch (TypeError e) {
                System.err.println(e.getMessage());
                return;
            }
View Full Code Here
842
843
844
845
846
847
848
849
850
851
852
        AstNode node = parseFile("emb-list.ltl");
        System.out.println(node);
        System.out.println("=============");
        ev.dbgAp = false;
        TypeScope typeEnv = Prelude.trootScope().child();
        new HMTypeChecker().analyze(node, typeEnv);
        System.out.println("-------------------");
        System.out.println(typeEnv);
        ValScope valScope = Prelude.rootScope().child();
        System.out.println("--" + ev.eval(node, valScope));
        System.out.println(valScope);
View Full Code Here
TOP

Related Classes of litil.tc.HMTypeChecker

  • litil.cg.BytecodeGen
  • litil.eval.Evaluator
  • litil.parser.LitilParser
  • litil.playground.Litil
  • litil.TypeScope
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.