27 lines
420 B
Plaintext
27 lines
420 B
Plaintext
:arf
|
|
require './required'
|
|
---
|
|
|
|
type ro aBasicInt:Int 5
|
|
|
|
type ro bOnBasicInt:aBasicInt
|
|
|
|
type ro cBasicObject:Obj
|
|
ro that:UInt
|
|
ro this:Int
|
|
|
|
type ro dInheritFromOther:required.aBasic
|
|
|
|
type ro eInheritObject:cBasicObject
|
|
ro that 5
|
|
|
|
type ro fInheritObjectFromOther:required.bBird
|
|
ro wing 2
|
|
ro beak:Int 238
|
|
|
|
type ro gPointer:{Int}
|
|
|
|
type ro hDynamicArray:{Int ..}
|
|
|
|
# TODO: test a type that has a member pointing to itself
|