Newsgroups: comp.lang.dylan
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!torn!alf.uwaterloo.ca!undergrad.math.uwaterloo.ca!cappuccino!rjkroege
From: rjkroege@cappuccino.UWaterloo.CA (Rob Kroeger)
Subject: Type Specifyer Question
Message-ID: <D36Ht1.ECI@undergrad.math.uwaterloo.ca>
Sender: news@undergrad.math.uwaterloo.ca (news spool owner)
Nntp-Posting-Host: cappuccino.uwaterloo.ca
Organization: University of Waterloo
X-Newsreader: TIN [version 1.2 PL2]
Date: Sun, 29 Jan 1995 17:55:49 GMT
Lines: 16

I'm wondering how to specify that an array should contain members of
only one type.  The following slightly dopey example should give you 
the idea:

define class <transform-matrix> ( <object> )
	slot whatever;
	slot matrix :: <array>;
end class

Now matrix isn't just any array.  It's a 4 by 4 matrix of floats and I
want to require that.  So how can I?

Rob Kroeger
Computer Graphics Lab
University of Waterloo

