Kavon Farvardin
Kavon Farvardin
Unfortunately this is not quite working yet. I'd greatly appreciate any help you can provide. The major components of this project are: 1. Communication / event dispatching according to the...
Replacing the definition of `add` in the above with ```sml fun asInt a = (case a of Zero => 0 | One => 1 | Val a => a (*...
Looks like as of now on trunk and stacks branches, the CFG emitted by closure conversion is broken: ``` ***** Bogus CFG in Main after closure ***** ** type mismatch...
It appears to be a problem involving the type cast below. In CPS it's the identity cast, so we're starting with okay code: ``` fun search_uncurried#0 (param#2:any,param#2:any,param#0: / retK#1.1:cont(any),_exh#1:cont(any)) =...
More specifically, there seems to be some missing CFA information on the RHS var because later on the call is to an known function. ``` let _cast_t#0:[any,kfun(any/any,[cont([cont(any/any),...]/any),...],[kfun([kfun(any/any),...]/any),...])] = ([any,fun(any/any/[cont([cont(any/any),...]/any),...]/[cont([cont(any/any),...]/any),...])])_t let...
This appears to be hitting on some bug in the expansive inliner that runs on the CPS IR. A workaround for this right now would be to turn off that...
#16 is related to this.
Thanks for the report! I was able to reproduce this using Xcode 16 Beta 2 / `swiftlang-6.0.0.4.52`. It appears to have been fixed if you use the `release/6.0` nightly toolchain!...
@swift-ci smoke test
Linux failure seems unrelated.