[{"id":"16781623586","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/580","repository_url":"https://api.github.com/repos/hylo-lang/hylo-new","labels_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/580/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/580/comments","events_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/580/events","html_url":"https://github.com/hylo-lang/hylo-new/issues/580","id":5770718400,"node_id":"I_kwDOM9QcgM8AAAABV_YswA","number":580,"title":"Illegal inout access: wrong I think","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[{"id":11663345102,"node_id":"LA_kwDOM9QcgM8AAAACtzCFzg","url":"https://api.github.com/repos/hylo-lang/hylo-new/labels/triage-needed","name":"triage-needed","color":"aaaaaa","default":false,"description":null,"archived_at":null,"archived_by":null},{"id":11795030077,"node_id":"LA_kwDOM9QcgM8AAAACvwngPQ","url":"https://api.github.com/repos/hylo-lang/hylo-new/labels/ir%20passes","name":"ir passes","color":"1d76db","default":false,"description":"","archived_at":null,"archived_by":null},{"id":11835470784,"node_id":"LA_kwDOM9QcgM8AAAACwXLzwA","url":"https://api.github.com/repos/hylo-lang/hylo-new/labels/emitter","name":"emitter","color":"5319e7","default":false,"description":"","archived_at":null,"archived_by":null}],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":0,"created_at":"2026-10-09T00:10:18Z","updated_at":"2026-10-09T07:19:59Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":{"id":13940721,"node_id":"IT_kwDOBJ22E84A1Lfx","name":"Bug","description":"An unexpected problem or behavior","color":"red","created_at":"2024-02-08T06:32:09Z","updated_at":"2024-07-26T13:41:19Z","is_enabled":true},"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"```\nstruct String is Deinitializable {\n  public memberwise init\n}\n\nstruct Array<T> {\n  var x: T\n\n  public subscript at(i: Int) auto -> T {\n    let {\n      yield self.x\n    }\n    inout {\n      yield &self.x\n    }\n  }\n\n  public fun count() -> Int { 0 }\n\n  public memberwise init\n}\n\ngiven Array<String> is Deinitializable {}\n\nstruct Dice is Deinitializable {\n  public memberwise init\n  public fun roll(x: Int) -> Int { x.copy() }\n}\n\nfun assert(x: Bool) {}\nfun print<T>(x: T) {}\n\nextension Int {\n  fun copy() -> Self { Self(value: self.value) }\n}\n\nsubscript choose(source: inout Array<String>, random: inout Dice) inout -> String {\n  assert(source.count() > 0)\n  var n = random.roll(source.count())\n  yield &source.at[n]\n}\n\npublic fun main() {\n  var x = Array(x: String())\n  var d = Dice()\n  let y = choose[x, &d]\n  print(y)\n}\n```\n\ngives:\n```\nx.hylo:39.3-22: error: illegal 'inout' access\n  yield &source.at[n]\n  ~~~~~~~~~~~~~~~~~~~\n```","reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/580/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/580/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-10-09T00:10:19Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16687814262","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/578","repository_url":"https://api.github.com/repos/hylo-lang/hylo-new","labels_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/578/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/578/comments","events_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/578/events","html_url":"https://github.com/hylo-lang/hylo-new/issues/578","id":5753478770,"node_id":"I_kwDOM9QcgM8AAAABVu8ecg","number":578,"title":"Precondition failure: bad operand","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[{"id":11835470784,"node_id":"LA_kwDOM9QcgM8AAAACwXLzwA","url":"https://api.github.com/repos/hylo-lang/hylo-new/labels/emitter","name":"emitter","color":"5319e7","default":false,"description":"","archived_at":null,"archived_by":null}],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":0,"created_at":"2026-10-07T23:43:54Z","updated_at":"2026-10-08T07:47:21Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":{"id":13940721,"node_id":"IT_kwDOBJ22E84A1Lfx","name":"Bug","description":"An unexpected problem or behavior","color":"red","created_at":"2024-02-08T06:32:09Z","updated_at":"2024-07-26T13:41:19Z","is_enabled":true},"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"hc this (uncomment the body of `choose2` to see a different failure; hits `unreachable()`)\n\n```\nstruct String is Deinitializable {\n  public memberwise init\n}\n\nstruct Array<T> {\n  let x: T\n\n  public subscript at(i: Int) auto -> T {\n    let {\n      yield self.x\n    }\n    inout {\n      yield &self.x\n    }\n  }\n\n  public fun count() -> Int { 0 }\n\n  public memberwise init\n}\n\ngiven Array<String> is Deinitializable {\n  fun deinit() sink {}\n\n}\n\nstruct Dice is Deinitializable {\n  public memberwise init\n  public fun roll(x: Int) -> Int { x.copy() }\n}\n\nfun assert(x: Bool) {}\nfun print<T>(x: T) {}\n\nextension Int {\n  fun copy() -> Self { Self(value: self.value) }\n}\n\nsubscript choose(source: inout Array<String>, random: inout Dice) inout -> String {\n  assert(source.count() > 0)\n  yield &source.at[random.roll(source.count())]\n}\n\nfun choose2(source: inout Array<String>, random: inout Dice, body: [](inout String)->Void) {\n//  assert(source.count() > 0)\n//  body(source.at[random.roll(source.count())])\n}\n\n\npublic fun main() {\n  let x = Array(x: String())\n  var d = Dice()\n  let y = choose[x, &d]\n  print(y)\n}\n```\n\nTrace:\n```\n 0 0x00000001a6cc8d4c _assertionFailure(_:_:file:line:flags:) + 216 in libswiftCore.dylib\n 1 badOperand(file:line:) + 164 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:3364:3\n\n  3362│ /// Indicates an invalid IR operand.\n  3363│ fileprivate func badOperand(file: StaticString = #file, line: UInt = #line) -> Never {\n  3364│   preconditionFailure(\"bad operand\", file: file, line: line)                        \n      │   ▲\n  3365│ }\n  3366│\n\n 2 IREmitter._type_apply(_:to:) + 1712 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:2298:12\n\n  2296│       let t = currentFunction.result(of: callee),\n  2297│       let u = program.types.cast(t.type, to: UniversalType.self)\n  2298│     else { badOperand() }                                                           \n      │            ▲\n  2299│ \n  2300│     // Compute the type substitution.\n\n 3 IREmitter._emitDeinitializeWhole(structOrEnum:applyingDeinitializerSynthesizedFor:declaredBy:) + 884 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:2910:14\n\n  2908│     let x0 = _alloca(.void)\n  2909│     let x1 = functionReference(to: deinitializer)\n  2910│     let x2 = _type_apply(x1, to: conformerArguments)                                \n      │              ▲\n  2911│     _apply(x2, [table, s], into: x0, argumentAccesses: .formAndClose)\n  2912│     insertionContext.function!.closeOpenEndedRegions(in: xs)\n\n 4 IREmitter._emitDeinitializeWhole(_:instanceOf:) + 1216 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:2835:13\n\n  2833│           let (x, _) = program.types.seenAsBaseTypeApplication(t)\n  2834│           if program.declaration(whereStructOrEnum: x) != nil {\n  2835│             _emitDeinitializeWhole(                                                 \n      │             ▲\n  2836│               structOrEnum: s,\n  2837│               applyingDeinitializerSynthesizedFor: w, declaredBy: conformance)\n\n 5 IREmitter._emitDeinitialize(_:instanceOf:) + 504 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:2802:14\n\n  2800│       return _emitDeinitializeMemberwise(s, instanceOf: u)\n  2801│     default:\n  2802│       return _emitDeinitializeWhole(s, instanceOf: t)                               \n      │              ▲\n  2803│     }\n  2804│   }\n\n 6 IREmitter._emitDeinitialize(_:) + 256 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:2785:12\n\n  2783│   internal mutating func _emitDeinitialize(_ s: IRValue) -> Bool {\n  2784│     let (t, _) = currentFunction.result(of: s) ?? badOperand()\n  2785│     return _emitDeinitialize(s, instanceOf: t)                                      \n      │            ▲\n  2786│   }\n  2787│\n\n 7 closure #1 in closure #1 in Transfer.deinitialize(_:at:before:in:) + 112 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/Transforms/IRFunction+LifetimeNormalization.swift:953:20\n\n   951│         let success = emitter.lowering(before: i, in: &f) { (e) in\n   952│           let x = e._subfield(place, at: p)\n   953│           return e._emitDeinitialize(x)                                             \n      │                    ▲\n   954│         }\n   955│\n\n 8 closure #1 in IREmitter.lowering<A>(_:anchoredTo:in:_:) + 356 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:1871:14\n\n  1869│       me.insertionContext.function = consume f\n  1870│       defer { f = me.insertionContext.function.sink() }\n  1871│       return action(&me)                                                            \n      │              ▲\n  1872│     }\n  1873│   }\n\n 9 IREmitter.withClearContext<A>(_:) + 272 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:1820:13\n\n  1818│     var c = InsertionContext()\n  1819│     swap(&c, &insertionContext)\n  1820│     let r = action(&self)                                                           \n      │             ▲\n  1821│     swap(&c, &insertionContext)\n  1822│     return r\n\n10 IREmitter.lowering<A>(_:anchoredTo:in:_:) + 216 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:1866:5\n\n  1864│     _ p: InsertionPoint, anchoredTo a: Anchor, in f: inout IRFunction, _ action: (inout Self) -> R\n  1865│   ) -> R {\n  1866│     withClearContext { (me) in                                                      \n      │     ▲\n  1867│       me.insertionContext.point = p\n  1868│       me.insertionContext.anchor = a\n\n11 IREmitter.lowering<A>(before:in:_:) + 388 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/IREmitter.swift:1881:12\n\n  1879│   ) -> R {\n  1880│     let a = f.at(i).anchor\n  1881│     return lowering(.before(i), anchoredTo: a, in: &f, action)                      \n      │            ▲\n  1882│   }\n  1883│\n\n12 closure #1 in Transfer.deinitialize(_:at:before:in:) + 400 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/Transforms/IRFunction+LifetimeNormalization.swift:951:31\n\n   949│       for p in parts {\n   950│         // Attempt to resolve and apply a witness of `Deinitializable`.\n   951│         let success = emitter.lowering(before: i, in: &f) { (e) in                  \n      │                               ▲\n   952│           let x = e._subfield(place, at: p)\n   953│           return e._emitDeinitialize(x)\n\n13 Program.withEmitter<A>(insertingIn:_:) + 204 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/Program.swift:218:12\n\n   216│     var emitter = IREmitter(insertingIn: m, of: consume self)\n   217│     defer { self = emitter.release() }\n   218│     return action(&emitter)                                                         \n      │            ▲\n   219│   }\n   220│\n\n14 Transfer.deinitialize(_:at:before:in:) + 296 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/Transforms/IRFunction+LifetimeNormalization.swift:948:20\n\n   946│ \n   947│     // Otherwise, construct an emitter to insert deinitialization.\n   948│     return program.withEmitter(insertingIn: module) { (emitter) in                  \n      │                    ▲\n   949│       for p in parts {\n   950│         // Attempt to resolve and apply a witness of `Deinitializable`.\n\n15 Transfer.interpret(_:from:) + 1396 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/Transforms/IRFunction+LifetimeNormalization.swift:573:27\n\n   571│       if f.owns(v), case .place(.root(let root)) = o {\n   572│         let parts = initializedParts(context.memory[root]!.value)\n   573│         if !parts.isEmpty && !deinitialize(parts, at: v, before: i.erased, in: &f) {\n      │                           ▲\n   574│           // Bail out if something isn't deinitializable.\n   575│           break\n\n16 Transfer.apply(_:from:in:precededBy:using:) + 4892 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/Transforms/IRFunction+LifetimeNormalization.swift:135:14\n\n   133│         pc = interpret(f.castUnchecked(i, to: IRProperty.self), from: &f)\n   134│       case IRReturn.self:\n   135│         pc = interpret(f.castUnchecked(i, to: IRReturn.self), from: &f)             \n      │              ▲\n   136│       case IRStore.self:\n   137│         pc = interpret(f.castUnchecked(i, to: IRStore.self), from: &f)\n\n17 AbstractMachine.postContext(of:in:precededBy:mergedInto:using:_:) + 364 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/AbstractInterpreter/AbstractMachine.swift:212:29\n\n   210│   ) -> (next: Transfer.Context, updates: IRBlockSet) {\n   211│     var next = initialContext\n   212│     let updates = interpret.apply(b, from: &f, in: &next, precededBy: predecessors, using: &typer)\n      │                             ▲\n   213│     return (next, updates)\n   214│   }\n\n18 AbstractMachine.fixedPoint(interpreting:with:_:startingFrom:) + 1864 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/AbstractInterpreter/AbstractMachine.swift:119:32\n\n   117│       // If the initial conditions changed, interpret the block.\n   118│       else {\n   119│         let (after, updates) = postContext(                                         \n      │                                ▲\n   120│           of: blockToProcess, in: &f, precededBy: sources, mergedInto: before,\n   121│           using: &interpret, &typer)\n\n19 AbstractTransferFunction.fixedPoint(interpreting:startingFrom:using:) + 352 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/AbstractInterpreter/AbstractMachine.swift:55:14\n\n    53│   ) -> Bool {\n    54│     var m = AbstractMachine<Self>(interpreting: f)\n    55│     return m.fixedPoint(interpreting: &f, with: &self, &typer, startingFrom: initialContext)\n      │              ▲\n    56│   }\n    57│\n\n20 IRFunction.normalizeLifetimes(emittingInto:using:) + 736 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/IR/Transforms/IRFunction+LifetimeNormalization.swift:28:21\n\n    26│ \n    27│     var transfer = Transfer(emittingInto: m)\n    28│     return transfer.fixedPoint(interpreting: &self, startingFrom: initial, using: &typer)\n      │                     ▲\n    29│   }\n    30│\n\n21 closure #1 in Program.applyTransformationPasses(_:) + 1628 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/Program.swift:153:30\n\n   151│         // The following passes may fail.\n   152│         if !work[i].function.checkYieldCoherence(using: &typer) { continue }\n   153│         if !work[i].function.normalizeLifetimes(emittingInto: m, using: &typer) { continue }\n      │                              ▲\n   154│         if !work[i].function.upholdExclusivity(emittingInto: m, using: &typer) { continue }\n   155│         if !work[i].function.upholdInliningRequirements(in: m, using: &typer) { continue }\n\n22 Program.withTyper<A>(typing:_:) + 216 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/Program.swift:210:12\n\n   208│     var typer = Typer(typing: m, of: consume self, loggingInferenceWhere: nil)\n   209│     defer { self = typer.release() }\n   210│     return action(&typer)                                                           \n      │            ▲\n   211│   }\n   212│\n\n23 Program.applyTransformationPasses(_:) + 64 in hc at /Users/dave/src/hylo-new/Sources/FrontEnd/Program.swift:123:5\n\n   121│   /// the failure occurred is removed from the program.\n   122│   public mutating func applyTransformationPasses(_ m: Module.ID) {\n   123│     withTyper(typing: m) { (typer) in                                               \n      │     ▲\n   124│       // Temporarily move all functions to a local work list. Those that fail a mandatory pass\n   125│       // won't make it back.\n\n24 closure #1 in Driver.applyTransformationPasses(_:) + 76 in hc at /Users/dave/src/hylo-new/Sources/Driver/Driver.swift:162:15\n\n   160│   public mutating func applyTransformationPasses(_ module: Module.ID) async -> PhaseResult {\n   161│     let elapsed = ContinuousClock().measure {\n   162│       program.applyTransformationPasses(module)                                     \n      │               ▲\n   163│     }\n   164│     return .init(elapsed: elapsed, containsError: program[module].containsError)\n\n25 0x00000002bef32bc8 Clock.measure(_:) + 280 in libswift_Concurrency.dylib\n26 Driver.applyTransformationPasses(_:) + 132 in hc at /Users/dave/src/hylo-new/Sources/Driver/Driver.swift:161:37\n\n   159│   @discardableResult\n   160│   public mutating func applyTransformationPasses(_ module: Module.ID) async -> PhaseResult {\n   161│     let elapsed = ContinuousClock().measure {                                       \n      │                                     ▲\n   162│       program.applyTransformationPasses(module)\n   163│     }\n\n27 closure #5 in CommandLine.run() in hc at /Users/dave/src/hylo-new/Sources/hc/CommandLine.swift:295\n\n   293│ \n   294│       await perform(\"normalization\", for: module) {\n   295│         await driver.applyTransformationPasses(module)                              \n      │         ▲\n   296│       }\n   297│\n\n28 perform #1 (_:for:_:) in CommandLine.run() in hc at /Users/dave/src/hylo-new/Sources/hc/CommandLine.swift:344\n\n   342│     func perform(_ phase: String, for module: FrontEnd.Module.ID,\n   343│       _ action: () async throws -> Driver.PhaseResult) async rethrows {\n   344│       let a = try await action()                                                    \n      │       ▲\n   345│       note(\"\\(phase) completed in \\(a.elapsed.human)\")\n   346│       exitOnError(driver.program[module])\n\n29 CommandLine.run() in hc at /Users/dave/src/hylo-new/Sources/hc/CommandLine.swift:294\n\n   292│       }\n   293│ \n   294│       await perform(\"normalization\", for: module) {                                 \n      │       ▲\n   295│         await driver.applyTransformationPasses(module)\n   296│       }\n\n30 static AsyncParsableCommand.main(_:) in hc at /Users/dave/src/hylo-new/.build/checkouts/swift-argument-parser/Sources/ArgumentParser/Parsable Types/AsyncParsableCommand.swift:41\n\n    39│       var command = try parseAsRoot(arguments)\n    40│       if var asyncCommand = command as? AsyncParsableCommand {\n    41│         try await asyncCommand.run()                                                \n      │         ▲\n    42│       } else {\n    43│         try command.run()\n\n31 static AsyncParsableCommand.main() in hc at /Users/dave/src/hylo-new/.build/checkouts/swift-argument-parser/Sources/ArgumentParser/Parsable Types/AsyncParsableCommand.swift:61\n\n    59│   /// if necessary.\n    60│   public static func main() async {\n    61│     await self.main(nil)                                                            \n      │     ▲\n    62│   }\n    63│ }\n","reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/578/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/578/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-10-07T23:43:55Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"23284029123","type":"CreateEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":510150931,"name":"hylo-lang/hylo-lang.github.io","url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io"},"payload":{"ref":"LLVM-variant-advice","ref_type":"branch","full_ref":"refs/heads/LLVM-variant-advice","master_branch":"main","description":"Landing page for Hylo","pusher_type":"user"},"public":true,"created_at":"2026-10-06T16:06:32Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16564694628","type":"PullRequestEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":510150931,"name":"hylo-lang/hylo-lang.github.io","url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io"},"payload":{"action":"merged","number":149,"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/pulls/149","id":4761449032,"number":149,"head":{"ref":"LLVM-variant-advice","sha":"5eea3d10993f2e72ca3aa058a2eddb317edce8bc","repo":{"id":510150931,"url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io","name":"hylo-lang.github.io"}},"base":{"ref":"main","sha":"2b2b9c4a6952b3adb7bf000c7b2ead6f6921f47d","repo":{"id":510150931,"url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io","name":"hylo-lang.github.io"}}}},"public":true,"created_at":"2026-10-06T16:53:25Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16560288362","type":"IssueCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":30004263,"name":"rust-lang/rust-mode","url":"https://api.github.com/repos/rust-lang/rust-mode"},"payload":{"action":"created","issue":{"url":"https://api.github.com/repos/rust-lang/rust-mode/issues/576","repository_url":"https://api.github.com/repos/rust-lang/rust-mode","labels_url":"https://api.github.com/repos/rust-lang/rust-mode/issues/576/labels{/name}","comments_url":"https://api.github.com/repos/rust-lang/rust-mode/issues/576/comments","events_url":"https://api.github.com/repos/rust-lang/rust-mode/issues/576/events","html_url":"https://github.com/rust-lang/rust-mode/pull/576","id":3451049768,"node_id":"PR_kwDOAcnUJ86qX7ph","number":576,"title":"Don't hang when the beginning of the error can't be found","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":1,"created_at":"2025-09-24T21:25:54Z","updated_at":"2026-10-06T16:08:58Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":null,"active_lock_reason":null,"draft":false,"pull_request":{"url":"https://api.github.com/repos/rust-lang/rust-mode/pulls/576","html_url":"https://github.com/rust-lang/rust-mode/pull/576","diff_url":"https://github.com/rust-lang/rust-mode/pull/576.diff","patch_url":"https://github.com/rust-lang/rust-mode/pull/576.patch","merged_at":null},"body":"Tools that interfere with rustc output can cause the line to be prefixed (see https://github.com/DioxusLabs/dioxus/issues/4547), which can cause the line never to be found, and the loop to continue until the user presses C-g","reactions":{"url":"https://api.github.com/repos/rust-lang/rust-mode/issues/576/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/rust-lang/rust-mode/issues/576/timeline","performed_via_github_app":null,"state_reason":null},"comment":{"url":"https://api.github.com/repos/rust-lang/rust-mode/issues/comments/6020393234","html_url":"https://github.com/rust-lang/rust-mode/pull/576#issuecomment-6020393234","issue_url":"https://api.github.com/repos/rust-lang/rust-mode/issues/576","id":6020393234,"node_id":"IC_kwDOAcnUJ88AAAABZtfpEg","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"created_at":"2026-10-06T16:08:57Z","updated_at":"2026-10-06T16:08:57Z","body":"I'm sorry, I'm very far from this work now and I am not familiar with how you do testing.  Creating a test would be a big lift for me.  If you don't want to do it yourself, I suggest either accepting the PR without a test or closing it.  I won't be insulted either way.","reactions":{"url":"https://api.github.com/repos/rust-lang/rust-mode/issues/comments/6020393234/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"performed_via_github_app":null,"minimized":null}},"public":true,"created_at":"2026-10-06T16:08:57Z","org":{"id":5430905,"login":"rust-lang","gravatar_id":"","url":"https://api.github.com/orgs/rust-lang","avatar_url":"https://avatars.githubusercontent.com/u/5430905?"}},{"id":"16559861954","type":"PullRequestEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":510150931,"name":"hylo-lang/hylo-lang.github.io","url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io"},"payload":{"action":"opened","number":149,"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/pulls/149","id":4761449032,"number":149,"head":{"ref":"LLVM-variant-advice","sha":"5eea3d10993f2e72ca3aa058a2eddb317edce8bc","repo":{"id":510150931,"url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io","name":"hylo-lang.github.io"}},"base":{"ref":"main","sha":"2b2b9c4a6952b3adb7bf000c7b2ead6f6921f47d","repo":{"id":510150931,"url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io","name":"hylo-lang.github.io"}}}},"public":true,"created_at":"2026-10-06T16:06:37Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16360408013","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/571","repository_url":"https://api.github.com/repos/hylo-lang/hylo-new","labels_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/571/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/571/comments","events_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/571/events","html_url":"https://github.com/hylo-lang/hylo-new/issues/571","id":5694051564,"node_id":"I_kwDOM9QcgM8AAAABU2RU7A","number":571,"title":"Review existentialization doc","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":0,"created_at":"2026-10-03T22:22:03Z","updated_at":"2026-10-03T22:22:03Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"Also resolve many open discussions originally posted by @dabrahams in https://github.com/hylo-lang/hylo-new/pull/530#discussion_r3926465023_","reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/571/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/hylo-new/issues/571/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-10-03T22:22:05Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16355762136","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":931828453,"name":"stlab/cel-rs","url":"https://api.github.com/repos/stlab/cel-rs"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/stlab/cel-rs/issues/246","repository_url":"https://api.github.com/repos/stlab/cel-rs","labels_url":"https://api.github.com/repos/stlab/cel-rs/issues/246/labels{/name}","comments_url":"https://api.github.com/repos/stlab/cel-rs/issues/246/comments","events_url":"https://api.github.com/repos/stlab/cel-rs/issues/246/events","html_url":"https://github.com/stlab/cel-rs/issues/246","id":5693039034,"node_id":"I_kwDON4qS5c8AAAABU1Thug","number":246,"title":"Not obvious how to run a demo","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":0,"created_at":"2026-10-03T19:58:20Z","updated_at":"2026-10-03T19:58:20Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"isn't that what \"begin\" is supposed to be?","reactions":{"url":"https://api.github.com/repos/stlab/cel-rs/issues/246/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/stlab/cel-rs/issues/246/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-10-03T19:58:21Z","org":{"id":2448845,"login":"stlab","gravatar_id":"","url":"https://api.github.com/orgs/stlab","avatar_url":"https://avatars.githubusercontent.com/u/2448845?"}},{"id":"16126177750","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":5370222598,"node_id":"PRR_kwDOM9QcgM8AAAABQBcYBg","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","state":"approved","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5370222598","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5370222598"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"submitted_at":"2026-09-30T18:23:23Z","updated_at":"2026-09-30T18:23:23Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-09-30T18:23:25Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16126169913","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147927677","pull_request_review_id":5370222598,"id":4147927677,"node_id":"PRRC_kwDOM9QcgM73PFp9","diff_hunk":"@@ -446,6 +465,16 @@ public struct Interpreter {\n     }\n   }\n \n+  /// Returns an epilogue that calls the function `f` passing `arguments`.\n+  private func call(","path":"Sources/Interpreter/Interpreter.swift","commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","original_commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"Given where this is used, maybe it should be called apply?","created_at":"2026-09-30T18:23:03Z","updated_at":"2026-09-30T18:23:23Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147927677","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147927677"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147927677"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147927677/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":82,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-30T18:23:03Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16126033875","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147912889","pull_request_review_id":5370222598,"id":4147912889,"node_id":"PRRC_kwDOM9QcgM73PCC5","diff_hunk":"@@ -382,6 +388,19 @@ public struct Interpreter {\n     }\n   }\n \n+  /// Returns the function corresponding to `f`.","path":"Sources/Interpreter/Interpreter.swift","commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","original_commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"Is it really a correspondence?\n\n```suggestion\n  /// Returns `f`.\n```\n\n```suggestion\n  /// Returns the function referred to by `f`.\n```\n\nDo we want the argument label?","created_at":"2026-09-30T18:21:18Z","updated_at":"2026-09-30T18:23:23Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147912889","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147912889"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147912889"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147912889/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":61,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-30T18:21:18Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16125765330","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147879283","pull_request_review_id":5370222598,"id":4147879283,"node_id":"PRRC_kwDOM9QcgM73O51z","diff_hunk":"@@ -245,7 +251,7 @@ public struct Interpreter {\n       let p = allocate(storageFor: x.storage)\n       return register(p)\n     case let x as IRApply:\n-      _ = x\n+      return try call(x.callee, passing: x.callArguments)","path":"Sources/Interpreter/Interpreter.swift","commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","original_commit_id":"57115af33640bb2b78f75809fde39f64f415146a","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"Question pending","created_at":"2026-09-30T18:17:28Z","updated_at":"2026-09-30T18:23:23Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147879283","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147879283"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147879283"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147879283/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"in_reply_to_id":4115984828,"original_position":25,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-30T18:17:28Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16125691367","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147870116","pull_request_review_id":5370222598,"id":4147870116,"node_id":"PRRC_kwDOM9QcgM73O3mk","diff_hunk":"@@ -212,13 +215,16 @@ public struct Interpreter {\n     // corresponding storage and access.\n     let l = memory.allocate(storageFor: .void)\n     let a = Access(to: l.asTypedAddress(.void), effect: .set)","path":"Sources/Interpreter/Interpreter.swift","commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","original_commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"I'm not sure naming all these things that could be intermediate expressions is a win","created_at":"2026-09-30T18:16:25Z","updated_at":"2026-09-30T18:23:23Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147870116","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147870116"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147870116"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147870116/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":33,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-30T18:16:25Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"16125591246","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147858220","pull_request_review_id":5370222598,"id":4147858220,"node_id":"PRRC_kwDOM9QcgM73O0ss","diff_hunk":"@@ -118,14 +121,14 @@ private struct Stack {\n   /// Local variables, parameters, and return addresses.\n   private var frames: [StackFrame] = []\n \n-  /// Adds a frame for a call to `f`, defined in `p`, with parameters `ps`.\n+  /// Adds a frame for a call to `callee`, defined in `p`, passing `arguments`.\n   public mutating func enter(\n-    _ f: GlobalFunctionIdentity,\n+    _ callee: GlobalFunctionIdentity,\n     definedIn p: Program,\n-    withParameters ps: [Access<Memory.TypedAddress>]\n+    passing arguments: [Access<Memory.TypedAddress>]\n   ) {\n-    let s = InstructionPointer(interpreting: f, definedIn: p)\n-    let f = StackFrame(currentStep: s, parameters: ps)","path":"Sources/Interpreter/Interpreter.swift","commit_id":"08401a33d8a86f3735370095e62b1599abfef087","original_commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"The old short names seemed fine to me here, except for the fact that you were reusing F","created_at":"2026-09-30T18:15:02Z","updated_at":"2026-09-30T18:23:23Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147858220","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147858220"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4147858220"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4147858220/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":24,"position":23,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-30T18:15:02Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15979720291","type":"IssuesEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":510150931,"name":"hylo-lang/hylo-lang.github.io","url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io"},"payload":{"action":"opened","issue":{"url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/issues/146","repository_url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io","labels_url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/issues/146/labels{/name}","comments_url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/issues/146/comments","events_url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/issues/146/events","html_url":"https://github.com/hylo-lang/hylo-lang.github.io/issues/146","id":5625713221,"node_id":"I_kwDOHmhJE88AAAABT1GSRQ","number":146,"title":"Home page shows computed property","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"labels":[{"id":4293367435,"node_id":"LA_kwDOHmhJE87_55aL","url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/labels/bug","name":"bug","color":"d73a4a","default":true,"description":"Something isn't working","archived_at":null,"archived_by":null},{"id":4293367436,"node_id":"LA_kwDOHmhJE87_55aM","url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/labels/documentation","name":"documentation","color":"0075ca","default":true,"description":"Improvements or additions to documentation","archived_at":null,"archived_by":null}],"state":"open","locked":false,"assignees":[],"milestone":null,"comments":0,"created_at":"2026-09-28T17:07:19Z","updated_at":"2026-09-29T05:39:25Z","closed_at":null,"assignee":null,"issue_field_values":[],"type":null,"active_lock_reason":null,"sub_issues_summary":{"total":0,"completed":0,"percent_completed":0},"issue_dependencies_summary":{"blocked_by":0,"total_blocked_by":0,"blocking":0,"total_blocking":0},"body":"Since those are not supported in NFE we should change to a subscript.","reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/issues/146/reactions","total_count":1,"+1":1,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"timeline_url":"https://api.github.com/repos/hylo-lang/hylo-lang.github.io/issues/146/timeline","performed_via_github_app":null,"state_reason":null,"pinned_comment":null}},"public":true,"created_at":"2026-09-29T05:39:26Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15925992029","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":5340207339,"node_id":"PRR_kwDOM9QcgM8AAAABPk0Y6w","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"57115af33640bb2b78f75809fde39f64f415146a","state":"commented","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5340207339","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5340207339"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"submitted_at":"2026-09-28T14:34:09Z","updated_at":"2026-09-28T14:34:09Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-09-28T14:34:11Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15925989902","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4123405343","pull_request_review_id":5340207339,"id":4123405343,"node_id":"PRRC_kwDOM9QcgM71xiwf","diff_hunk":"@@ -245,7 +251,7 @@ public struct Interpreter {\n       let p = allocate(storageFor: x.storage)\n       return register(p)\n     case let x as IRApply:\n-      _ = x\n+      return try call(x.callee, passing: x.callArguments)","path":"Sources/Interpreter/Interpreter.swift","commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","original_commit_id":"57115af33640bb2b78f75809fde39f64f415146a","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"How do we get a return value out of IRApply?\r\n\r\nThis is a little complicated by the fact that in the IR there's one more argument than in the source.  We need to use terminology appropriate to the domain and keep track of what domain we're in.","created_at":"2026-09-28T14:34:09Z","updated_at":"2026-09-28T14:34:09Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4123405343","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4123405343"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4123405343"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4123405343/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"in_reply_to_id":4115984828,"original_position":25,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-28T14:34:09Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15860185229","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":5331001590,"node_id":"PRR_kwDOM9QcgM8AAAABPcCg9g","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"57115af33640bb2b78f75809fde39f64f415146a","state":"changes_requested","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5331001590","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5331001590"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"submitted_at":"2026-09-27T16:00:17Z","updated_at":"2026-09-27T16:00:17Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-09-27T16:00:19Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15860175400","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115996333","pull_request_review_id":5331001590,"id":4115996333,"node_id":"PRRC_kwDOM9QcgM71VR6t","diff_hunk":"@@ -503,6 +530,15 @@ extension IRAccess {\n \n }\n \n+extension IRApply {\n+\n+  /// The arguments passed to the call, including the return register.","path":"Sources/Interpreter/Interpreter.swift","commit_id":"5d9cda874e0814c5ddca3c239607440a56cd30ea","original_commit_id":"57115af33640bb2b78f75809fde39f64f415146a","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"Should this be\n\n\n```suggestion\n  /// The addresses of passed arguments and return value (if any).\n```","created_at":"2026-09-27T16:00:01Z","updated_at":"2026-09-27T16:00:17Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115996333","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115996333"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115996333"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115996333/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":70,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-27T16:00:01Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15860128188","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115992304","pull_request_review_id":5331001590,"id":4115992304,"node_id":"PRRC_kwDOM9QcgM71VQ7w","diff_hunk":"@@ -503,6 +530,15 @@ extension IRAccess {\n \n }\n \n+extension IRApply {\n+\n+  /// The arguments passed to the call, including the return register.\n+  public var callArguments: ArraySlice<IRValue> {","path":"Sources/Interpreter/Interpreter.swift","commit_id":"08401a33d8a86f3735370095e62b1599abfef087","original_commit_id":"57115af33640bb2b78f75809fde39f64f415146a","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"```suggestion\n  public var arguments: ArraySlice<IRValue> {\n```","created_at":"2026-09-27T15:58:38Z","updated_at":"2026-09-27T16:00:17Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115992304","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115992304"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115992304"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115992304/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":71,"position":106,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-27T15:58:38Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15860103923","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115990316","pull_request_review_id":5331001590,"id":4115990316,"node_id":"PRRC_kwDOM9QcgM71VQcs","diff_hunk":"@@ -382,6 +388,17 @@ public struct Interpreter {\n     }\n   }\n \n+  /// Returns the function corresponding to `f`.\n+  private subscript(function f: IRValue) -> GlobalFunctionIdentity {\n+    switch f {\n+    case .function(let n, _):","path":"Sources/Interpreter/Interpreter.swift","commit_id":"57115af33640bb2b78f75809fde39f64f415146a","original_commit_id":"57115af33640bb2b78f75809fde39f64f415146a","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"What is the role of `n`?  It's not obvious from the code.  Choose a better name.","created_at":"2026-09-27T15:57:55Z","updated_at":"2026-09-27T16:00:17Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115990316","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115990316"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115990316"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115990316/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":36,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-27T15:57:55Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15860069816","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115987573","pull_request_review_id":5331001590,"id":4115987573,"node_id":"PRRC_kwDOM9QcgM71VPx1","diff_hunk":"@@ -382,6 +388,17 @@ public struct Interpreter {\n     }\n   }\n \n+  /// Returns the function corresponding to `f`.\n+  private subscript(function f: IRValue) -> GlobalFunctionIdentity {\n+    switch f {\n+    case .function(let n, _):\n+      let currentModule = programCounter.container.module\n+      let d = program.definition(of: n, visibleFrom: currentModule)!\n+      return .init(module: d.0, function: d.1)\n+    default: unimplemented(\"Closures are not supported in emitter yet.\")","path":"Sources/Interpreter/Interpreter.swift","commit_id":"5d9cda874e0814c5ddca3c239607440a56cd30ea","original_commit_id":"57115af33640bb2b78f75809fde39f64f415146a","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"It could be any kind of IRValue that is not a function, correct?  Why is this the right message.","created_at":"2026-09-27T15:56:54Z","updated_at":"2026-09-27T16:00:17Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115987573","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115987573"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115987573"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115987573/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":40,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-27T15:56:54Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15860033388","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115984828","pull_request_review_id":5331001590,"id":4115984828,"node_id":"PRRC_kwDOM9QcgM71VPG8","diff_hunk":"@@ -245,7 +251,7 @@ public struct Interpreter {\n       let p = allocate(storageFor: x.storage)\n       return register(p)\n     case let x as IRApply:\n-      _ = x\n+      return try call(x.callee, passing: x.callArguments)","path":"Sources/Interpreter/Interpreter.swift","commit_id":"4eb042425ab12fb06a0a118f3fbcb91977873282","original_commit_id":"57115af33640bb2b78f75809fde39f64f415146a","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"why is that `callArguments` and not just `arguments`?","created_at":"2026-09-27T15:55:51Z","updated_at":"2026-09-27T16:00:17Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115984828","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115984828"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115984828"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115984828/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":25,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-27T15:55:51Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15860014793","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":5330998837,"node_id":"PRR_kwDOM9QcgM8AAAABPcCWNQ","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"57115af33640bb2b78f75809fde39f64f415146a","state":"commented","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5330998837","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5330998837"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"submitted_at":"2026-09-27T15:55:16Z","updated_at":"2026-09-27T15:55:16Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-09-27T15:55:19Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15860013377","type":"PullRequestReviewCommentEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"action":"created","comment":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115983300","pull_request_review_id":5330998837,"id":4115983300,"node_id":"PRRC_kwDOM9QcgM71VOvE","diff_hunk":"@@ -219,6 +222,9 @@ public struct Interpreter {\n   public mutating func step() throws {\n     switch try applyCurrentInstruction() {\n     case .jump(let pc): programCounter = pc\n+    case .call(let f, let xs):\n+      try advanceProgramCounter()\n+      callStack.enter(f, definedIn: program, withParameters: xs)","path":"Sources/Interpreter/Interpreter.swift","commit_id":"57115af33640bb2b78f75809fde39f64f415146a","original_commit_id":"57115af33640bb2b78f75809fde39f64f415146a","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":"```suggestion\n      callStack.enter(f, definedIn: program, passing: xs)\n```\n\nIMO `arguments` would be a far better name than  `xs`.  Names should reflect roles.  For that matter, `callee` is better than `f`.","created_at":"2026-09-27T15:55:16Z","updated_at":"2026-09-27T15:55:16Z","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115983300","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"self":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115983300"},"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#discussion_r4115983300"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"reactions":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/comments/4115983300/reactions","total_count":0,"+1":0,"-1":0,"laugh":0,"hooray":0,"confused":0,"heart":0,"rocket":0,"eyes":0},"original_position":16,"position":1,"subject_type":"line"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}}},"public":true,"created_at":"2026-09-27T15:55:16Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}},{"id":"15859922874","type":"PullRequestReviewEvent","actor":{"id":44065,"login":"dabrahams","display_login":"dabrahams","gravatar_id":"","url":"https://api.github.com/users/dabrahams","avatar_url":"https://avatars.githubusercontent.com/u/44065?"},"repo":{"id":869538944,"name":"hylo-lang/hylo-new","url":"https://api.github.com/repos/hylo-lang/hylo-new"},"payload":{"review":{"id":5330986540,"node_id":"PRR_kwDOM9QcgM8AAAABPcBmLA","user":{"login":"dabrahams","id":44065,"node_id":"MDQ6VXNlcjQ0MDY1","avatar_url":"https://avatars.githubusercontent.com/u/44065?v=4","gravatar_id":"","url":"https://api.github.com/users/dabrahams","html_url":"https://github.com/dabrahams","followers_url":"https://api.github.com/users/dabrahams/followers","following_url":"https://api.github.com/users/dabrahams/following{/other_user}","gists_url":"https://api.github.com/users/dabrahams/gists{/gist_id}","starred_url":"https://api.github.com/users/dabrahams/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dabrahams/subscriptions","organizations_url":"https://api.github.com/users/dabrahams/orgs","repos_url":"https://api.github.com/users/dabrahams/repos","events_url":"https://api.github.com/users/dabrahams/events{/privacy}","received_events_url":"https://api.github.com/users/dabrahams/received_events","type":"User","user_view_type":"public","site_admin":false},"body":null,"commit_id":"57115af33640bb2b78f75809fde39f64f415146a","state":"commented","html_url":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5330986540","pull_request_url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","_links":{"html":{"href":"https://github.com/hylo-lang/hylo-new/pull/566#pullrequestreview-5330986540"},"pull_request":{"href":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566"}},"submitted_at":"2026-09-27T15:52:39Z","updated_at":"2026-09-27T15:52:39Z"},"pull_request":{"url":"https://api.github.com/repos/hylo-lang/hylo-new/pulls/566","id":4646742423,"number":566,"head":{"ref":"interpreter-monomorphic-functions","sha":"08401a33d8a86f3735370095e62b1599abfef087","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}},"base":{"ref":"interpreter-abi-endianness","sha":"668d7b066e1df5c0adb57c4a5f1ab99e171617ba","repo":{"id":869538944,"url":"https://api.github.com/repos/hylo-lang/hylo-new","name":"hylo-new"}}},"action":"created"},"public":true,"created_at":"2026-09-27T15:52:42Z","org":{"id":77444627,"login":"hylo-lang","gravatar_id":"","url":"https://api.github.com/orgs/hylo-lang","avatar_url":"https://avatars.githubusercontent.com/u/77444627?"}}]