scalacenter / spores

Scala Spores, safe mobile closures.
http://scalacenter.github.io/spores/
Other
28 stars 6 forks source link

Infer serializability in classes/traits/objects #2

Closed jvican closed 7 years ago

jvican commented 7 years ago

Classes, traits and objects not marked as Serializable provoke an error in our transitive checker. Relax this condition and infer serializability based on the fields of a class. If all the fields of a class are proven serializable, then consider the owner class serializable and don't report an error.

jvican commented 7 years ago

This is not possible. Java runtime will fail because it's not smart enough to serialize something if it's not extending java.util.Serializable.