referring to deeply embedded definitions

[Hal Daume]

Please ignore my stupid question :)

 --
 Hal Daume III                                   | hdaume@isi.edu
 "Arrest this man, he talks in maths."           | www.isi.edu/~hdaume


> -----Original Message-----
> From: Hal Daume=20
> Sent: Friday, July 18, 2003 10:23 AM
> To: haskell@haskell.org
> Subject: referring to deeply embedded definitions
>=20
>=20
> Suppose I have:
>=20
> > module M1 where
> > import M2
> > foo =3D 'a'
>=20
> and
> > module M2 where
> > import M3
>=20
> and
>=20
> > module M3 where
> > foo =3D True
>=20
> Now, inside M1, I want to write something like:
>=20
> > bar =3D if M2.foo then M1.foo else 'b'
>=20
> or
>=20
> > bar =3D if M3.foo then M1.foo else 'b'
>=20
> but neither of these is valid.  Is there any way to get at=20
> the definition from M3?
>=20
>  - Hal
>=20
> --
>  Hal Daume III                                   | hdaume@isi.edu
>  "Arrest this man, he talks in maths."           | www.isi.edu/~hdaume
>=20