• 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
Name
Last commit
Last update
cbinding Loading commit data...
migrate_scripts Loading commit data...
project Loading commit data...
pythonbinding Loading commit data...
src Loading commit data...
tests Loading commit data...
tools Loading commit data...
.gitignore Loading commit data...
.travis.yml Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
build.sbt Loading commit data...