WARNING! Access to this system is limited to authorised users only.
Unauthorised users may be subject to prosecution.
Unauthorised access to this system is a criminal offence under Australian law (Federal Crimes Act 1914 Part VIA)
It is a criminal offence to:
(1) Obtain access to data without authority. -Penalty 2 years imprisonment.
(2) Damage, delete, alter or insert data without authority. -Penalty 10 years imprisonment.
User activity is monitored and recorded. Anyone using this system expressly consents to such monitoring and recording.

  • 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.
BundleChecker.scala 21.3 KB