8a77240a809197c92c0736c431b4b88947a7bac1Christian Maederclass Type

d9a45a35cd696085be1a038b2cc67bee6819c574cmaedervar t : Type

8a77240a809197c92c0736c431b4b88947a7bac1Christian Maederclass TYPE

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian Maedertype Unit : TYPE

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiclasses a, b, c

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederclasses a, b, c;

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski a < b

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescutype s : c

2eeec5240b424984e3ee26296da1eeab6c6d739eChristian Maederpred tt : s

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskivar x : s

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiprogram tt = \ x : s . ();

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maederprogram

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder((x : s) res (y : t)) : s = x;

0095c7efbddd0ffeed6aaf8ec015346be161d819Till Mossakowskifst (x : s, y : t) : s = x;

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian Maedersnd (x : s, y : t) : t = y;

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskipred eq : s * s

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitype s < ? s

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederforall x : t; y : t

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder%(..)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski. x = y;

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maedertype s

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederop a : (? s)

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitype Data1 ::= a | b | c

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitype Data2

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski ::= Cons21 (Data1; Data2) | Cons22 (Data2; Data1) | type Data1

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitype Data3

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski ::= Cons31 (sel1 : ? Data1; sel2 : ? Data2) |

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski Cons32 (sel2 : ? Data2; sel1 : ? Data1)

1a38107941725211e7c3f051f7a8f5e12199f03acmaedertype Data4

1a38107941725211e7c3f051f7a8f5e12199f03acmaeder ::= Cons41 (sel1 : ? Data1; sel2 : ? Data2)? |

ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder Cons42 (sel2 : ? Data2; sel1 : ? Data1)?

1a38107941725211e7c3f051f7a8f5e12199f03acmaeder. true;

d9a45a35cd696085be1a038b2cc67bee6819c574cmaederforall x : s

1a38107941725211e7c3f051f7a8f5e12199f03acmaederforall x : s

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederclasses

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaederTYPE < Type;

d3c9318c22fcf44d9135a3b2c64f880b9a785babChristian Maedera < Type;

d9a45a35cd696085be1a038b2cc67bee6819c574cmaederb < Type;

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskic < Type

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiclass

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskia < b

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitypes

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaederData1 : Type;

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiData2 : Type;

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian MaederData3 : Type;

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaederData4 : Type;

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiUnit : TYPE;

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maeders : c

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maedertype

556f473448dfcceee22afaa89ed7a364489cdbbbChristian MaederData1 < Data2

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maedervar

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maedert : Type %(var_1)%

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maederop Cons21 : Data1 * Data2 -> Data2 %(constructor)%

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maederop Cons22 : Data2 * Data1 -> Data2 %(constructor)%

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maederop Cons31 : Data1 * Data2 -> Data3 %(constructor)%

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maederop Cons32 : Data2 * Data1 -> Data3 %(constructor)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiop Cons41 : Data1 * Data2 ->? Data4 %(constructor)%

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederop Cons42 : Data2 * Data1 ->? Data4 %(constructor)%

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederop a : Data1 %(constructor)%

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederop a : ? s

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiop b : Data1 %(constructor)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiop c : Data1 %(constructor)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiop fst : s * t ->? s

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiop sel1 : Data3 ->? Data1

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski %(selector of constructor(s)

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder (Cons31 : Data1 * Data2 -> Data3,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder Cons32 : Data2 * Data1 -> Data3))%

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederop sel1 : Data4 ->? Data1

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder %(selector of constructor(s)

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder (Cons41 : Data1 * Data2 ->? Data4,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder Cons42 : Data2 * Data1 ->? Data4))%

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederop sel2 : Data3 ->? Data2

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder %(selector of constructor(s)

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder (Cons31 : Data1 * Data2 -> Data3,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder Cons32 : Data2 * Data1 -> Data3))%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiop sel2 : Data4 ->? Data2

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski %(selector of constructor(s)

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski (Cons41 : Data1 * Data2 ->? Data4,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder Cons42 : Data2 * Data1 ->? Data4))%

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederop snd : s * t ->? t

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederpred eq : s * s

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederpred tt : s

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskivar

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskix : s

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maederprogram tt = \ x : s . () %(pe_tt)%

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian Maederprogram (x res y) : s = x %(pe___res__)%

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maederprogram (var fst : s * t ->? s) (x, y) : s = x %(pe_fst)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiprogram (var snd : s * t ->? t) (x, y) : t = y %(pe_snd)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiforall t : Type; x : t; y : t . x = y

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitype Data1 ::= a | b | c %(ga_Data1)%

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maedertype Data2 ::=

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski types Data1 | Cons21 (Data1; Data2) | Cons22 (Data2; Data1)

4ef5e33657aae95850b7e6941f67ac1fb73cd13fChristian Maeder %(ga_Data2)%

4ef5e33657aae95850b7e6941f67ac1fb73cd13fChristian Maederforall x_1 : Data1; x_2 : Data2

4ef5e33657aae95850b7e6941f67ac1fb73cd13fChristian Maeder. (op sel1 : Data3 ->? Data1) (Cons31 (x_1, x_2)) = x_1

e7d2b3903c7b44db432538b0d720c21062c24823Christian Maeder %(ga_select_sel1)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiforall x_1 : Data1; x_2 : Data2

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski. (op sel2 : Data3 ->? Data2) (Cons31 (x_1, x_2)) = x_2

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski %(ga_select_sel2)%

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederforall x_1 : Data2; x_2 : Data1

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski. (op sel2 : Data3 ->? Data2) (Cons32 (x_1, x_2)) = x_1

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski %(ga_select_sel2)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiforall x_1 : Data2; x_2 : Data1

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder. (op sel1 : Data3 ->? Data1) (Cons32 (x_1, x_2)) = x_2

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski %(ga_select_sel1)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitype Data3 ::=

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder Cons31 (sel1 :? Data1; sel2 :? Data2) |

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski Cons32 (sel2 :? Data2; sel1 :? Data1) %(ga_Data3)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiforall x_1 : Data1; x_2 : Data2

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski. (op sel1 : Data4 ->? Data1) (Cons41 (x_1, x_2)) = x_1

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski %(ga_select_sel1)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiforall x_1 : Data1; x_2 : Data2

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder. (op sel2 : Data4 ->? Data2) (Cons41 (x_1, x_2)) = x_2

a98fd29a06e80e447af26d898044c23497adbc73Mihai Codescu %(ga_select_sel2)%

a98fd29a06e80e447af26d898044c23497adbc73Mihai Codescuforall x_1 : Data2; x_2 : Data1

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski. (op sel2 : Data4 ->? Data2) (Cons42 (x_1, x_2)) = x_1

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski %(ga_select_sel2)%

e7d2b3903c7b44db432538b0d720c21062c24823Christian Maederforall x_1 : Data2; x_2 : Data1

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder. (op sel1 : Data4 ->? Data1) (Cons42 (x_1, x_2)) = x_2

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski %(ga_select_sel1)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskitype Data4 ::=

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski Cons41 (sel1 :? Data1; sel2 :? Data2)? |

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maeder Cons42 (sel2 :? Data2; sel1 :? Data1)? %(ga_Data4)%

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski. true

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski### Warning 1.7-1.10, void universe class declaration 'Type'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 3.5, is type variable 't'

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski*** Error 7.11, illegal type pattern argument '__'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder*** Error 11.16, not a class 'd'

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski### Warning 11.7, unchanged class 'a'

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski### Warning 11.10, unchanged class 'b'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Warning 11.13, unchanged class 'c'

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski### Warning 11.19, refined class 'a'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 16.7, not a class 's'

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski### Hint 18.15, rebound variable 'x'

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski### Hint 15.9-15.11,

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskirepeated declaration of 'tt' with type 's ->? Unit'

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski### Hint 20.19, rebound variable 'x'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 20.19, rebound variable 'x'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Warning 20.10-20.15,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederignoring declaration for builtin identifier '__res__'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Warning 20.12-20.31,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederillegal lhs pattern '((var x : s) res (var y : t)) : s'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 21.6, rebound variable 'x'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 21.6, rebound variable 'x'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Warning 21.1-21.18,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederillegal lhs pattern

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder'(var fst : s * t ->? s) ((var x : s), (var y : t)) : s'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 22.6, rebound variable 'x'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 22.6, rebound variable 'x'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Warning 22.1-22.18,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederillegal lhs pattern

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder'(var snd : s * t ->? t) ((var x : s), (var y : t)) : t'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 24.11,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederno kind found for 's'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder expected: {Cpo}

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder found: {c}

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 24.11,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederno kind found for 's'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder expected: {Cppo}

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder found: {c}

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 26.6, redeclared type 's'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 28.41,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederin type of '(pred tt : s)'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder typename 's' (24.15)

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder is not unifiable with type 's ->? Unit' (15.11)

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 28.38-28.41, untypeable term (with type: s * s) '(p, tt)'

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maeder*** Error 28.33,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederno typing for 'program all (p : ? s) : ? Unit = eq (p, tt)'

c911a0ec80ca4a178399c68f1e28be4e2bf42fceChristian Maeder### Hint 30.14, rebound variable 'x'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 30.40-30.41, no type found for 't1'

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maeder### Hint 30.40, untypeable term 't1'

556f473448dfcceee22afaa89ed7a364489cdbbbChristian Maeder### Hint 30.40-30.49,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederuntypeable term (with type: ? _v35_a * ? _v36_b) '(t1 (), t2 ())'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder*** Error 30.38,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederno typing for

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder'program And (x, y : ? Unit) : ? Unit = t1 () res t2 ()'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder*** Error 32.12, unexpected mixfix token: impl

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder*** Error 34.12, unexpected mixfix token: or

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 37.27-37.29, no type found for 'all'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 37.27, untypeable term 'all'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder*** Error 37.25,

a65c6747c9acbbebc93baba7bae94d2e3d8cdafbTill Mossakowskino typing for

4d7d53fec6b551333c79da6ae3b8ca2af0a741abChristian Maeder'program ex (p : ? s) : ? Unit

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder = all \ r : ? Unit . (all \ x : s . p x impl r) impl r'

c911a0ec80ca4a178399c68f1e28be4e2bf42fceChristian Maeder### Hint 40.20-40.22, no type found for 'all'

d9a45a35cd696085be1a038b2cc67bee6819c574cmaeder### Hint 40.20, untypeable term 'all'

d9a45a35cd696085be1a038b2cc67bee6819c574cmaeder*** Error 40.18,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederno typing for 'program ff () : ? Unit = all \ r : ? Unit . r ()'

3f5a42972cccb9c4fd0821def1292ec40b7a4871cmaeder### Hint 45.9, not a class 't'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 45.8, rebound variable 'x'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 45.16, not a class 't'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 57.11, redeclared type 's'

3f5a42972cccb9c4fd0821def1292ec40b7a4871cmaeder### Hint 62.11-62.70,

cd6e5706893519bfcf24539afa252fcbed5097ddKlaus Luettichrepeated declaration of 'sel2' with type 'Data3 ->? Data2'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 62.11-63.1,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederrepeated declaration of 'sel1' with type 'Data3 ->? Data1'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 64.11-64.71,

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederrepeated declaration of 'sel2' with type 'Data4 ->? Data2'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder### Hint 64.11-64.84,

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederrepeated declaration of 'sel1' with type 'Data4 ->? Data1'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 66.22, not a class 's'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 66.21, rebound variable 'x'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 66.25, no type found for 'e'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder*** Error 66.25, no typing for 'e'

e7d2b3903c7b44db432538b0d720c21062c24823Christian Maeder### Hint 67.9, not a class 's'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 67.8, rebound variable 'x'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder### Hint 67.12, no type found for 'e'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder*** Error 67.12, no typing for 'e'

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder