referring to deeply embedded definitions
18 Jul
2003
18 Jul
'03
5:23 p.m.
Suppose I have:
module M1 where import M2 foo = 'a'
and
module M2 where import M3
and
module M3 where foo = True
Now, inside M1, I want to write something like:
bar = if M2.foo then M1.foo else 'b'
or
bar = if M3.foo then M1.foo else 'b'
but neither of these is valid. Is there any way to get at the definition from M3? - Hal -- Hal Daume III | hdaume@isi.edu "Arrest this man, he talks in maths." | www.isi.edu/~hdaume
18 Jul
18 Jul
5:53 p.m.
Hal Daume wrote:
Suppose I have:
module M1 where import M2 foo = 'a'
and
module M2 where import M3
and
module M3 where foo = True
Now, inside M1, I want to write something like:
bar = if M2.foo then M1.foo else 'b'
M2 must reexport "foo": module M2 (foo) where import M3
8442
Age (days ago)
8442
Last active (days ago)
1 comments
2 participants
participants (2)
-
Christian Maeder -
Hal Daume