c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maederclass Type

c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maedervar t : Type

10397bcc134edbcfbe3ae2c7ea4c6080036aae22Christian Maederclass TYPE

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maedertype Unit : TYPE

c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maederclasses a, b, c

b4fbc96e05117839ca409f5f20f97b3ac872d1edTill Mossakowskiclasses a, b, c;

c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maeder a < b

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maedertype s : c

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maederpred tt : s

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maedervar x : s

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederprogram tt = \ x : s . ();

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederprogram

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder((x : s) res (y : t)) : s = x;

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederfst (x : s, y : t) : s = x;

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maedersnd (x : s, y : t) : t = y;

23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maederpred eq : s * s

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maedertype s < ? s

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maederforall x : t; y : t

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder%(..)%

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder. x = y;

10397bcc134edbcfbe3ae2c7ea4c6080036aae22Christian Maedertype s

b645cf3dc1e449038ed291bbd11fcc6e02b2fc7fChristian Maederop a : (? s)

04dada28736b4a237745e92063d8bdd49a362debChristian Maedertype Data1 ::= a | b | c

b984ff0ba75221f64451c1e69b3977967d4e99a1Christian Maedertype Data2

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder ::= Cons21 (Data1; Data2) | Cons22 (Data2; Data1) | type Data1

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maedertype Data3

975642b989852fc24119c59cf40bc1af653608ffChristian Maeder ::= Cons31 (sel1 : ? Data1; sel2 : ? Data2) |

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder Cons32 (sel2 : ? Data2; sel1 : ? Data1)

89054b2b95a3f92e78324dc852f3d34704e2ca49Christian Maedertype Data4

b984ff0ba75221f64451c1e69b3977967d4e99a1Christian Maeder ::= Cons41 (sel1 : ? Data1; sel2 : ? Data2)? |

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder Cons42 (sel2 : ? Data2; sel1 : ? Data1)?

8b9fda012e5ee53b7b2320c0638896a0ff6e99f3Christian Maeder. true;

8b9fda012e5ee53b7b2320c0638896a0ff6e99f3Christian Maederforall x : s

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederforall x : s

8b9fda012e5ee53b7b2320c0638896a0ff6e99f3Christian Maederclasses

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian MaederTYPE < Type;

b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian Maedera < Type;

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maederb < Type;

04dada28736b4a237745e92063d8bdd49a362debChristian Maederc < Type

5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederclass

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maedera < b

4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian Maedertypes

42c01284bba8d7c8d995c8dfb96ace57d28ed1bcTill MossakowskiData1 : Type;

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian MaederData2 : Type;

b190f5c7cf3ddda73724efe5ce82b9585ed76be1Christian MaederData3 : Type;

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian MaederData4 : Type;

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian MaederUnit : TYPE;

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeders : c

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maedertype

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian MaederData1 < Data2

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maedervar

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maedert : Type %(var_1)%

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederop Cons21 : Data1 * Data2 -> Data2 %(constructor)%

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

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

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederop Cons32 : Data2 * Data1 -> Data3 %(constructor)%

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederop Cons41 : Data1 * Data2 ->? Data4 %(constructor)%

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederop Cons42 : Data2 * Data1 ->? Data4 %(constructor)%

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederop a : Data1 %(constructor)%

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederop a : ? s %(op)%

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederop b : Data1 %(constructor)%

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederop c : Data1 %(constructor)%

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederop eq : s * s ->? Unit %(pred)%

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederop fst : s * t ->? s %(op)%

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederop sel1 : Data3 ->? Data1

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder %(selector of constructor(s)

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder (Cons31 : Data1 * Data2 -> Data3,

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder Cons32 : Data2 * Data1 -> Data3))%

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maederop sel1 : Data4 ->? Data1

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder %(selector of constructor(s)

5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder (Cons41 : Data1 * Data2 ->? Data4,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder Cons42 : Data2 * Data1 ->? Data4))%

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederop sel2 : Data3 ->? Data2

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder %(selector of constructor(s)

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder (Cons31 : Data1 * Data2 -> Data3,

f4741f6b7da52b5417899c8fcbe4349b920b006eChristian Maeder Cons32 : Data2 * Data1 -> Data3))%

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maederop sel2 : Data4 ->? Data2

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder %(selector of constructor(s)

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder (Cons41 : Data1 * Data2 ->? Data4,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder Cons42 : Data2 * Data1 ->? Data4))%

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederop snd : s * t ->? t %(op)%

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maederop tt : s ->? Unit %(pred)%

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maedervar

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederx : s

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

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederprogram (x res (y : t)) : s = x %(pe___res__)%

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

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederprogram (var snd : s * t ->? t) (x, y : t) : t = y %(pe_snd)%

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederforall t : Type; x : t; y : t . x = y

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maedertype Data1 ::= a | b | c %(ga_Data1)%

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maedertype Data2 ::=

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder types Data1 | Cons21 (Data1; Data2) | Cons22 (Data2; Data1)

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder %(ga_Data2)%

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederforall x_1 : Data1; x_2 : Data2

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

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder %(ga_select_sel1)%

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maederforall x_1 : Data1; x_2 : Data2

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder. (op sel2 : Data3 ->? Data2) (Cons31 (x_1, x_2)) = x_1_2

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder %(ga_select_sel2)%

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederforall x_1 : Data2; x_2 : Data1

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder. (op sel2 : Data3 ->? Data2) (Cons32 (x_1, x_2)) = x_1_1

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder %(ga_select_sel2)%

36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederforall x_1 : Data2; x_2 : Data1

36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder. (op sel1 : Data3 ->? Data1) (Cons32 (x_1, x_2)) = x_1_2

36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder %(ga_select_sel1)%

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maedertype Data3 ::=

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

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder Cons32 (sel2 :? Data2; sel1 :? Data1) %(ga_Data3)%

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederforall x_1 : Data1; x_2 : Data2

36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder. (op sel1 : Data4 ->? Data1) (Cons41 (x_1, x_2)) = x_1_1

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder %(ga_select_sel1)%

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederforall x_1 : Data1; x_2 : Data2

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder. (op sel2 : Data4 ->? Data2) (Cons41 (x_1, x_2)) = x_1_2

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder %(ga_select_sel2)%

04dada28736b4a237745e92063d8bdd49a362debChristian Maederforall x_1 : Data2; x_2 : Data1

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder. (op sel2 : Data4 ->? Data2) (Cons42 (x_1, x_2)) = x_1_1

15bb922b665fcd44c6230a1202785d0c7890e90cChristian Maeder %(ga_select_sel2)%

42c01284bba8d7c8d995c8dfb96ace57d28ed1bcTill Mossakowskiforall x_1 : Data2; x_2 : Data1

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

04dada28736b4a237745e92063d8bdd49a362debChristian Maeder %(ga_select_sel1)%

76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian Maedertype Data4 ::=

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder Cons41 (sel1 :? Data1; sel2 :? Data2)? |

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

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder. true

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Warning 1.7, void universe class declaration 'Type'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 3.5, is type variable 't'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder*** Error 7.11, illegal type pattern argument '__'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder*** Error 11.16, not a class 'd'

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder### Warning 11.7, unchanged class 'a'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Warning 11.10, unchanged class 'b'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Warning 11.13, unchanged class 'c'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Warning 11.19, refined class 'a'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 16.7, not a class 's'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 18.15, rebound variable 'x'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 15.9-15.11,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederrepeated declaration of 'tt' with type 's ->? Unit'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 20.19, rebound variable 'x'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 20.19, rebound variable 'x'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Warning 20.12,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederignoring declaration for builtin identifier '__res__'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Warning 20.10-20.31,

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

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 21.6, rebound variable 'x'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 21.6, rebound variable 'x'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Warning 21.1-21.18,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederillegal lhs pattern

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder'(var fst : s * t ->? s) ((var x : s), (var y : t)) : s'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 22.6, rebound variable 'x'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 22.6, rebound variable 'x'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Warning 22.1-22.18,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederillegal lhs pattern

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder'(var snd : s * t ->? t) ((var x : s), (var y : t)) : t'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 24.11,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederno kind found for 's'

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder expected: {Cpo}

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder found: {c}

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 24.11,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederno kind found for 's'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder expected: {Cppo}

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder found: {c}

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 26.6, redeclared type 's'

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder### Hint 28.38-28.41,

975642b989852fc24119c59cf40bc1af653608ffChristian Maederin type of '((var p : s), (pred tt : s))'

975642b989852fc24119c59cf40bc1af653608ffChristian Maeder typename 's' (24.15)

975642b989852fc24119c59cf40bc1af653608ffChristian Maeder is not unifiable with type 's ->? Unit' (15.11)

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

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder*** Error 28.33,

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

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

ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian Maeder### Hint 30.40, no type found for 't1'

b984ff0ba75221f64451c1e69b3977967d4e99a1Christian Maeder### Hint 30.40, no type found for 't1'

b984ff0ba75221f64451c1e69b3977967d4e99a1Christian Maeder### Hint 30.40, untypeable term (with type: ? _v54) 't1'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 30.40-30.52,

b984ff0ba75221f64451c1e69b3977967d4e99a1Christian Maederuntypeable term (with type: ? _v49_a * ? _v50_b) '(t1 (), t2 ())'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder*** Error 30.38,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederno typing for

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

962d5c684e2b86d1f9c556c096b426e10cc74026Christian Maeder*** Error 32.12, unexpected mixfix token: impl

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder*** Error 34.12, unexpected mixfix token: or

b984ff0ba75221f64451c1e69b3977967d4e99a1Christian Maeder### Hint 37.27, no type found for 'all'

962d5c684e2b86d1f9c556c096b426e10cc74026Christian Maeder### Hint 37.27, untypeable term (with type: _v63 ->? ? Unit) 'all'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder*** Error 37.25,

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederno typing for

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder'program ex (p : ? s) : ? Unit

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

962d5c684e2b86d1f9c556c096b426e10cc74026Christian Maeder### Hint 40.20, no type found for 'all'

962d5c684e2b86d1f9c556c096b426e10cc74026Christian Maeder### Hint 40.20, untypeable term (with type: _v69 ->? ? Unit) 'all'

962d5c684e2b86d1f9c556c096b426e10cc74026Christian Maeder### Hint 40.3, rebound variable 'ff'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 40.20, no type found for 'all'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 40.20, untypeable term (with type: _v70 ->? ? Unit) 'all'

b984ff0ba75221f64451c1e69b3977967d4e99a1Christian Maeder*** Error 40.18,

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

ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian Maeder### Hint 45.9, not a class 't'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 45.8, rebound variable 'x'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 45.16, not a class 't'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 57.11, redeclared type 's'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 62.11-62.70,

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maederrepeated declaration of 'sel2' with type 'Data3 ->? Data2'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 62.11-63.1,

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederrepeated declaration of 'sel1' with type 'Data3 ->? Data1'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 64.11-64.71,

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederrepeated declaration of 'sel2' with type 'Data4 ->? Data2'

6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maeder### Hint 64.11-64.84,

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

5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder### Hint 66.22, not a class 's'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 66.21, rebound variable 'x'

4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian Maeder### Hint 66.25, no type found for 'e'

c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maeder*** Error 66.25, no typing for 'e'

15bb922b665fcd44c6230a1202785d0c7890e90cChristian Maeder### Hint 67.9, not a class 's'

15bb922b665fcd44c6230a1202785d0c7890e90cChristian Maeder### Hint 67.8, rebound variable 'x'

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder### Hint 67.12, no type found for 'e'

42c01284bba8d7c8d995c8dfb96ace57d28ed1bcTill Mossakowski*** Error 67.12, no typing for 'e'