• Kunshan Wang's avatar
    Type inferer as class, and stricter static check. · f2aac08e
    Kunshan Wang authored
    Type inferer and predefined entities are no longer single objects.  They
    can be instantiated like other classes.
    
    An SSA variable now has an `inferred type` field which represents its
    type.  The type is filled in when loading a bundle, and can be dependedn
    on during execution.
    
    Added stricter static checking related to variable types.
    f2aac08e
BundleChecker.scala 21.3 KB