Re: [swift-dev] Glibc.swift: error: no such module 'SwiftGlibc'

2016-11-08 Thread Eric Wing via swift-dev
I'm comparing the build log differences between the successful build on Ubuntu 16.10 and the failed build in Steam-Runtime. It looks like while building Swift (past llvm & clang), at step [651/720], the build logs diverge. In the successful case on Ubuntu, the command is building glibc.modulemap.

Re: [swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-08 Thread Dave Abrahams via swift-dev
on Tue Nov 08 2016, Douglas Gregor wrote: >> On Nov 8, 2016, at 1:58 PM, Dave Abrahams via swift-dev >> wrote: >> >> >> on Mon Nov 07 2016, Douglas Gregor > > > wrote: >> > >>> Hi all, >>> >>> While working on the type checker, I came across an interesting c

Re: [swift-dev] Casting shadow protocols

2016-11-08 Thread Dave Abrahams via swift-dev
on Tue Nov 08 2016, Alexis wrote: >> On Nov 8, 2016, at 6:22 PM, Andrew Trick wrote: >> >> >>> On Nov 7, 2016, at 12:15 PM, Alexis via swift-dev >>> wrote: >>> > >>> Does _unsafeReferenceCast at least verify that the types in >>> question could theoretically be cast into each other? That i

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

2016-11-08 Thread Douglas Gregor via swift-dev
It's an undefined symbol in Corelibs foundation. I've only seen this happen when Foundation didn't get properly rebuilt with the latest Swift. Should I hold off on clearing the workspace? Sent from my iPhone > On Nov 8, 2016, at 7:19 PM, no-re...@swift.org wrote: > > [FAILURE] oss-swift-increm

[swift-dev] [Swift CI] Build Failure: OSS - Swift Package - Ubuntu 16.10 (master) #84

2016-11-08 Thread no-reply--- via swift-dev
Title: Report [FAILURE] oss-swift-package-linux-ubuntu-16_10 [#84] Build URL:https://ci.swift.org/job/oss-swift-package-linux-ubuntu-16_10/84/ Project:oss-swift-package-linux-ubuntu-16_10 Date of build:Tue, 08 Nov 2016 15:49:10 -0800 Build duration:1 hr 15 min Identified

[swift-dev] [Swift CI] Build Failure: OSS - Swift Package - Ubuntu 16.04 (master) #154

2016-11-08 Thread no-reply--- via swift-dev
Title: Report [FAILURE] oss-swift-package-linux-ubuntu-16_04 [#154] Build URL:https://ci.swift.org/job/oss-swift-package-linux-ubuntu-16_04/154/ Project:oss-swift-package-linux-ubuntu-16_04 Date of build:Tue, 08 Nov 2016 15:49:10 -0800 Build duration:1 hr 43 min Identifie

Re: [swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-08 Thread Douglas Gregor via swift-dev
> On Nov 8, 2016, at 1:58 PM, Dave Abrahams via swift-dev > wrote: > > > on Mon Nov 07 2016, Douglas Gregor > wrote: > >> Hi all, >> >> While working on the type checker, I came across an interesting case for >> associated type inference >> with the ‘Indices

Re: [swift-dev] Casting shadow protocols

2016-11-08 Thread Dave Abrahams via swift-dev
The msg send built in is worse than exploiting AnyObject magic. I'd rather fall back to that Sent from my moss-covered three-handled family gradunza > On Nov 8, 2016, at 4:34 PM, Alexis wrote: > > > >> On Nov 8, 2016, at 6:22 PM, Andrew Trick wrote: >> >> >>> On Nov 7, 2016, at 12:15 PM,

Re: [swift-dev] Casting shadow protocols

2016-11-08 Thread Alexis via swift-dev
> On Nov 8, 2016, at 6:22 PM, Andrew Trick wrote: > > >> On Nov 7, 2016, at 12:15 PM, Alexis via swift-dev >> wrote: >> >> Does _unsafeReferenceCast at least verify that the types in question could >> theoretically be cast into each other? That is, one is derived from the >> other? If so,

Re: [swift-dev] Casting shadow protocols

2016-11-08 Thread Andrew Trick via swift-dev
> On Nov 7, 2016, at 12:15 PM, Alexis via swift-dev wrote: > > Does _unsafeReferenceCast at least verify that the types in question could > theoretically be cast into each other? That is, one is derived from the > other? If so, that would probably be an acceptable improvement. (the best we >

[swift-dev] Recursive protocol constraints

2016-11-08 Thread Douglas Gregor via swift-dev
Hi all, Just a heads-up that I’ve been working on the implementation of recursive protocol constraints in master. For reference, this will eventually lead to allowing, e.g., protocol

Re: [swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-08 Thread Dave Abrahams via swift-dev
on Mon Nov 07 2016, Douglas Gregor wrote: > Hi all, > > While working on the type checker, I came across an interesting case for > associated type inference > with the ‘Indices’ type of RandomAccessCollection. At issue is a simple model > of > RandomAccessCollection where the Index type is Int

Re: [swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-08 Thread Dave Abrahams via swift-dev
on Mon Nov 07 2016, Robert Widmann wrote: > Voting for 1. This is an ambiguity in stdlib through and through IMO. No, this is the standard library doing the best it can with a type checker that has mostly-unspecified semantics. It can only be considered an ambiguity in the standard library if

Re: [swift-dev] Casting shadow protocols

2016-11-08 Thread Dave Abrahams via swift-dev
on Tue Nov 08 2016, Michael Gottesman wrote: >> On Nov 7, 2016, at 11:23 AM, Alexis via swift-dev >> wrote: >> >> >>> On Nov 4, 2016, at 11:55 PM, Dave Abrahams via swift-dev >>> > wrote: >>> > >>> >>> on Fri Nov 04 2016, Slava Pestov >>

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

2016-11-08 Thread mishal_shah via swift-dev
Hi Nico, Sorry about this, I will make sure to update the Jobs ignore ninja change set. Thanks, Mishal Shah > On Nov 8, 2016, at 10:23 AM, Jordan Rose wrote: > > Definitely a mistake on our part. We use Ninja but shouldn't be treating it > as a build input in this way. Mishal? > > (Backgrou

Re: [swift-dev] Casting shadow protocols

2016-11-08 Thread Michael Gottesman via swift-dev
> On Nov 7, 2016, at 11:23 AM, Alexis via swift-dev wrote: > > >> On Nov 4, 2016, at 11:55 PM, Dave Abrahams via swift-dev >> mailto:swift-dev@swift.org>> wrote: >> >> >> on Fri Nov 04 2016, Slava Pestov > > wrote: >> >>> If the casts are always in one direct

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

2016-11-08 Thread Jordan Rose via swift-dev
Definitely a mistake on our part. We use Ninja but shouldn't be treating it as a build input in this way. Mishal? (Background: at one point I think we had a fork of ninja to fix a bug, it got fixed upstream, we removed our fork but didn't update all the build processes.) Apologies, Jordan > O

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

2016-11-08 Thread Nico Weber via swift-dev
Why do I get swift builder bot emails for ninja commits? On Tue, Nov 8, 2016 at 12:05 AM, wrote: > [FAILURE] oss-swift-incremental-RA-linux-ubuntu-16_10 [#421] > Build URL: https://ci.swift.org/job/oss-swift-incremental-RA-linux- > ubuntu-16_10/421/ > Project: oss-swift-incremental-RA-linux-ubun

Re: [swift-dev] Casting shadow protocols

2016-11-08 Thread Joe Groff via swift-dev
> On Nov 4, 2016, at 4:29 PM, Alexis via swift-dev wrote: > > The swift standard library has this nasty little pattern/problem in it: > > The types in the core library want to know about several types defined in > foundation: NSString, NSArray, NSDictionary, etc. But core is imported by > Fou

Re: [swift-dev] Initializing constant object graph with cycles

2016-11-08 Thread Anton Mironov via swift-dev
> On Nov 8, 2016, at 4:17 AM, Greg Parker wrote: > >> >> On Nov 4, 2016, at 2:57 AM, Anton Mironov via swift-dev > > wrote: >> >> Hi all, >> >> I want to initialize constant object graph with cycles. I've considered two >> workarounds, but this is not a way I want