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.
15 import standard
::kernel
21 fun foo
(t
: T
): Comparable do return t
22 #fun foog: nullable G[T] do return barg
23 type T
: Comparable #alt1-5#
26 #alt2#type T: nullable T
32 fun bar
(t
: T
): Comparable do return t
33 #fun barg: nullable G[T] do return foog
38 redef fun foo
(t
: T
): T
do return t
39 #redef fun foog: GT do return barg
40 redef type GT: G
[Discrete]
41 #alt6#redef type GT: G[Bool]
42 redef fun bar
(t
: T
): T
do return t
43 #redef fun barg: GT do return foog