statics1.abs

notation syntax rels ;
import syntax wf ;

reserve TE for :tyenv;
reserve C for :id;
reserve id for :id;
reserve res for :varType option;
reserve res' for :varType option;

// This file defines type checking for the unannotated input language



// prim_hastype


lfp is_primtype 
Bool [auto,simp]
        // ------------------------------------------------
             Bool(b) prim_hastype boolT
Byte [auto,simp]
        // ------------------------------------------------
             Byte(byte) prim_hastype byteT

Char [auto,simp]
        // ------------------------------------------------
            Char(c) prim_hastype charT
Short [auto,simp]
        // ------------------------------------------------
            Short(sh) prim_hastype shortT

Long [auto,simp]
        // ------------------------------------------------
            Long(lng) prim_hastype longT

Int [auto,simp]
        // ------------------------------------------------
            Int(i) prim_hastype intT

Float [auto,simp]
        // ------------------------------------------------
            Float(fl) prim_hastype floatT

Double [auto,simp]
        // ------------------------------------------------
            Double(db) prim_hastype doubleT