Re: JVMS draft for L-world value types with support for nullability

Frederic, Detailed review of the updated JVMS draft - many are just minor typos/edits. A couple are bigger. Many thanks for the latest changes. thanks, Karen 1. 2.4 Reference Types and Values " whose all instances are identity-less and immutable" "whose" -> "for which" 2. 2.11.5 Instance

Re: JVMS draft for L-world value types with support for nullability

Here’s an update of the JVMS draft: http://cr.openjdk.java.net/~fparain/L-world/L-World-JVMS-4.pdf with the following changes: * Renamed ACC_NON_NULLABLE with ACC_FLATTENABLE * Removed restriction that ACC_FLATTENABLE cannot be used on static fields * Added rules about circularity