referring to deeply embedded definitions

18 Jul 2003


      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