@effekt-lang/effekt 0.67.0 → 0.69.0

package/libraries/common/array.effekt

@@ -60,7 +60,6 @@ extern def unsafeAllocate[T](size: Int) at global: Array[T] =
     %ret_pos = insertvalue %Pos { i64 0, ptr poison }, ptr %calloc, 1
     ret %Pos %ret_pos
   """
-  vm "array::unsafeAllocate(Int)"
 
 /// Fills a given array in-place.
 def fill[T](arr: Array[T], filler: T): Unit = {
@@ -99,7 +98,6 @@ extern def size[T](arr: Array[T]) at {}: Int =
     tail call void @erasePositive(%Pos ${arr})
     ret i64 %size
   """
-  vm "array::size[T](Array[T])"
 
 extern llvm """
 define void @assertInbounds(i64 %index, %Pos %arr) alwaysinline {
@@ -141,7 +139,6 @@ extern def get[T](arr: Array[T], index: Int) at global: T =
     tail call void @erasePositive(%Pos ${arr})
     ret %Pos %element
   """
-  vm "array::get[T](Array[T], Int)"
 
 extern js """
   function array$set(arr, index, value) {
@@ -168,7 +165,6 @@ extern def set[T](arr: Array[T], index: Int, value: T) at global: Unit =
     tail call void @erasePositive(%Pos ${arr})
     ret %Pos zeroinitializer
   """
-  vm "array::set[T](Array[T], Int, T)"
 
 // Derived operations:
 

package/libraries/common/bytearray.effekt

@@ -38,7 +38,6 @@ extern def allocate(size: Int) at global: ByteArray =
     ret %Pos %ret_object2
   """
   chez "(make-bytevector ${size})"
-  vm "bytearray::allocate(Int)"
 
 extern def size(arr: ByteArray) at {}: Int =
   js "${arr}.length"
@@ -48,7 +47,6 @@ extern def size(arr: ByteArray) at {}: Int =
     ret i64 %size
   """
   chez "(bytevector-length ${arr})"
-  vm "bytearray::size(ByteArray)"
 
 extern js """
   function bytearray$get(arr, index) {
@@ -82,7 +80,6 @@ extern def get(arr: ByteArray, index: Int) at global: Byte =
     ret i8 %element
   """
   chez "(bytevector-u8-ref ${arr} ${index})"
-  vm "bytearray::get(ByteArray, Int)"
 
 extern def set(arr: ByteArray, index: Int, value: Byte) at global: Unit =
   js "bytearray$set(${arr}, ${index}, ${value})"
@@ -96,7 +93,6 @@ extern def set(arr: ByteArray, index: Int, value: Byte) at global: Unit =
     ret %Pos zeroinitializer
   """
   chez "(bytevector-u8-set! ${arr} ${index} ${value})"
-  vm "bytearray::set(ByteArray, Int, Byte)"
 
 /// Creates a new ByteArray of size `size` filled with the value `init`
 def bytearray(size: Int, init: Byte): ByteArray = {
@@ -184,7 +180,6 @@ extern def fromString(str: String) at {}: ByteArray =
     ret %Pos ${str}
   """
   chez "(string->utf8 ${str})"
-  vm "bytearray::fromString(String)"
 
 extern def toString(arr: ByteArray) at {}: String =
   js "(new TextDecoder('utf-8').decode(${arr}))"
@@ -193,7 +188,6 @@ extern def toString(arr: ByteArray) at {}: String =
     ret %Pos ${arr}
   """
   chez "(utf8->string ${arr})"
-  vm "bytearray::toString(ByteArray)"
 
 extern js """
   function bytearray$set(bytes, index, value) {
@@ -247,7 +241,6 @@ extern def compareByteArrayImpl(b1: ByteArray, b2: ByteArray) at {}: Int =
     ret %Int %x
   """
   chez "(bytearray$compare ${b1} ${b2})"
-  vm "bytearray::compare(ByteArray, ByteArray)"
 
 def compareByteArray(b1: ByteArray, b2: ByteArray): Ordering = {
   val ret = compareByteArrayImpl(b1, b2)

package/libraries/common/char.effekt

@@ -97,13 +97,11 @@ extern def toInt(ch: Char) at {}: Int =
   js "${ch}"
   chez "${ch}"
   llvm "ret %Int ${ch}"
-  vm "string::toInt(Char)"
 
 extern def toChar(codepoint: Int) at {}: Char =
   js "${codepoint}"
   chez "${codepoint}"
   llvm "ret %Int ${codepoint}"
-  vm "string::toChar(Int)"
 
 
 extern def infixLt(x: Char, y: Char) at {}: Bool =
@@ -115,7 +113,6 @@ extern def infixLt(x: Char, y: Char) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "string::infixLt(Char, Char)"
 
 extern def infixLte(x: Char, y: Char) at {}: Bool =
   js "(${x} <= ${y})"
@@ -126,7 +123,6 @@ extern def infixLte(x: Char, y: Char) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "string::infixLte(Char, Char)"
 
 extern def infixGt(x: Char, y: Char) at {}: Bool =
   js "(${x} > ${y})"
@@ -137,7 +133,6 @@ extern def infixGt(x: Char, y: Char) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "string::infixGt(Char, Char)"
 
 extern def infixGte(x: Char, y: Char) at {}: Bool =
   js "(${x} >= ${y})"
@@ -148,7 +143,6 @@ extern def infixGte(x: Char, y: Char) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "string::infixGte(Char, Char)"
 
 
 /**

package/libraries/common/effekt.effekt

@@ -46,7 +46,6 @@ extern def print(value: String): Unit =
     call void @c_io_print(%Pos ${value})
     ret %Pos zeroinitializer ; Unit
   """
-  vm "effekt::print(String)"
 
 extern def println(value: String): Unit =
   js "$effekt.println(${value})"
@@ -55,7 +54,6 @@ extern def println(value: String): Unit =
     call void @c_io_println(%Pos ${value})
     ret %Pos zeroinitializer ; Unit
   """
-  vm "effekt::println(String)"
 
 extern jsNode """
 $effekt.readln = function readln$impl(callback) {
@@ -92,7 +90,6 @@ extern def showBuiltin(value: Int) at {}: String =
     %z = call %Pos @c_bytearray_show_Int(%Int ${value})
     ret %Pos %z
   """
-  vm "effekt::show(Int)"
 
 extern def showBuiltin(value: Double) at {}: String =
   js "'' + ${value}"
@@ -101,7 +98,6 @@ extern def showBuiltin(value: Double) at {}: String =
     %z = call %Pos @c_bytearray_show_Double(%Double ${value})
     ret %Pos %z
   """
-  vm "effekt::show(Double)"
 
 extern def showBuiltin(value: Char) at {}: String =
   js "String.fromCodePoint(${value})"
@@ -110,7 +106,6 @@ extern def showBuiltin(value: Char) at {}: String =
     %z = call %Pos @c_bytearray_show_Char(%Int ${value})
     ret %Pos %z
   """
-  vm "effekt::show(Char)"
 
 extern def showBuiltin(value: Byte) at {}: String =
   js "'0x' + ${value}.toString(16).toUpperCase().padStart(2, '0')"
@@ -119,11 +114,9 @@ extern def showBuiltin(value: Byte) at {}: String =
     %z = call %Pos @c_bytearray_show_Byte(%Byte ${value})
     ret %Pos %z
   """
-  vm "effekt::show(Byte)"
 
 extern def inspect[R](value: R) at io: Unit =
   default { println(show(value)) }
-  vm "effekt::inspect(Any)"
 
 /// A fatal runtime error that cannot be caught
 extern def panic(msg: String) at io: Nothing =
@@ -135,11 +128,16 @@ extern def panic(msg: String) at io: Nothing =
     ret %Pos zeroinitializer ; Unit
   """
 
-extern def show[R](value: R) at {}: String =
+/// A show function structurally generated by the compiler for any type.
+extern def generated::show[R](value: R) at {}: String =
   js "undefined"
   chez "(void)"
   llvm "ret %Pos poison"
 
+/// Returns a textual representation of a value for debugging purposes.
+/// The output is backend-specific, works only on JS and Chez backends.
+///
+/// Prefer using `show` instead when possible.
 extern def genericShow[R](value: R) at {}: String =
   js "$effekt.show(${value})"
   chez "(show_impl ${value})"
@@ -153,7 +151,6 @@ extern def infixPlusPlus(s1: String, s2: String) at {}: String =
     %spz = call %Pos @c_bytearray_concatenate(%Pos ${s1}, %Pos ${s2})
     ret %Pos %spz
   """
-  vm "effekt::infixPlusPlus(String, String)"
 
 extern def length(str: String) at {}: Int =
   js "${str}.length"
@@ -162,7 +159,6 @@ extern def length(str: String) at {}: Int =
     %x = call %Int @c_bytearray_size(%Pos ${str})
     ret %Int %x
   """
-  vm "effekt::length(String)"
 
 extern def unsafeSubstring(str: String, from: Int, to: Int) at {}: String =
   js "${str}.substring(${from}, ${to})"
@@ -171,7 +167,6 @@ extern def unsafeSubstring(str: String, from: Int, to: Int) at {}: String =
     %x = call %Pos @c_bytearray_substring(%Pos ${str}, i64 ${from}, i64 ${to})
     ret %Pos %x
   """
-  vm "effekt::substring(String, Int, Int)"
 
 
 // Side effecting ops
@@ -184,7 +179,6 @@ extern def random() at io: Double =
     %r = call double @c_io_random()
     ret double %r
   """
-  vm "effekt::random()"
 
 // References and state
 // ====================
@@ -253,7 +247,6 @@ extern def infixEq(x: Int, y: Int) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixEq(Int, Int)"
 
 extern def infixNeq(x: Int, y: Int) at {}: Bool =
   js "${x} !== ${y}"
@@ -264,7 +257,6 @@ extern def infixNeq(x: Int, y: Int) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixNeq(Int, Int)"
 
 extern def infixEq(x: Char, y: Char) at {}: Bool =
   js "${x} === ${y}"
@@ -275,7 +267,6 @@ extern def infixEq(x: Char, y: Char) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixEq(Char, Char)"
 
 extern def infixNeq(x: Char, y: Char) at {}: Bool =
   js "${x} !== ${y}"
@@ -294,7 +285,6 @@ extern def infixEq(x: String, y: String) at {}: Bool =
     %res = call %Pos @c_bytearray_equal(%Pos ${x}, %Pos ${y})
     ret %Pos %res
   """
-  vm "effekt::infixEq(String, String)"
 
 def infixNeq(x: String, y: String): Bool = not(x == y)
 
@@ -309,7 +299,6 @@ extern def infixEq(x: Bool, y: Bool) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixEq(Bool, Bool)"
 
 extern def infixNeq(x: Bool, y: Bool) at {}: Bool =
   js "${x} !== ${y}"
@@ -332,7 +321,6 @@ extern def infixEq(x: Byte, y: Byte) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixEq(Byte, Byte)"
 
 extern def infixNeq(x: Byte, y: Byte) at {}: Bool =
   js "${x} !== ${y}"
@@ -343,7 +331,6 @@ extern def infixNeq(x: Byte, y: Byte) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixNeq(Byte, Byte)"
 
 // Math ops
 // ========
@@ -351,85 +338,71 @@ extern def infixPlus(x: Int, y: Int) at {}: Int =
   js "(${x} + ${y})"
   chez "(+ ${x} ${y})"
   llvm "%z = add  %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::infixPlus(Int, Int)"
 
 extern def infixStar(x: Int, y: Int) at {}: Int =
   js "(${x} * ${y})"
   chez "(* ${x} ${y})"
   llvm "%z = mul  %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::infixStar(Int, Int)"
 
 extern def infixSlash(x: Int, y: Int) at {}: Int =
   js "Math.floor(${x} / ${y})"
   chez "(floor (/ ${x} ${y}))"
   llvm "%z = sdiv %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::infixSlash(Int, Int)"
 
 extern def infixMinus(x: Int, y: Int) at {}: Int =
   js "(${x} - ${y})"
   chez "(- ${x} ${y})"
   llvm "%z = sub  %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::infixMinus(Int, Int)"
 
 extern def mod(x: Int, y: Int) at {}: Int =
   js "(${x} % ${y})"
   chez "(modulo ${x} ${y})"
   llvm "%z = srem %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::mod(Int, Int)"
 
 extern def infixPlus(x: Double, y: Double) at {}: Double =
   js "(${x} + ${y})"
   chez "(+ ${x} ${y})"
   llvm "%z = fadd %Double ${x}, ${y} ret %Double %z"
-  vm "effekt::infixPlus(Double, Double)"
 
 extern def infixStar(x: Double, y: Double) at {}: Double =
   js "(${x} * ${y})"
   chez "(* ${x} ${y})"
   llvm "%z = fmul %Double ${x}, ${y} ret %Double %z"
-  vm "effekt::infixStar(Double, Double)"
 
 extern def infixMinus(x: Double, y: Double) at {}: Double =
   js "(${x} - ${y})"
   chez "(- ${x} ${y})"
   llvm "%z = fsub %Double ${x}, ${y} ret %Double %z"
-  vm "effekt::infixMinus(Double, Double)"
 
 extern def infixSlash(x: Double, y: Double) at {}: Double =
   js "(${x} / ${y})"
   chez "(fl/ ${x} ${y})"
   llvm "%z = fdiv %Double ${x}, ${y} ret %Double %z"
-  vm "effekt::infixSlash(Double, Double)"
 
 extern def cos(x: Double) at {}: Double =
   js "Math.cos(${x})"
   chez "(cos ${x})"
-  vm "effekt::cos(Double)"
   llvm "%z = call %Double @llvm.cos.f64(double ${x}) ret %Double %z"
 
 extern def sin(x: Double) at {}: Double =
   js "Math.sin(${x})"
   chez "(sin ${x})"
-  vm "effekt::sin(Double)"
   llvm "%z = call %Double @llvm.sin.f64(double ${x}) ret %Double %z"
 
 extern def atan(x: Double) at {}: Double =
   js "Math.atan(${x})"
   chez "(atan ${x})"
-  vm "effekt::atan(Double)"
   llvm "%z = call %Double @atan(double ${x}) ret %Double %z"
 
 extern def tan(x: Double) at {}: Double =
   js "Math.tan(${x})"
   chez "(tan ${x})"
-  vm "effekt::tan(Double)"
   llvm "%z = call %Double @tan(double ${x}) ret %Double %z"
 
 extern def sqrt(x: Double) at {}: Double =
   js "Math.sqrt(${x})"
   chez "(sqrt ${x})"
   llvm "%z = call %Double @llvm.sqrt.f64(double ${x}) ret %Double %z"
-  vm "effekt::sqrt(Double)"
 
 def square(x: Double): Double = x * x
 
@@ -448,7 +421,6 @@ def abs(n: Double): Double =
 extern def log(x: Double) at {}: Double =
   js "Math.log(${x})"
   chez "(log ${x})"
-  vm "effekt::log(Double)"
   llvm "%z = call %Double @llvm.log.f64(double ${x}) ret %Double %z"
 
 extern def log1p(x: Double) at {}: Double =
@@ -459,7 +431,6 @@ extern def log1p(x: Double) at {}: Double =
 extern def exp(x: Double) at {}: Double =
   js "Math.exp(${x})"
   chez "(exp ${x})"
-  vm "effekt::exp(Double)"
   llvm "%z = call %Double @llvm.exp.f64(double ${x}) ret %Double %z"
 
 def pow(base: Double, exponent: Int): Double = {
@@ -478,14 +449,12 @@ def pow(base: Double, exponent: Int): Double = {
 extern def pow(base: Double, exponent: Double) at {}: Double =
   js "Math.pow(${base}, ${exponent})"
   chez "(expt ${base} ${exponent})"
-  vm "effekt::pow(Double, Double)"
   llvm "%z = call %Double @llvm.pow.f64(double ${base}, double ${exponent}) ret %Double %z"
 
 // since we do not have "extern val", yet
 extern def _pi() at {}: Double =
   js "Math.PI"
   chez "(* 4 (atan 1))"
-  vm "effekt::pi()"
   llvm "ret double 3.14159265358979323846264338327950288419716939937510582097494459"
 
 val PI: Double = _pi()
@@ -494,13 +463,11 @@ extern def toInt(d: Double) at {}: Int =
   js "Math.trunc(${d})"
   chez "(flonum->fixnum ${d})"
   llvm "%z = fptosi double ${d} to %Int ret %Int %z"
-  vm "effekt::toInt(Double)"
 
 extern def toDouble(d: Int) at {}: Double =
   js "${d}"
   chez "(fixnum->flonum ${d})"
   llvm "%z = sitofp i64 ${d} to double ret double %z"
-  vm "effekt::toDouble(Int)"
 
 
 extern def round(d: Double) at {}: Int =
@@ -510,7 +477,6 @@ extern def round(d: Double) at {}: Int =
     %i = call %Double @llvm.round.f64(double ${d})
     %z = fptosi double %i to %Int ret %Int %z
   """
-  vm "effekt::round(Double)"
 
 def round(d: Double, digits: Int): Double = {
   val factor = pow(10.0, digits)
@@ -555,7 +521,6 @@ extern def infixLt(x: Int, y: Int) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixLt(Int, Int)"
 
 extern def infixLte(x: Int, y: Int) at {}: Bool =
   js "(${x} <= ${y})"
@@ -566,7 +531,6 @@ extern def infixLte(x: Int, y: Int) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixLte(Int, Int)"
 
 extern def infixGt(x: Int, y: Int) at {}: Bool =
   js "(${x} > ${y})"
@@ -577,7 +541,6 @@ extern def infixGt(x: Int, y: Int) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixGt(Int, Int)"
 
 extern def infixGte(x: Int, y: Int) at {}: Bool =
   js "(${x} >= ${y})"
@@ -588,17 +551,14 @@ extern def infixGte(x: Int, y: Int) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixGte(Int, Int)"
 
 extern def infixEq(x: Double, y: Double) at {}: Bool =
   js "${x} === ${y}"
   chez "(= ${x} ${y})"
-  vm "effekt::infixEq(Double, Double)"
 
 extern def infixNeq(x: Double, y: Double) at {}: Bool =
   js "${x} !== ${y}"
   chez "(not (= ${x} ${y}))"
-  vm "effekt::infixNeq(Double, Double)"
 
 extern def infixLt(x: Double, y: Double) at {}: Bool =
   js "(${x} < ${y})"
@@ -609,12 +569,10 @@ extern def infixLt(x: Double, y: Double) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixLt(Double, Double)"
 
 extern def infixLte(x: Double, y: Double) at {}: Bool =
   js "(${x} <= ${y})"
   chez "(<= ${x} ${y})"
-  vm "effekt::infixLte(Double, Double)"
 
 extern def infixGt(x: Double, y: Double) at {}: Bool =
   js "(${x} > ${y})"
@@ -625,12 +583,10 @@ extern def infixGt(x: Double, y: Double) at {}: Bool =
     %adt_boolean = insertvalue %Pos zeroinitializer, i64 %fat_z, 0
     ret %Pos %adt_boolean
   """
-  vm "effekt::infixGt(Double, Double)"
 
 extern def infixGte(x: Double, y: Double) at {}: Bool =
   js "(${x} >= ${y})"
   chez "(>= ${x} ${y})"
-  vm "effekt::infixGte(Double, Double)"
 
 // TODO do we really need those? if yes, move to string.effekt
 extern def infixLt(x: String, y: String) at {}: Bool =
@@ -661,7 +617,6 @@ extern def not(b: Bool) at {}: Bool =
     %adt_q = insertvalue %Pos zeroinitializer, i64 %q, 0
     ret %Pos %adt_q
   """
-  vm "effekt::not(Bool)"
 
 def infixBarBar { first: => Bool } { second: => Bool }: Bool =
   if (first()) true else second()
@@ -678,38 +633,32 @@ extern def bitwiseShl(x: Int, y: Int) at {}: Int =
   js "(${x} << ${y})"
   chez "(ash ${x} ${y})"
   llvm "%z = shl %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::bitwiseShl(Int, Int)"
 
 /// Arithmetic right shift
 extern def bitwiseShr(x: Int, y: Int) at {}: Int =
   js "(${x} >> ${y})"
   chez "(ash ${x} (- ${y}))"
   llvm "%z = ashr %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::bitwiseShr(Int, Int)"
 
 extern def bitwiseAnd(x: Int, y: Int) at {}: Int =
   js "(${x} & ${y})"
   chez "(logand ${x} ${y})"
   llvm "%z = and %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::bitwiseAnd(Int, Int)"
 
 extern def bitwiseOr(x: Int, y: Int) at {}: Int =
   js "(${x} | ${y})"
   chez "(logior ${x} ${y})"
   llvm "%z = or %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::bitwiseOr(Int, Int)"
 
 extern def bitwiseXor(x: Int, y: Int) at {}: Int =
   js "(${x} ^ ${y})"
   chez "(logxor ${x} ${y})"
   llvm "%z = xor %Int ${x}, ${y} ret %Int %z"
-  vm "effekt::bitwiseXor(Int, Int)"
 
 extern def bitwiseNot(x: Int) at {}: Int =
   js "(~${x})"
   chez "(lognot ${x})"
   llvm "%z = xor %Int ${x}, -1 ret %Int %z"
-  vm "effekt::bitwiseNot(Int)"
 
 
 // Byte operations
@@ -722,7 +671,6 @@ extern def toByte(n: Int) at {}: Byte =
 extern def toInt(n: Byte) at {}: Int =
   js "${n}"
   llvm "%z = zext %Byte ${n} to %Int ret %Int %z"
-  vm "effekt::toInt(Byte)"
   chez "${n}"
 
 
@@ -739,13 +687,11 @@ extern def toInt(n: Byte) at {}: Int =
 extern def undefined[A]() at {}: A =
   js "undefined"
   chez "#f"
-  vm "effekt::undefined()"
 
 /// Is an FFI value undefined?
 extern def isUndefined[A](value: A) at {}: Bool =
   js "(${value} === undefined || ${value} === null)"
   chez "(eq? ${value} #f)"
-  vm "effekt::isUndefined[A](A)"
 
 // Ascription
 // ==========
@@ -842,4 +788,10 @@ effect write(s: String): Unit
 
 effect splice[A](x: A): Unit
 
+// Source positions
+// ================
+//
+// When adding an implicit value argument ?sourcePosition of this type, will have the information
+// of the call site unless passed explicitly.
 
+record SourcePosition(file: String, startLine: Int, startColumn: Int, endLine: Int, endColumn: Int)

package/libraries/common/ref.effekt

@@ -72,7 +72,6 @@ extern def ref[T](init: T) at global: Ref[T] =
 
     ret %Pos %refWrap
   """
-  vm "ref::ref[T](T)"
 
 /// Gets the referenced element of the `ref` in constant time.
 extern def get[T](ref: Ref[T]) at global: T =
@@ -88,7 +87,6 @@ llvm """
 
     ret %Pos %refField
   """
-  vm "ref::get[T](Ref[T])"
 
 /// Sets the referenced element of the `ref` to `value` in constant time.
 extern def set[T](ref: Ref[T], value: T) at global: Unit =
@@ -106,7 +104,6 @@ extern def set[T](ref: Ref[T], value: T) at global: Unit =
 
     ret %Pos zeroinitializer
   """
-  vm "ref::set[T](Ref[T], T)"
 
 /// Modifies the inner contents of the `ref` with a function `f`
 def map[T](ref: Ref[T]) { f: T => T }: Unit =

package/libraries/common/regex.effekt

@@ -13,7 +13,6 @@ record Match(matched: String, index: Int)
 extern def regex(str: String) at {}: Regex =
   js "new RegExp(${str})"
   chez "(pregexp ${str})"
-  vm "regex::regex(String)"
 
 def exec(reg: Regex, str: String): Option[Match] = {
   val v = internal::exec(reg, str)
@@ -34,12 +33,10 @@ namespace internal {
   extern def matched(r: RegexMatch) at {}: String =
     js "${r}.matched"
     chez "(vector-ref ${r} 0)"
-    vm "regex::matched(RegexMatch)"
 
   extern def index(r: RegexMatch) at {}: Int =
     js "${r}.index"
     chez "(vector-ref ${r} 1)"
-    vm "regex::index(RegexMatch)"
 
   extern js """
     function regex$exec(reg, str) {
@@ -62,5 +59,4 @@ namespace internal {
   extern def exec(reg: Regex, str: String) at io: RegexMatch =
     js "regex$exec(${reg}, ${str})"
     chez "(regex-exec ${reg} ${str})"
-    vm "regex::exec(Regex, String)"
 }

package/libraries/common/string.effekt

@@ -231,7 +231,6 @@ extern def unsafeCharAt(str: String, n: Int) at {}: Char =
     %x = call %Int @c_bytearray_character_at(%Pos ${str}, %Int ${n})
     ret %Int %x
   """
-  vm "string::unsafeCharAt(String, Int)"
 
 
 // Streaming

package/licenses/eclipse public license, version 2.0 - epl-2.0.html

@@ -1,5 +1,5 @@
 <!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=X-UA-Compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title>
-<meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:image content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.144.2"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1776622808"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a href=#main class=skip-link>Skip to content</a><div class=eclipsefdn-featured-story-banner data-publish-target=eclipse_org></div><header class="header-wrapper header-wrapper" id=header><div class="navigation-bar dark"><div class=container><div class=navigation-bar-inner><div class=navigation-bar-left><a class="focus-highlight focus-inverse" href=/><img class=navigation-bar-brand src=https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-foundation-white-orange.svg alt="Eclipse Foundation"></a></div><nav class="navigation-bar-nav hidden-xs hidden-sm"><ul><li><button type=button class="btn btn-link" data-target=join-us-menu>Join us</button></li><li><button type=button class="btn btn-link" data-target=what-we-do-menu>What we do</button></li><li><button type=button class="btn btn-link" data-target=resources-menu>Resources</button></li><li><button type=button class="btn btn-link" data-target=about-us-menu>About us</button></li></ul></nav><div class=navigation-bar-right><div class="navigation-bar-controls hidden-xs hidden-sm"><ul><li class=dropdown><a class="dropdown-toggle link-unstyled focus-highlight" tabindex=0 id=search-dropdown-toggle data-toggle=dropdown href=# aria-label=Search><i class="fa-solid fa-magnifying-glass" aria-hidden=true></i></a><form class="search-bar dropdown-menu dropdown-menu-right" aria-labelledby=search-dropdown-toggle action=https://www.eclipse.org/home/search/ method=get><input class=search-bar-input name=q placeholder=Search>
+<meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:image content="https://www.eclipse.org/images/og-image.jpg"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.144.2"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1777832386"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a href=#main class=skip-link>Skip to content</a><div class=eclipsefdn-featured-story-banner data-publish-target=eclipse_org></div><header class="header-wrapper header-wrapper" id=header><div class="navigation-bar dark"><div class=container><div class=navigation-bar-inner><div class=navigation-bar-left><a class="focus-highlight focus-inverse" href=/><img class=navigation-bar-brand src=https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-foundation-white-orange.svg alt="Eclipse Foundation"></a></div><nav class="navigation-bar-nav hidden-xs hidden-sm"><ul><li><button type=button class="btn btn-link" data-target=join-us-menu>Join us</button></li><li><button type=button class="btn btn-link" data-target=what-we-do-menu>What we do</button></li><li><button type=button class="btn btn-link" data-target=resources-menu>Resources</button></li><li><button type=button class="btn btn-link" data-target=about-us-menu>About us</button></li></ul></nav><div class=navigation-bar-right><div class="navigation-bar-controls hidden-xs hidden-sm"><ul><li class=dropdown><a class="dropdown-toggle link-unstyled focus-highlight" tabindex=0 id=search-dropdown-toggle data-toggle=dropdown href=# aria-label=Search><i class="fa-solid fa-magnifying-glass" aria-hidden=true></i></a><form class="search-bar dropdown-menu dropdown-menu-right" aria-labelledby=search-dropdown-toggle action=https://www.eclipse.org/home/search/ method=get><input class=search-bar-input name=q placeholder=Search>
 <button class="btn btn-link" type=submit>
 <i class="fa-solid fa-arrow-right"></i></button></form></li><li class=dropdown><a class="dropdown-toggle focus-highlight" id=user-menu href=# data-toggle=dropdown aria-haspopup=true aria-expanded=false tabindex=0><i class="fa-regular fa-user" aria-hidden=true></i></a><ul class="dropdown-menu dropdown-menu-right" aria-labelledby=user-menu><li><a href=https://accounts.eclipse.org/user><i class="fa-solid fa-user margin-right-10" aria-hidden=true></i>
 View my account</a></li><li><a href=https://accounts.eclipse.org/user/edit><i class="fa-solid fa-edit margin-right-10" aria-hidden=true></i>
@@ -43,4 +43,4 @@ Manage cookies</a></li></ul></li></ul></div><div class="navigation-bar-ctas hidd
 <i class="fa-brands fa-youtube fa-stack-1x fa-inverse" aria-hidden=true></i></span></a></li><li><a href=https://www.linkedin.com/company/eclipse-foundation aria-label=LinkedIn><span class=fa-stack><i class="fa-solid fa-circle fa-stack-2x" aria-hidden=true></i>
 <i class="fa-brands fa-linkedin-in fa-stack-1x fa-inverse" aria-hidden=true></i></span></a></li></ul></section><section class=newsletter-section><p class="subheading text-tertiary">Stay up to date</p><h2>Subscribe to our newsletter</h2><form class="newsletter-form margin-top-40" id=mc-embedded-subscribe-form action="https://eclipse.us6.list-manage.com/subscribe/post?u=eaf9e1f06f194eadc66788a85&amp;id=e7538485cd&amp;f_id=00f9c2e1f0" method=post novalidate target=_blank><div class=text-field-outlined><input name=EMAIL type=email placeholder="Your email">
 <button class=newsletter-form-submit type=submit name=subscribe id=mc-embedded-subscribe aria-label=Submit>
-<i class="fa-solid fa-arrow-right" aria-hidden=true></i></button></div></form></section><section class=footer-bottom-section><img class="img-responsive logo" src=https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-foundation-white.svg alt="Eclipse Foundation"><div class=legal-information><p>Copyright &copy; Eclipse Foundation AISBL. All rights reserved.</p><ul class=legal-links><li><a href=https://www.eclipse.org/legal/privacy/>Privacy policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/legal/>Legal</a></li></ul></div></section></div></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1776622809"></script><script>(function(){})(jQuery,document)</script></div></body></html>
+<i class="fa-solid fa-arrow-right" aria-hidden=true></i></button></div></form></section><section class=footer-bottom-section><img class="img-responsive logo" src=https://www.eclipse.org/eclipse.org-common/themes/solstice/public/images/logo/eclipse-foundation-white.svg alt="Eclipse Foundation"><div class=legal-information><p>Copyright &copy; Eclipse Foundation AISBL. All rights reserved.</p><ul class=legal-links><li><a href=https://www.eclipse.org/legal/privacy/>Privacy policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/legal/>Legal</a></li></ul></div></section></div></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1777832386"></script><script>(function(){})(jQuery,document)</script></div></body></html>