stdlib: utilize fixed mutability of core types

Author: tmarsteel

llvm-backend/src/main/emerge-platform-linux/boxes.em

@@ -2,61 +2,58 @@ package emerge.platform
 
 import emerge.core.reflection.ReflectionBaseType
 
-// TODO: change all builtin numeric-types and the boxes to be subtypes of const Any
-// TODO: change all boxes to use owned member vars
-
-class S8Box {
-    ref value: const S8 = init
+class S8Box : const Any {
+    ref value: S8 = init
 }
 
-class U8Box {
-    ref value: const U8 = init
+class U8Box : const Any {
+    ref value: U8 = init
 }
 
-class S16Box {
-    ref value: const S16 = init
+class S16Box : const Any {
+    ref value: S16 = init
 }
 
-class U16Box {
-    ref value: const U16 = init
+class U16Box : const Any {
+    ref value: U16 = init
 }
 
-class S32Box {
-    ref value: const S32 = init
+class S32Box : const Any {
+    ref value: S32 = init
 }
 
-class U32Box {
-    ref value: const U32 = init
+class U32Box : const Any {
+    ref value: U32 = init
 }
 
-class S64Box {
-    ref value: const S64 = init
+class S64Box : const Any {
+    ref value: S64 = init
 }
 
-class U64Box {
-    ref value: const U64 = init
+class U64Box : const Any {
+    ref value: U64 = init
 }
 
-class F32Box {
-    ref value: const F32 = init
+class F32Box : const Any {
+    ref value: F32 = init
 }
 
-class F64Box {
-    ref value: const F64 = init
+class F64Box : const Any {
+    ref value: F64 = init
 }
 
-class SWordBox {
-    ref value: const SWord = init
+class SWordBox : const Any {
+    ref value: SWord = init
 }
 
-class UWordBox {
-    ref value: const UWord = init
+class UWordBox : const Any {
+    ref value: UWord = init
 }
 
-class BoolBox {
-    ref value: const Bool = init
+class BoolBox : const Any {
+    ref value: Bool = init
 }
 
-class ReflectionBaseTypeBox {
-    ref value: const ReflectionBaseType = init
+class ReflectionBaseTypeBox : const Any {
+    ref value: ReflectionBaseType = init
 }

llvm-backend/src/main/emerge-platform-linux/unwind.em

@@ -178,7 +178,7 @@ private read nothrow fn unwindCursorGetInstructionPointer(cursorPtr: COpaquePoin
 }
 
 // returns the name of the function belonging to the stack frame this cursor is currently pointing at
-private read fn unwindCursorGetProcedureName(cursorPtr: COpaquePointer) -> const String {
+private read fn unwindCursorGetProcedureName(cursorPtr: COpaquePointer) -> String {
     var nameBuf = Array.new::<S8>(256, 0 as S8)
     offpBuf = Array.new::<UWord>(1, 0 as UWord)
 

stdlib/core/ArithmeticError.em

@@ -1,7 +1,7 @@
 package emerge.core
 
 export class ArithmeticError : Error {
-    ref private _message: const String = init
+    private _message: String = init
 
     constructor {
         mixin ThrowableTrait(self._message)

stdlib/core/intrinsic_types.em

@@ -306,7 +306,7 @@ export class U64 : const Any & Printable {
         stream.put(self.toString(addMinusSign))
     }
 
-    private fn toString(self: U64, addMinusSign: Bool) -> const String {
+    private fn toString(self: U64, addMinusSign: Bool) -> String {
         if self == 0 {
             return "0"
         }
@@ -458,7 +458,7 @@ export class Array<Element> : Iterable<Element> {
 }
 
 export class ArrayIndexOutOfBoundsError : Error {
-    ref export invalidIndex: const UWord = init
+    export invalidIndex: UWord = init
     
     export constructor {
         mixin ThrowableTrait(null)

stdlib/core/range/ArrayRange.em

@@ -5,8 +5,8 @@ import emerge.platform.panic
 export class ArrayRange<Element> : SizedRange<Element> & RandomAccessRange<Element> & BidirectionalRange<Element> {
     // TODO: change this to owned once the compiler can handle it
     ref array: read Array<Element> = init
-    ref var frontIndex: UWord = 0
-    ref var backIndexPlus1: UWord = self.array.size
+    var frontIndex: UWord = 0
+    var backIndexPlus1: UWord = self.array.size
 
     export override get fn size(self) = self.backIndexPlus1 - self.frontIndex
 

stdlib/core/string.em

@@ -4,7 +4,7 @@ import emerge.core.safemath.plusModulo
 import emerge.core.utf8.rejectInvalidUtf8
 
 export class String : const Any {
-    ref export utf8Data: const Array<S8> = init
+    export utf8Data: const Array<S8> = init
 
     export constructor {
         rejectInvalidUtf8(self.utf8Data)

stdlib/core/unwind/StackTraceElement.em

@@ -2,5 +2,5 @@ package emerge.core.unwind
 
 export class StackTraceElement : const Any {
     export address: UWord = init
-    ref export procedureName: const String = init
+    export procedureName: String = init
 }

stdlib/std/collections/ArrayList.em

@@ -50,8 +50,8 @@ export class ArrayList<X : Any> : Iterable<X> {
 
 private class ArrayListRange<T : Any> : SizedRange<T> & RandomAccessRange<T> & BidirectionalRange<T> {
     ref list: read ArrayList<T> = init
-    ref var frontIndex: UWord = 0
-    ref var backIndexPlus1: UWord = self.list.size
+    var frontIndex: UWord = 0
+    var backIndexPlus1: UWord = self.list.size
 
     override get fn size(self) = self.backIndexPlus1 - self.frontIndex