File: TODO

package info (click to toggle)
fauhdlc 20180504-2
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 2,956 kB
  • sloc: cpp: 23,188; ansic: 6,077; yacc: 3,764; lex: 763; makefile: 605; sh: 494; xml: 403
file content (37 lines) | stat: -rw-r--r-- 1,178 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
# $Id$

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.