Re: Specific denotations for pure types

Conal Elliott wrote:

Even the denotation of Bool & () are influenced by the denotation of Int, since Bool & () expressions can contain Int expressions.

Now you've lost me... they definitely shouldn't be. Otherwise, I could be equally well coding in C. In my mind, there's somewhere the equivalent of data () = () and data Bool = True | False , which might, of course, be represented using machine-integers, but have ADT semantics. -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited.