Discussion:
IMPORT and EXPORT
(too old to reply)
Josh Matthews
2011-02-13 18:31:35 UTC
Permalink
Given that a module with no exports adds nothing to the environment but
the module name, are we allowed to exclude any rules that would permit
essentially empty modules? For example, I would like to ignore defining
typing and semantics rules for constructs like

fun F = 1; module M { IMPORT f in fun G = F }

since I don't see any practical reason to allow them.

Cheers,
Josh
Bo Hu
2011-02-15 15:48:34 UTC
Permalink
Post by Josh Matthews
Given that a module with no exports adds nothing to the environment but
the module name, are we allowed to exclude any rules that would permit
essentially empty modules? For example, I would like to ignore defining
typing and semantics rules for constructs like
fun F = 1; module M { IMPORT f in fun G = F }
since I don't see any practical reason to allow them.
Cheers,
Josh
I think it is allowed. It is better that you explicitly state that
before you ignores anything.

Loading...