Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!sdd.hp.com!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!edcastle!aiai!jeff
From: jeff@aiai.ed.ac.uk (Jeff Dalton)
Newsgroups: comp.lang.functional
Subject: Re: A question about types in ML
Message-ID: <3799@skye.ed.ac.uk>
Date: 21 Nov 90 17:13:42 GMT
References: <2215@opal.cs.tu-berlin.de> <4971@rex.cs.tulane.edu> <11901@life.ai.mit.edu> <4987@rex.cs.tulane.edu>
Reply-To: jeff@aiai.UUCP (Jeff Dalton)
Distribution: comp
Organization: AIAI, University of Edinburgh, Scotland
Lines: 13

In article <4987@rex.cs.tulane.edu> fs@caesar.cs.tulane.edu (Frank Silbermann) writes:
>>datatype D = Atom of string | Bool of bool | Int of int |
>>	     Real of real | Cons of (D * D) | Vector of (D array)
>
>I didn't know that -- thank you for correcting me.
>At least now we've finally answered the original question
>of <11901@life.ai.mit.edu> re how one can create
>an ML list of "anything".  Just define datatype D as above,
>and then declare "list D".

D is not "anything"; it includes only 6 possibilities.
That isn't all the types initially in Common Lisp, let
alone those that can be added at run-time.