Open lpw25 opened 7 years ago
Size 0 arrays are actually immutable even when marked mutable. Lifting should probably have a special case to handle this so that they always get lifted.
Size 0 arrays are actually immutable even when marked mutable. Lifting should probably have a special case to handle this so that they always get lifted.