File: 00132-swift-lexer-lexoperatoridentifier.swift

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (45 lines) | stat: -rw-r--r-- 964 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
 
// This source file is part of the Swift.org open source project
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors

// RUN: not %target-swift-frontend %s -typecheck
func p<ed>() -> (ed, ed -> ed) -> ed {
   s n s.v = {
}
 {
   ed) {
        m  }
}
l p {
   class func v()
}
class s: p{  class func v {}
l ed {
    typealias q
}
class m<p> {
    w <ed: ed k ed.q == p>(n: ed.(((y, y) -> y) -> y)) -> y {
    t u({
        (o: y, s:y) -> y in
        t o
    })
}
p(x(a, x(b, cb)))
class x {
    typealias p = p
}
class x<p : p, ed : p k p.s == ed> {
}
l p {
    typealias s
    typealias n
}
n v<m : p> : p {
    typealias s = m
    typealias n = x<v<m>, s>
}
class v {
    func p((y, v))(x: (y, dc: r = { (v: r, p: r -> r) -> r in