# $Id: TODO 4390 2009-03-25 15:36:33Z potyra $

Things not implemented yet:
---------------------------
==========
= Parser =
==========
* record aggregate assignments
* much more, see FIXME/TODO comments

=================
= Type analysis =
=================
* needs code cleanup!
* individual association
* named association for function calls
* implicit conversions and function calls (eliminates correct possibilities
  sometimes, e.g. "if 2 = x then").

=====================
= Semantic analysis =
=====================
* check pure'ness of functions/procedures (impure is not always legal)
* replace concurrent statements with processes
* check select/case statements if all values are present
* check procedure call statements writing to signals that are not passed as
  parameters, since this is only legal in subprograms of process statements
  (LRM 123). GatherImplicites: also pick up drivers from non-parameters 
  of subprogram calls.
* check if the actual of a formal of class variable is a variable.
* handle subtype conversions for array constraints on assignment (and others).

===================
= ICode generator =
===================
* slice handling
* mapping/annotating foreign composite types.
