blob: 4f7a58d21701850659e435e394b21915688c243e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
++ Contributed by Gabriel Dos Reis; November 2011.
++ Test conversion of constructors to function objects and
++ elaboration of domain producting function parameters.
)abbrev package BAR Bar
Bar(F: Type -> Type): Public == Private where
Public == Type with
bar: () -> Type
Private == add
bar() == F Integer
)abbrev package FOO Foo
Foo(): Type with
foo: () -> Type
== add
foo() == bar()$Bar(List)
|
