Re: [swift-dev] A constraint system / type variable question

2017-09-23 Thread Robert Widmann via swift-dev
Why is the arrow carrying the “Has Value Semantics Bit” rather than it being part of a protocol composition on an argument type, or a convention bit on the parameter like ‘inout’? ~Robert Widmann > On Sep 24, 2017, at 1:12 AM, David Zarzycki wrote: > > Hi Robert, > > As a prerequisite to som

Re: [swift-dev] A constraint system / type variable question

2017-09-23 Thread David Zarzycki via swift-dev
Hi Robert, As a prerequisite to some other hacking I’m doing, I have an experimental implementation of value semantics; where (among other details), all functions have a bit in ExtInfo that denotes whether the function has enforced value semantics or not. As a matter of polish, I’d like the fol

Re: [swift-dev] A constraint system / type variable question

2017-09-23 Thread Robert Widmann via swift-dev
> On Sep 23, 2017, at 3:39 PM, David Zarzycki via swift-dev > wrote: > > Hello, > > I’m trying to replace the explicit FunctionType returned by > visitClosureExpr() in CSGen.cpp with a type variable; and ultimately a > disjunction of two FunctionTypes with different ExtInfo flags set (one >

[swift-dev] A constraint system / type variable question

2017-09-23 Thread David Zarzycki via swift-dev
Hello, I’m trying to replace the explicit FunctionType returned by visitClosureExpr() in CSGen.cpp with a type variable; and ultimately a disjunction of two FunctionTypes with different ExtInfo flags set (one favored, one not). After reviewing the code and making a few attempts, I haven’t been

Re: [swift-dev] libdispatch switched to CMake

2017-09-23 Thread David P Grove via swift-dev
With autotools, the first time libdispatch was built (for SourceKit), it just did the C build of libdispatch. That had to be blown away and rebuilt a second time later (once swiftc, etc was available) so that we could build libdispatch.so with the Swift overlay built into it. Did you manage to c

Re: [swift-dev] [Swift CI] Build Failure: 0. OSS - Swift Incremental RA - Ubuntu 16.10 - Long Test (master) #295

2017-09-23 Thread Douglas Gregor via swift-dev
Sent from my iPhone > On Sep 23, 2017, at 12:20 AM, Andrew Trick wrote: > > Yeah, that error I saw was really just an @error. But I don’t see any bots > that have passed with long tests and don’t see any other commits that would > affect the stdlib serialized SIL. > > It should reproduce lo

Re: [swift-dev] [Swift CI] Build Failure: 0. OSS - Swift Incremental RA - Ubuntu 16.10 - Long Test (master) #295

2017-09-23 Thread Andrew Trick via swift-dev
Yeah, that error I saw was really just an @error. But I don’t see any bots that have passed with long tests and don’t see any other commits that would affect the stdlib serialized SIL. It should reproduce locally with python /s/s/llvm/utils/lit/lit.py ./validation-test-macosx-x86_64 -v --filter