3 Feb
2009
3 Feb
'09
5:37 a.m.
On Mon, Feb 2, 2009 at 3:25 PM, Ketil Malde <ketil@malde.org> wrote:
Gregg Reynolds <dev@mobileink.com> writes:
Just shorthand for something like "data Tcon a = Dcon a", applied to Int. Any data constructor expression using an Int will yield a value of type Tcon Int.
Right. But then the set of values is isomorphic to the set of Ints, right?
Only if you're ignoring non-terminating values. Otherwise, you have to deal with the fact that Tcon Int contains _|_ and DCon _|_. -- Dave Menendez <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>