hylo

hylo copied to clipboard

Fatal error: unexpected coercion from 'Self.Element' to Self.Element

1

On requirements-machine branch: ```swift public extension MutableCollection { public fun apply_each(_ f: [E](inout Self.Element)->Void) inout -> Void { for inout e in self { f(&e) } } } ```

dabrahams

On requirements-machine branch: ``` public typealias Vec2 = {x: Float64, y: Float64} fun f(_ v: Vec2) -> Bool { v.x > v.y } // error: type 'Vec2' has no member...

dabrahams

Extra move construction?

2

I did this to see how things worked. ```swift type Inner: Movable, Deinitializable { var value: Int public fun id() { print(Int(bit_pattern: pointer[to: self].raw), terminator: "") print(": ", terminator: "")...

dabrahams

Fix an incorrect comment

1

dabrahams

on requirements-machine ``` extension Optional where T: Movable { public fun postfix!() sink -> T { if let r: T = self { return r } else { fatal_error("force unwrapping...

dabrahams

Nested Product Type Compilation Issue

2

I came around a supposedly wrongly emitted compiler error when compiling the following code: ```hylo type A: Deinitializable { public let x: Int public memberwise init public type B :...

tothambrus11

Implement exhaustivity checks

1

On requirements-machine branch: ``` public fun force_unwrap(x: sink Optional) -> T { match x { // error: incompatible types '{}' and 'T' // let r: T { return r }...

dabrahams

Ill consumption?

2

I don't know why this compiles. I also don't know why it prints 0 instead of -1. ``` type X: Deinitializable { public var a: Int public memberwise init public...

dabrahams

Almost

1

With the requirement machine branch, this fails ``` conformance Buffer: Collection { public typealias Position = Int public fun start_position() -> Int { 0 } public fun end_position() -> Int...

dabrahams

At f6ee33caa, this should compile: ``` extension Array { init(foo: Int) { self = Array() // error: type 'Element' does not conform to trait 'SemiRegular' } } ```

dabrahams