stdlib: adapt to ref/own semantics

Author: tmarsteel

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

@@ -12,7 +12,7 @@ export StandardOut: mut PrintStream = FileDescriptorPrintStream(FD_STDOUT)
 export StandardError: mut PrintStream = FileDescriptorPrintStream(FD_STDERR)
 
 class FileDescriptorPrintStream : PrintStream {
-    private fd: const S32 = init
+    private fd: S32 = init
 
     override fn put(self: mut _, str: String) {
         var bufToWrite: read Array<S8> = str.utf8Data
@@ -42,7 +42,7 @@ class FileDescriptorPrintStream : PrintStream {
 private intrinsic nothrow fn pureWrite(fd: S32, buf: COpaquePointer, count: UWord) -> SWord
 
 private class WriteFailedException : IOException {
-    errno: const S32 = init
+    errno: S32 = init
 
     constructor {
         mixin ThrowableTrait("write(2) failed, errno = " + self.errno.toString())

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

@@ -2,58 +2,61 @@ 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 {
-    value: const S8 = init
+    ref value: const S8 = init
 }
 
 class U8Box {
-    value: const U8 = init
+    ref value: const U8 = init
 }
 
 class S16Box {
-    value: const S16 = init
+    ref value: const S16 = init
 }
 
 class U16Box {
-    value: const U16 = init
+    ref value: const U16 = init
 }
 
 class S32Box {
-    value: const S32 = init
+    ref value: const S32 = init
 }
 
 class U32Box {
-    value: const U32 = init
+    ref value: const U32 = init
 }
 
 class S64Box {
-    value: const S64 = init
+    ref value: const S64 = init
 }
 
 class U64Box {
-    value: const U64 = init
+    ref value: const U64 = init
 }
 
 class F32Box {
-    value: const F32 = init
+    ref value: const F32 = init
 }
 
 class F64Box {
-    value: const F64 = init
+    ref value: const F64 = init
 }
 
 class SWordBox {
-    value: const SWord = init
+    ref value: const SWord = init
 }
 
 class UWordBox {
-    value: const UWord = init
+    ref value: const UWord = init
 }
 
 class BoolBox {
-    value: const Bool = init
+    ref value: const Bool = init
 }
 
 class ReflectionBaseTypeBox {
-    value: const ReflectionBaseType = init
+    ref value: const ReflectionBaseType = init
 }

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

@@ -271,11 +271,11 @@ mut fn printStackTraceToStandardError() -> Bool {
 // not used right now, but might come in handy when implementing actual unwinding/resume
 
 private class UnwindProcedureInfo {
-    private addressOfFirstInstruction: const UWord = init
-    private addressBehindLastInstruction: const UWord = init
-    private addressOfLanguageSpecificDataArea: const UWord = init
-    private addressOfPersonalityFunction: const UWord = init
-    private globalPointer: const UWord = init
+    private addressOfFirstInstruction: UWord = init
+    private addressBehindLastInstruction: UWord = init
+    private addressOfLanguageSpecificDataArea: UWord = init
+    private addressOfPersonalityFunction: UWord = init
+    private globalPointer: UWord = init
 
     private fn fromCursor(cursorPtr: read COpaquePointer) -> exclusive UnwindProcedureInfo {
         // there are additional members in the struct that are not mapped here

llvm-backend/src/main/kotlin/io/github/tmarsteel/emerge/backend/llvm/dsl/BasicBlockBuilder.kt

@@ -431,7 +431,7 @@ private open class BasicBlockBuilderImpl<C : LlvmContext, R : LlvmType>(
         }
         args.zip(function.type.parameterTypes).forEachIndexed { index, (arg, paramType) ->
             require(arg.isLlvmAssignableTo(paramType)) {
-                "argument #$index to ${function.name}: ${arg.type} is not llvm-assignable to $paramType (${currentDebugLocation()}"
+                "argument #$index to ${function.name}: ${arg.type} is not llvm-assignable to $paramType (${currentDebugLocation()})"
             }
         }
 

stdlib/core/ArithmeticError.em

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

stdlib/core/intrinsic_types.em

@@ -415,7 +415,7 @@ export class Bool {
 }
 
 export class Array<Element> : Iterable<Element> {
-    export size: const UWord = init
+    export size: UWord = init
 
     private constructor {}
 
@@ -458,7 +458,7 @@ export class Array<Element> : Iterable<Element> {
 }
 
 export class ArrayIndexOutOfBoundsError : Error {
-    export invalidIndex: const UWord = init
+    ref export invalidIndex: const UWord = init
     
     export constructor {
         mixin ThrowableTrait(null)

stdlib/core/range/ArrayRange.em

@@ -3,7 +3,7 @@ package emerge.core.range
 import emerge.platform.panic
 
 export class ArrayRange<Element> : SizedRange<Element> & RandomAccessRange<Element> & BidirectionalRange<Element> {
-    array: read Array<Element> = init
+    ref array: read Array<Element> = init
     var frontIndex: UWord = 0
     var backIndexPlus1: UWord = self.array.size
 

stdlib/core/reflection/ReflectionBaseType.em

@@ -6,9 +6,9 @@ import emerge.core.safemath.plusModulo
 // TODO: parameterize on type it is reflection on, like java.lang.Class<T> ?
 export class ReflectionBaseType {
     // points to all the DYNAMIC ReflectionBaseType infos, except Any
-    private supertypes: const Array<ReflectionBaseType> = init
+    ref private supertypes: const Array<ReflectionBaseType> = init
 
-    export canonicalName: const String = init
+    export canonicalName: String = init
 
     // for static typeinfos: points at the dynamic version; for dynamic ones: is null
     private dynamicInstance: ReflectionBaseType? = init

stdlib/core/throwable.em

@@ -27,7 +27,7 @@ export interface Error : Throwable {}
 export class ThrowableTrait : Error {
 	private _message: String? = init
 
-    private var _stackTrace: const Iterable<const StackTraceElement>? = null
+    ref private var _stackTrace: const Iterable<const StackTraceElement>? = null
 
     export override read fn fillStackTrace(self: mut _) {
         set self._stackTrace = self._stackTrace ?: collectStackTrace(3 as U32, false)

stdlib/core/unwind/StackTraceElement.em

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