-- (C) Copyright International Business Machines Corporation 23 January 
-- 1990.  All Rights Reserved. 
--  
-- See the file USERAGREEMENT distributed with this software for full 
-- terms and conditions of use. 
-- SCCS Info: @(#)unsupported	1.4 3/13/90

This file lists those elements of the language that are not yet supported (ie,
the parts you are not allowed to complain about).  Anything else is fair game
for a "bug report" (although the bug may be fixed by adding it to this file).

Control
-------

Resolution
----------
constant lists on blocks
constraint definitions, assert, drop
parameter lists using association notation

Type Checking
-------------
constraints
cross-clause checking (to allow type declaration to be removed from expression
  block)


Typestate Checking
------------------
checked is not available, making interfaces for programs hokey
the second pass over a loop sometimes produces incorrect results
typestate for wrap statement is not passed to codegen
calls and function calls can not be distinguished, so constancy rules for
  function calls are not enforced
definitions modules:
  typestate attribute verification (error on init(x,y))
  checking for impossible typestates
  checking for interface consistency
  checking that minimum of a call is the lowest exit typestate
  checking that const parameters have the same entry typestate in the inport
    definition as in the callmessage
  

Code Generation
---------------
real literal
checkdefinitions
assert
drop
convert (real-real, enum-enum (written but not tested))


Run-Time
--------
finalization by discard callmessage, hide variant
access to absprog fields of type program
type of, typestate of, checking on wrap/unwrap
checkdefinitions
all operations on reals
copying uncopyable objects may not yield an uncopyable exception until it is
  modified.


LANGUAGE ISSUES
---------------
expression blocks -- get rid of required type name, don't make the object
  name appear in the scope that holds the expr block.
allow foo[3].bar
make connect an expression (or remember the arcane argument against it)
allow call expr()
decide the copyability issue
procedures (groan)
