apl-cornell / fabric

Distributed persistent programming language with secure information flow types
http://www.cs.cornell.edu/projects/fabric/
Other
28 stars 4 forks source link

FabIL Compiler silently omits fields it doesn't know how to serialize #23

Closed tmagrino closed 6 years ago

tmagrino commented 6 years ago

Currently, the FabIL compiler will not complain if there is a field in a class which is a non-Fabric object that does not implement JavaInlineable. As a result, this causes inconsistencies for non-Fabric object fields that are hard to debug and should've been a compiler error.

We should set up FabIL's compiler to error when there are fields of Fabric types which are neither transient, a Fabric Object type, a type which implements JavaInlineable, or somehow statically initialized to a constant value.