tests/iii/template-class-errors/program.cps


1
2
3
4
5
6
7
8
9
10
11
12
13


TEMPLATE <T>
CLASS Box
    Value : T
ENDCLASS
TEMPLATE <T>
FUNCTION Make() RETURNS T
    DECLARE Value : T
    RETURN Value
ENDFUNCTION
OUTPUT Make<Box<Nope>>()
DECLARE TooMany : Box<INTEGER, REAL>
DECLARE TooFew : Box
DECLARE Unknown : Box<Nope>