prop-src/collection.pcc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file implements the analysis and type inference methods for
   4 //  SETL-style collection types.
   5 //
   6 ///////////////////////////////////////////////////////////////////////////////
   7 #include <iostream.h>
   8 #include "collection.ph"
   9 #include "type.h"
  10
  11 ///////////////////////////////////////////////////////////////////////////////
  12 //
  13 //  Instantiate the collection type descriptor.
  14 //
  15 ///////////////////////////////////////////////////////////////////////////////
  16 instantiate datatype CollectionDesc, List<CollectionDesc>;
  17
  18 ///////////////////////////////////////////////////////////////////////////////
  19 //
  20 //  Functions for constructing some SETL-like type constructors.
  21 //
  22 ///////////////////////////////////////////////////////////////////////////////
  23 Ty mklistty (Ty a)
  24 {  return TYCONty(COLtycon(COLdesc'{ name = "list" }), #[a]); }
  25
  26 Ty mksetty (Ty a)
  27 {  return TYCONty(COLtycon(COLdesc'{ name = "set" }), #[a]); }
  28
  29 Ty mkbagty (Ty a)
  30 {  return TYCONty(COLtycon(COLdesc'{ name = "bag" }), #[a]); }
  31
  32 Ty mkmapty (Ty a, Ty b)
  33 {  return TYCONty(COLtycon(COLdesc'{ name = "bag" }), #[a,b]); }
  34
  35 Ty mkmultimapty (Ty a, Ty b)
  36 {  return TYCONty(COLtycon(COLdesc'{ name = "bag" }), #[a,b]); }
  37
  38 Ty mkqueuety (Ty a)
  39 {  return TYCONty(COLtycon(COLdesc'{ name = "bag" }), #[a]); }
  40
  41 Ty mkpriqueuety (Ty a)
  42 {  return TYCONty(COLtycon(COLdesc'{ name = "bag" }), #[a]); }
  43
  44 Ty mkdequety (Ty a)
  45 {  return TYCONty(COLtycon(COLdesc'{ name = "bag" }), #[a]); }
  46