-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Conal Elliott wrote: | The question I'm asking is this: Assuming compositional semantics, can | [[Bool]] be this simple & customary three-value domain in the presence | of an implementation-dependent [[Int]] (given that Int expressions can | play a non-trivial role in Bool expressions)? As I understand it, your question might be reworded like this: If we can compose values of type (MachineInfo -> Int) to create a value of type (MachineInfo -> Bool), does that mean Bool is dependent on MachineInfo? To simplify the question, I would like to rephrase it further to ask whether the ability to construct any value of type (MachineInfo -> Bool) means that Bool is dependent on MachineInfo. My (uneducated) reaction is that this does not mean that Bool is dependent on MachineInfo any more than the ability to construct a value of type (forall a. a -> Bool) means that Bool is dependent on everything. - - Jake -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAknHufsACgkQye5hVyvIUKnahACgq6JZLcSePAJ4RLylPyz3X2DC NwMAoLQilWKYfUf12BJhUle52bP/zM2J =NN7V -----END PGP SIGNATURE-----