1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Licensed under the Apache License, Version 2.0 (the "License");
4 # you may not use this file except in compliance with the License.
5 # You may obtain a copy of the License at
7 # http://www.apache.org/licenses/LICENSE-2.0
9 # Unless required by applicable law or agreed to in writing, software
10 # distributed under the License is distributed on an "AS IS" BASIS,
11 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 # See the License for the specific language governing permissions and
13 # limitations under the License.
28 fun <=>(a
: A
) do abort
31 fun foo
=(a
: A
) do abort # should be fine
33 fun []=(a
, b
: A
) do abort # should be fine
36 # not enough parameters
38 fun +: A
do abort # should be fine
39 fun -: A
do abort # should be fine
52 fun []=(a
: A
) do abort
57 fun +(a
,b
,c
:A
): A
do abort
58 fun -(a
,b
,c
:A
): A
do abort
59 fun *(a
,b
,c
:A
): A
do abort
60 fun /(a
,b
,c
:A
): A
do abort
61 fun %(a
,b
,c
:A
): A
do abort
62 fun <(a
,b
,c
:A
): A
do abort
63 fun >(a
,b
,c
:A
): A
do abort
64 fun <=(a
,b
,c
:A
): A
do abort
65 fun >=(a
,b
,c
:A
): A
do abort
66 fun <=>(a
,b
,c
:A
): A
do abort
67 fun <<(a
,b
,c
:A
): A
do abort
68 fun >>(a
,b
,c
:A
): A
do abort
69 fun foo
=(a
,b
,c
:A
) do abort # should be fine
70 fun [](a
,b
,c
:A
): A
do abort # should be fine
71 fun []=(a
,b
,c
:A
) do abort # should be fine
76 fun +(a
:A
...): A
do abort
77 fun -(a
:A
...): A
do abort
78 fun *(a
:A
...): A
do abort
79 fun /(a
:A
...): A
do abort
80 fun %(a
:A
...): A
do abort
81 fun <(a
:A
...): A
do abort
82 fun >(a
:A
...): A
do abort
83 fun <=(a
:A
...): A
do abort
84 fun >=(a
:A
...): A
do abort
85 fun <=>(a
:A
...): A
do abort
86 fun <<(a
:A
...): A
do abort
87 fun >>(a
:A
...): A
do abort
88 fun foo
=(a
,b
,c
:A
, d
:A
...) do abort
89 fun [](a
,b
,c
:A
, d
:A
...): A
do abort # should be fine
90 fun []=(a
,b
,c
:A
, d
:A
...) do abort