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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
// RUN: %target-typecheck-verify-swift 2>&1
protocol FP {}
protocol FPSign {
associatedtype Positive: FPIntDigit
associatedtype Negative: FPIntDigit
}
protocol FPIntDigit: FP {
associatedtype Zero: FPIntDigit, FPPoint, FPExponent
associatedtype One: FPIntDigit, FPPoint, FPExponent
associatedtype Two: FPIntDigit, FPPoint, FPExponent
associatedtype Three: FPIntDigit, FPPoint, FPExponent
associatedtype Four: FPIntDigit, FPPoint, FPExponent
associatedtype Five: FPIntDigit, FPPoint, FPExponent
associatedtype Six: FPIntDigit, FPPoint, FPExponent
associatedtype Seven: FPIntDigit, FPPoint, FPExponent
associatedtype Eight: FPIntDigit, FPPoint, FPExponent
associatedtype Nine: FPIntDigit, FPPoint, FPExponent
}
protocol FPPoint: FP {
associatedtype Point: FPFractionDigit, FPExponent
}
protocol FPFractionDigit: FP {
associatedtype Zero: FPFractionDigit, FPExponent
associatedtype One: FPFractionDigit, FPExponent
associatedtype Two: FPFractionDigit, FPExponent
associatedtype Three: FPFractionDigit, FPExponent
associatedtype Four: FPFractionDigit, FPExponent
associatedtype Five: FPFractionDigit, FPExponent
associatedtype Six: FPFractionDigit, FPExponent
associatedtype Seven: FPFractionDigit, FPExponent
associatedtype Eight: FPFractionDigit, FPExponent
associatedtype Nine: FPFractionDigit, FPExponent
}
protocol FPExponent {
associatedtype E: FPExponentSign, FPExponentDigit
}
protocol FPExponentSign {
associatedtype Positive: FPExponentDigit
associatedtype Negative: FPExponentDigit
}
protocol FPExponentDigit: FP {
associatedtype Zero: FPExponentDigit
associatedtype One: FPExponentDigit
associatedtype Two: FPExponentDigit
associatedtype Three: FPExponentDigit
associatedtype Four: FPExponentDigit
associatedtype Five: FPExponentDigit
associatedtype Six: FPExponentDigit
associatedtype Seven: FPExponentDigit
associatedtype Eight: FPExponentDigit
associatedtype Nine: FPExponentDigit
}
|
