Pliant talk forum

Pliant talk forum

Discussion: About visibility

visibility and "requires" rules
Message posted by pom on 2003/03/22 00:49:03
In /pliant/language/type/misc/datetime.pli, one finds

gvar  Array:Str day_name
...
export day_name

this module is included, through safe.pli in /pliant/util/encoding/date.pli,
where one finds


var Str dow := day_name dt:day_of_week

The problem is the following: how do you express that
gvar  Array:Str day_name
means that both the type Array:Str and its '' method should be exported
togather with the global variable ?
In the actual implementation, the problem is solved because Array:Str is
created in array.pli, which is included through safe.pli.
If we do so, then any Array:T will have to stay in array.pli with its methods,
hence locking type T.