Dimi Racordon

Implement a way to customize "trap behavior"

5

We need a way to explain how a program can trap without making a system call when it is compiled with `--no-std`. We should probably take inspiration from Rust's [#[panic_handler]](https://doc.rust-lang.org/nomicon/panic-handler.html#panic_handler).

This program should compile: ``` type A: Deinitializable { public memberwise init public fun foo() {} public static fun foo() {} } public fun main() { A().foo() // error: ambiguous...

This type declaration should not compile: ``` type A { fun infix&%!! (_ x: A) -> Void { () } } ``` Commit: 289ed31a49747a3bfbec14547e0ace165d72e3e0

The current implementation doesn't duplicate declarations and simply let overload resolution fail.

We should use `sink` static properties to represent constant properties of types, like the number of bits available in a particular `BinaryInteger`. ``` public extension Int64 { public static property...

This warning suddenly appeared during `hc` builds after I updated Xcode. - macOS 13.5.2 (Apple M2) - Swift 5.9 (swiftlang-5.9.0.128.108 clang-1500.0.40.1) - LLVM 16.0.3 - Commit: 5e4ca147b8d368b763f92aa46e1ab33813b25cc2

Example of program that should be supported: ``` type A: Deinitializable { public fun foo(_ x: T) {} public memberwise init } fun bar(_ x: T) { var x: A...

We should have a detailed documentation of the core traits like `Movable`, `Copyable`, `Deinitializable`, `Regular`, etc. Our documentation should assume as little background as possible to maximize inclusiveness for new...

Declaration references to functions are typically turned into function references during IR generation. For example: https://github.com/hylo-lang/hylo/blob/f73cfecf8024f6a58f37ccb759d6f22743663221/Sources/IR/Emitter.swift#L1267-L1268 Similar code is repeated in several places and should be refactored into a dedicated...

Disappearing deprecation warning with unhelpful suggestion

2

## Compiler version Scala compiler version 3.3.1 -- Copyright 2002-2023, LAMP/EPFL ## Minimized example To reproduce: - Clone https://github.com/kyouko-taiga/scala-existentials - Navigate to the tag `scala-vanishing-deprecation-warning` (or [this commit](https://github.com/kyouko-taiga/scala-existentials/commit/a0bec3d4f283814977527e3b407a01a236a6eed3)) - Compile...